-
Sylvain Dailler authored
Changed the parser to automatically add model_trace labels during parsing. Removed model labels in bench for counterexamples.
4a62dea0
Changed the parser to automatically add model_trace labels during parsing. Removed model labels in bench for counterexamples.