Similarly to e.g. interpolation, this PR moves all regression tests that use the command (get-unsat-core) into a separate directory unsatcores.
The redundancy between the run scripts should be resolved in the future ->#791.
Git messed up the tracked information about renaming some *.smt2.expected.* files because it apparently does not care about the name of the files but only about the contents - which are in these cases the same.
Similarly to e.g.
interpolation, this PR moves all regression tests that use the command(get-unsat-core)into a separate directoryunsatcores. The redundancy between the run scripts should be resolved in the future ->#791.Git messed up the tracked information about renaming some
*.smt2.expected.*files because it apparently does not care about the name of the files but only about the contents - which are in these cases the same.