SRI-CSL / yices2 / 25530974729

67%

master: 71%

Build Type

Pull #606

github

Committed by disteph

Commit Message

tests: TEMP per-step trace inside test_partial_tuple_model_no_keep_subst

The previous instrumentation pinpointed test_partial_tuple_model_no_keep_subst
as the test that aborts on windows-latest|release|--enable-thread-safety
--enable-mcsat. The captured stderr showed only "START" with no further
output before the abort, so we don't yet know which yices API call inside
the test is the culprit.

This commit adds a TRACE_STEP macro that prints a stderr line (with
explicit fflush) after each yices API call inside the test. The next CI
run should show exactly which call is the last to print before the abort.

To be reverted along with the previous diagnostic commit once the root
cause is fixed.

Pull Request Pull Request #606: MCSAT: add support for tuples (incl. nested with function types); blasts tuples in input constraints + reconstitutes them in models and interpolants

Coverage Stats

784 of 1059 new or added lines in 3 files covered. (74.03%)

6 existing lines in 1 file now uncovered.

84648 of 126192 relevant lines covered (67.08%)

1632715.97 hits per line