From 174d466239339c3cb5e33915f78161834360fe19 Mon Sep 17 00:00:00 2001 From: Everett Hildenbrandt Date: Tue, 6 Feb 2024 22:53:04 +0000 Subject: [PATCH] tests/failing-symbolic.pyk: remove kontrol tests --- tests/failing-symbolic.pyk | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) diff --git a/tests/failing-symbolic.pyk b/tests/failing-symbolic.pyk index 49ef633baf..ee30894670 100644 --- 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