• Alexandre Duret-Lutz's avatar
    dve2: use postprocessor to simplify the code. · 40de47f1
    Alexandre Duret-Lutz authored
    * iface/dve2/dve2check.cc: Use postprocessor to simplify the code.
    * iface/dve2/dve2check.test: Adjust to some different output values
    when a counterexample is found, caused by nondeterminism introduced by
    the orders of transitions.
    40de47f1
dve2check.cc 9.69 KB