search

cuplv / verivita

Dynamic verification using callbacks
2 stars 1 forks source link

Counterexample generated by bmc cannot be simulated #139

Closed ftc closed 7 years ago

ftc commented 7 years ago

command: python driver.py -t trace_150117_0 -s button.spec:countdowntimer.spec:Fragment.spec:fragment_getString.spec -m simulate -w 5048:5308 -z

files:

cannotsimulate.zip

smover commented 7 years ago

I closed it to early.