From 07138d5eaa010f3dffe4c93317f9baef06372804 Mon Sep 17 00:00:00 2001 From: Daejun Park Date: Thu, 20 Jul 2023 22:05:54 -0700 Subject: [PATCH] test: remove unused files --- tests/expected/counter-symbolic.json | 127 --------------------------- tests/expected/list-symbolic.json | 31 ------- tests/expected/reset.json | 15 ---- tests/expected/storage-symbolic.json | 55 ------------ 4 files changed, 228 deletions(-) delete mode 100644 tests/expected/counter-symbolic.json delete mode 100644 tests/expected/list-symbolic.json delete mode 100644 tests/expected/reset.json delete mode 100644 tests/expected/storage-symbolic.json diff --git a/tests/expected/counter-symbolic.json b/tests/expected/counter-symbolic.json deleted file mode 100644 index 47aeab59..00000000 --- a/tests/expected/counter-symbolic.json +++ /dev/null @@ -1,127 +0,0 @@ -{ - "exitcode": 0, - "test_results": { - "test/Counter.t.sol:CounterTest": [ - { - "name": "checkDiv1(uint256,uint256)", - "exitcode": 0, - "num_models": 0, - "num_paths": null, - "time": null, - "num_bounded_loops": null - }, - { - "name": "checkDiv2(uint256,uint256)", - "exitcode": 0, - "num_models": 0, - "num_paths": null, - "time": null, - "num_bounded_loops": null - }, - { - "name": "checkFoo(uint256,uint256,uint256,uint256)", - "exitcode": 0, - "num_models": 0, - "num_paths": null, - "time": null, - "num_bounded_loops": null - }, - { - "name": "checkInc()", - "exitcode": 0, - "num_models": 0, - "num_paths": null, - "time": null, - "num_bounded_loops": null - }, - { - "name": "checkIncBy(uint256)", - "exitcode": 0, - "num_models": 0, - "num_paths": null, - "time": null, - "num_bounded_loops": null - }, - { - "name": "checkIncOpt()", - "exitcode": 0, - "num_models": 0, - "num_paths": null, - "time": null, - "num_bounded_loops": null - }, - { - "name": "checkLoopConst()", - "exitcode": 0, - "num_models": 0, - "num_paths": null, - "time": null, - "num_bounded_loops": null - }, - { - "name": "checkLoopConstIf()", - "exitcode": 0, - "num_models": 0, - "num_paths": null, - "time": null, - "num_bounded_loops": null - }, - { - "name": "checkLoopDoWhile(uint8)", - "exitcode": 0, - "num_models": 0, - "num_paths": null, - "time": null, - "num_bounded_loops": null - }, - { - "name": "checkLoopFor(uint8)", - "exitcode": 0, - "num_models": 0, - "num_paths": null, - "time": null, - "num_bounded_loops": null - }, - { - "name": "checkLoopWhile(uint8)", - "exitcode": 0, - "num_models": 0, - "num_paths": null, - "time": null, - "num_bounded_loops": null - }, - { - "name": "checkMulDiv(uint256,uint256)", - "exitcode": 0, - "num_models": 0, - "num_paths": null, - "time": null, - "num_bounded_loops": null - }, - { - "name": "checkSet(uint256)", - "exitcode": 0, - "num_models": 0, - "num_paths": null, - "time": null, - "num_bounded_loops": null - }, - { - "name": "checkSetString(uint256,string,uint256,string,uint256)", - "exitcode": 0, - "num_models": 0, - "num_paths": null, - "time": null, - "num_bounded_loops": null - }, - { - "name": "checkSetSum(uint248,uint248)", - "exitcode": 0, - "num_models": 0, - "num_paths": null, - "time": null, - "num_bounded_loops": null - } - ] - } -} \ No newline at end of file diff --git a/tests/expected/list-symbolic.json b/tests/expected/list-symbolic.json deleted file mode 100644 index 58a42fa4..00000000 --- a/tests/expected/list-symbolic.json +++ /dev/null @@ -1,31 +0,0 @@ -{ - "exitcode": 0, - "test_results": { - "test/List.t.sol:ListTest": [ - { - "name": "checkAdd(uint256)", - "exitcode": 0, - "num_models": 0, - "num_paths": null, - "time": null, - "num_bounded_loops": null - }, - { - "name": "checkRemove()", - "exitcode": 0, - "num_models": 0, - "num_paths": null, - "time": null, - "num_bounded_loops": null - }, - { - "name": "checkSet(uint256,uint256)", - "exitcode": 0, - "num_models": 0, - "num_paths": null, - "time": null, - "num_bounded_loops": null - } - ] - } -} \ No newline at end of file diff --git a/tests/expected/reset.json b/tests/expected/reset.json deleted file mode 100644 index b435296e..00000000 --- a/tests/expected/reset.json +++ /dev/null @@ -1,15 +0,0 @@ -{ - "exitcode": 0, - "test_results": { - "test/Reset.t.sol:ResetTest": [ - { - "name": "checkFoo()", - "exitcode": 0, - "num_models": 0, - "num_paths": null, - "time": null, - "num_bounded_loops": null - } - ] - } -} \ No newline at end of file diff --git a/tests/expected/storage-symbolic.json b/tests/expected/storage-symbolic.json deleted file mode 100644 index 89fa8c91..00000000 --- a/tests/expected/storage-symbolic.json +++ /dev/null @@ -1,55 +0,0 @@ -{ - "exitcode": 0, - "test_results": { - "test/Storage.t.sol:StorageTest": [ - { - "name": "checkAddArr1(uint256)", - "exitcode": 0, - "num_models": 0, - "num_paths": null, - "time": null, - "num_bounded_loops": null - }, - { - "name": "checkAddArr2(uint256,uint256)", - "exitcode": 0, - "num_models": 0, - "num_paths": null, - "time": null, - "num_bounded_loops": null - }, - { - "name": "checkAddMap1Arr1(uint256,uint256)", - "exitcode": 0, - "num_models": 0, - "num_paths": null, - "time": null, - "num_bounded_loops": null - }, - { - "name": "checkSetMap1(uint256,uint256)", - "exitcode": 0, - "num_models": 0, - "num_paths": null, - "time": null, - "num_bounded_loops": null - }, - { - "name": "checkSetMap2(uint256,uint256,uint256)", - "exitcode": 0, - "num_models": 0, - "num_paths": null, - "time": null, - "num_bounded_loops": null - }, - { - "name": "checkSetMap3(uint256,uint256,uint256,uint256)", - "exitcode": 0, - "num_models": 0, - "num_paths": null, - "time": null, - "num_bounded_loops": null - } - ] - } -} \ No newline at end of file