Jannis Harder 96029400cb smtbmc: Do not assume skipped assertions when loading a witness trace ...

This is not valid when the prefix of a trace already violates
assertions. This can happen when the trace generating solver doesn't
look for a minimal length counterexample.

2022-10-20 13:49:47 +02:00

..

aiger

…

blif

…

btor

…

cxxrtl

…

edif

…

firrtl

…

intersynth

…

jny

…

json

…

rtlil

…

simplec

…

smt2

…

smv

…

spice

…

table

…

verilog

…