Visualize a BTOR2 model
Load a model generated by rotor, replay a btormc witness trace step by step, and see exactly how a bug is reached.
Drag & drop a .btor2 or .wit file anywhere
· press ? for shortcuts
Legend
state
input
bad
constraint
memory
logic
constant
clump