log_stdout.ys
35 Bytes
-
Add new tests to 'simple' and 'misc' groups · c02cd167
Testing problems: 1. "sat -tempinduct_def": +#ERROR: Assert `!undef_mode || model_undef' failed in ./kernel/satgen.h:90. 2. "share -force": +#ERROR: Abort in passes/opt/share.cc:724.
SergeyDegtyar committed