tests/failing-symbolic.pyk: remove kontrol tests

runtimeverification · Feb 6, 2024 · 174d466 · 174d466
1 parent f4c5ff2
commit 174d466
Showing 1 changed file with 26 additions and 0 deletions.
diff --git a/tests/failing-symbolic.pyk b/tests/failing-symbolic.pyk
@@ -20,6 +20,32 @@ tests/specs/functional/lemmas-no-smt-spec.k
 tests/specs/functional/lemmas-spec.k
 tests/specs/functional/merkle-spec.k
 tests/specs/functional/storageRoot-spec.k
+tests/specs/kontrol/test-allowchangestest-testallow-0-spec.k
+tests/specs/kontrol/test-allowchangestest-testallow_fail-0-spec.k
+tests/specs/kontrol/test-allowchangestest-testfailallowcallstoaddress-0-spec.k
+tests/specs/kontrol/test-allowchangestest-testfailallowchangestostorage-0-spec.k
+tests/specs/kontrol/test-arithmetictest-test_max1_broken-uint256-uint256-0-spec.k
+tests/specs/kontrol/test-arithmetictest-test_wdiv_rounding-uint256-uint256-0-spec.k
+tests/specs/kontrol/test-arithmetictest-test_wmul_rounding-uint256-uint256-0-spec.k
+tests/specs/kontrol/test-arithmetictest-test_wmul_wdiv_inverse_underflow-uint256-uint256-0-spec.k
+tests/specs/kontrol/test-arithmetictest-test_wmul_weakly_increasing_positive-uint256-uint256-0-spec.k
+tests/specs/kontrol/test-countertest-testincrement-0-spec.k
+tests/specs/kontrol/test-emitcontracttest-testexpectemit-0-spec.k
+tests/specs/kontrol/test-emitcontracttest-testexpectemitcheckemitter-0-spec.k
+tests/specs/kontrol/test-emitcontracttest-testexpectemitdonotcheckdata-0-spec.k
+tests/specs/kontrol/test-expectcalltest-testexpectregularcall-0-spec.k
+tests/specs/kontrol/test-expectcalltest-testexpectstaticcall-0-spec.k
+tests/specs/kontrol/test-expectreverttest-test_expectrevert_bytes4-0-spec.k
+tests/specs/kontrol/test-expectreverttest-test_expectrevert_message-0-spec.k
+tests/specs/kontrol/test-expectreverttest-test_expectrevert_returnvalue-0-spec.k
+tests/specs/kontrol/test-expectreverttest-testfail_expectrevert_bytes4-0-spec.k
+tests/specs/kontrol/test-expectreverttest-testfail_expectrevert_failandsuccess-0-spec.k
+tests/specs/kontrol/test-expectreverttest-testfail_expectrevert_false-0-spec.k
+tests/specs/kontrol/test-loopstest-testsqrt-uint256-0-spec.k
+tests/specs/kontrol/test-owneruponlytest-testincrementasowner-0-spec.k
+tests/specs/kontrol/test-safetest-testwithdrawfuzz-uint96-0-spec.k
+tests/specs/kontrol/test-storetest-testaccesses-0-spec.k
+tests/specs/kontrol/test-storetest-teststoreload-0-spec.k
 tests/specs/mcd/dstoken-burn-self-fail-rough-spec.k
 tests/specs/mcd/dstoken-transferfrom-fail-rough-spec.k
 tests/specs/mcd/end-cash-pass-rough-spec.k