SRI-CSL / yices2 / 15082206606

65%

push

github

print_smt2_model: adjust for SMT-LIB syntax (#555)

The `model` keyword was adopted by many solvers at some point but was never
part of the SMT-LIB standard. Nowadays, most popular solvers stick more closely
to the standard in this respect and have dropped the "(model [..])" syntax.

More details here:

    https://groups.google.com/g/smt-lib/c/5xpcIxdQ8-A/m/lGGxtApUAgAJ

1 of 1 new or added line in 1 file covered. (100.0%)

81163 of 124211 relevant lines covered (65.34%)

1557058.06 hits per line