Commit facc669

Leo Alt

committed

Update existing CLI tests

1 parent 4cf4cca commit facc669Copy full SHA for facc669

3 files changed

+121

-109

lines changed

test/cmdlineTests
- standard_model_checker_solvers_smtlib2
  - output.json
- standard_model_checker_targets_default_all_engines
  - output.json
- standard_model_checker_timeout_all
  - output.json

3 files changed

+121

-109

lines changed

Comments

(0)