SRI-CSL / yices2 / 28822899525

71%

Build Type

push

github

Committed by web-flow

Commit Message

Fix SMT-LIB conformance of echo and :error-behavior (#415, #416) (#652)

- echo now prints the string literal back with its surrounding double
  quotes, re-escaping embedded quotes to match how the lexer reads
  strings in the active SMT-LIB version (#416).
- report :error-behavior as continued-execution, which is what Yices
  actually does: it reports an error and keeps executing commands
  rather than exiting (#415).
- add regression tests iss415/iss416 and update the gold files of
  existing echo tests to the now-quoted output.

Coverage Stats

8 of 9 new or added lines in 1 file covered. (88.89%)

7 existing lines in 1 file now uncovered.

95537 of 134198 relevant lines covered (71.19%)

1622812.49 hits per line