goodlyrottenapple
commented
8 months ago No difference in performance in KEVM
Closed goodlyrottenapple closed 8 months ago
goodlyrottenapple
commented
8 months ago No difference in performance in KEVM
goodlyrottenapple
commented
8 months ago Kontrol
| Test | sam-apply-equations-refactor time | master-88ffab5 time | (sam-apply-equations-refactor/master-88ffab5) time |
|---|---|---|---|
| LabelTest.testLabel() | 33.67 | 37.23 | 0.9043781896320173 |
| PlainPrankTest.test_startPrankWithOrigin_true() | 168.71 | 176.36 | 0.9566228169652983 |
| FeeTest.test_fee_setup() | 75.97 | 79.39 | 0.9569215266406348 |
| ERC20.sol | 46.58 | 48.35 | 0.9633919338159255 |
| MethodDisambiguateTest.test_method_call() | 30.03 | 29.0 | 1.0355172413793103 |
| Setup2Test.test_setup() | 36.69 | 35.43 | 1.035563082133785 |
| AssumeTest.testFail_assume_true(uint256,uint256) | 70.95 | 68.47 | 1.0362202424419453 |
| StoreTest.testStoreLoad() | 70.89 | 68.12 | 1.040663534938344 |
| AllowChangesTest.testAllow() | 125.11 | 120.11 | 1.0416285072017317 |
| StoreTest.testGasLoadWarmUp() | 78.76 | 75.44 | 1.0440084835630965 |
| StructTypeTest.test_vars((uint8,uint32,bytes32)) | 42.84 | 40.77 | 1.0507726269315674 |
| src/tests/integration/test_foundry_prove.py::test_foundry_merge_nodes | 46.21 | 43.9 | 1.052619589977221 |
| src/tests/integration/test_foundry_prove.py::test_foundry_xml_report | 29.86 | 27.53 | 1.0846349436977842 |
| src/tests/integration/test_foundry_prove.py::test_foundry_remove_node | 49.64 | 44.7 | 1.1105145413870245 |
| GasTest.testSetGas() | 38.07 | 33.98 | 1.1203649205414952 |
| TOTAL | 943.9800000000001 | 928.7800000000001 | 1.016365554813842 |
Incremental change towards design discussed in runtimeverification/haskell-backend#3772
Refactor definitions of applyTerm and llvmSimplify