"...regression/verification/xlang/invalid/Array6.scala" did not exist on "3cb6d843d1f984ee2cc4b6420f53d61076bb9c06"
-
Etienne Kneuss authored
reactivate tests for CVC4, if available. Remove non-linear testcase that worked only on z3 (SumAndMax)
Etienne Kneuss authoredreactivate tests for CVC4, if available. Remove non-linear testcase that worked only on z3 (SumAndMax)
