Alexander Arlt
|
e9ee571b35
|
[isoltest] Add support for call side-effects.
|
2021-05-22 00:12:07 -05:00 |
|
Alexander Arlt
|
799106acfe
|
[isoltest] Add account builtin.
Co-authored-by: Alex Beregszaszi <alex@rtfs.hu>
|
2021-05-21 12:38:05 +01:00 |
|
Alex Beregszaszi
|
bb7f500bb1
|
Add sanity check into SemanticTest for not allowing ABIEncoderV1Only and compileViaYul together
|
2021-05-14 19:56:26 +01:00 |
|
Alexander Arlt
|
68f0f36a2d
|
[soltest] Improve Builtin Initialization.
|
2021-05-02 22:13:40 -05:00 |
|
Alexander Arlt
|
19ad9fac99
|
[isoltest] Add support to query balance.
|
2021-04-28 16:19:05 +02:00 |
|
Alexander Arlt
|
ed27c77def
|
[isoltest] Ignore gas checks on isoltest builtins.
|
2021-04-27 16:28:37 -05:00 |
|
Alexander Arlt
|
1f2711b0aa
|
[isoltest] Replace storage command with 'storage_empty' builtin.
|
2021-04-27 16:28:37 -05:00 |
|
chriseth
|
3548049c61
|
Merge pull request #10356 from ethereum/isoltest-add-enforce-ewasm
[test] Add support for --enforce-compile-to-ewasm.
|
2021-04-27 17:51:33 +02:00 |
|
Alexander Arlt
|
da38149f57
|
[test] Add support for --enforce-compile-to-ewasm.
|
2021-04-26 20:31:03 -05:00 |
|
Alexander Arlt
|
481971cbcf
|
[isoltest] Add support for external sources.
|
2021-04-26 08:27:30 -05:00 |
|
Alexander Arlt
|
8239eaa1b8
|
Fix test builtins & add simple smoke test.
|
2021-04-26 07:51:43 -05:00 |
|
Djordje Mijovic
|
63017bd510
|
Not showing gas used if it is equal to m_gas(in case of out of gas failures).
|
2021-03-10 14:22:30 +01:00 |
|
Djordje Mijovic
|
06171a3100
|
Changing enforceGasCost functionality.
|
2021-03-10 14:22:26 +01:00 |
|
Djordje Mijovic
|
2b14efbbcc
|
Adding debug info on gas costs when updating gas values.
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
|
2021-03-09 21:48:11 +01:00 |
|
Djordje Mijovic
|
14a3731182
|
Don't run gas for ir if it is not explicitely added to expectations.
|
2021-03-09 21:27:44 +01:00 |
|
Djordje Mijovic
|
2c575db0ea
|
Show both expected and obtained gas expectations when failure happens.
|
2021-03-09 21:27:38 +01:00 |
|
Djordje Mijovic
|
12ef273d06
|
Setting metadata has and version type for semantic tests to be empty.
|
2021-03-09 21:26:45 +01:00 |
|
Djordje Mijovic
|
aed3832b27
|
Implementing enforcing gas expectations in isoltest.
Co-authored-by: Daniel Kirchner <daniel@ekpyron.org>
|
2021-03-09 21:26:45 +01:00 |
|
Djordje Mijovic
|
515f15f7a3
|
Small style fix for SemanticTest constructor.
|
2021-03-09 21:26:45 +01:00 |
|
Djordje Mijovic
|
5ea97a5d43
|
Running gas tests only on tests having expectations.
|
2021-03-09 21:26:45 +01:00 |
|
Djordje Mijovic
|
6d51dfb617
|
[isoltest] Adding gas used as semantic tests expectation.
|
2021-03-09 21:26:36 +01:00 |
|
Alexander Arlt
|
94895822d2
|
[isoltest] Add support for builtin functions.
|
2021-03-04 08:49:59 -05:00 |
|
Djordje Mijovic
|
b92d024898
|
[isoltest] Error out in case of different result when enforcing via yul.
Co-authored-by: Alex Beregszaszi <alex@rtfs.hu>
|
2021-01-14 22:37:12 +00:00 |
|
Alex Beregszaszi
|
4491a290e2
|
Display unimplemented errors in Yul codegen testing
i.e. do not hide exceptions
|
2021-01-14 18:08:01 +00:00 |
|
chriseth
|
a4769d446f
|
Fail on assertion failures in yul code generation.
|
2021-01-14 14:51:16 +00:00 |
|
chriseth
|
a5bd22795e
|
Force running abi coder v1 instead of v2.
|
2020-12-09 15:25:15 +01:00 |
|
chriseth
|
ce50f05fc1
|
Merge remote-tracking branch 'origin/develop' into HEAD
|
2020-10-29 16:44:47 +01:00 |
|
chriseth
|
3b8c038647
|
Empty storage option for isoltest.
|
2020-10-29 13:55:07 +01:00 |
|
chriseth
|
d00ef95a72
|
Refactor isoltest function call kind.
|
2020-10-28 19:04:24 +01:00 |
|
chriseth
|
b559de11ee
|
Ignore return error data for pre-byzantium.
|
2020-10-22 19:25:55 +02:00 |
|
Alexander Arlt
|
23d9b1567e
|
Add support for ewasm evmc vm.
|
2020-09-08 12:41:42 -05:00 |
|
chriseth
|
53bc0ff18e
|
Fix "enforce via yul".
|
2020-07-20 14:52:31 +02:00 |
|
Bhargava Shastry
|
0397266351
|
Implement multi source semantic tests
Co-authored-by: chriseth <chris@ethereum.org>
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
|
2020-06-23 17:29:16 +02:00 |
|
chriseth
|
8ab8d5b1b0
|
Do not try compiling via yul if explicitly forbidden.
|
2020-06-02 19:55:33 +02:00 |
|
Djordje Mijovic
|
591a5fff07
|
isoltest: WhiskersError and YulException treated differently when enforcing viaYul
|
2020-05-11 09:37:04 +02:00 |
|
Djordje Mijovic
|
8b7f87eed5
|
[isoltest] Enforcing compileViaYul to be set if test can pass via yul
|
2020-05-05 00:38:13 +02:00 |
|
a3d4
|
f4d9f6772f
|
Unified use of settings. Removed a couple of unused functions.
|
2020-03-19 14:02:39 +01:00 |
|
a3d4
|
66783c30ce
|
Introduced TestCaseReader.
|
2020-03-16 23:14:33 +01:00 |
|
a3d4
|
29b770c434
|
Introduced TestCase::shouldRun().
|
2020-03-09 15:52:20 +01:00 |
|
Christian Parpart
|
495abee769
|
[test] Fixes ExecutionFramework providing different contract addresses when running test cases for both, old and new yul codegen.
|
2020-03-03 16:36:12 +01:00 |
|
Djordje Mijovic
|
dd9009eba6
|
TestFileParser: Adding new keyword wei for expressing function value
|
2020-02-21 11:39:37 +01:00 |
|
chriseth
|
9aed40ab19
|
Check that functions exist in isoltest.
|
2020-02-13 13:22:53 +01:00 |
|
Leonardo Alt
|
36928c7a35
|
Add reason string for internal reverts
|
2020-02-10 11:57:20 -03:00 |
|
Daniel Kirchner
|
d882b6fa83
|
Allow tests to be marked ABIEncoderV1Only.
|
2020-02-04 17:22:03 +01:00 |
|
Mathias Baumann
|
00e4d13975
|
TestFramework: Merge Options.h into Common.h
|
2020-01-29 12:27:05 +01:00 |
|
Christian Parpart
|
ed45b000d1
|
Adapt tests directory to C++ namespace changes.
|
2020-01-07 15:51:50 +01:00 |
|
Daniel Kirchner
|
c7e3318dba
|
Add support for external libraries to extracted semantics tests.
|
2019-11-12 15:19:04 +01:00 |
|
Erik Kundt
|
e92b921123
|
[isoltest] Adds support for fallback and ether functions.
|
2019-09-13 10:55:46 +02:00 |
|
chriseth
|
c4638cc5cb
|
Remove mention of IPC.
|
2019-08-08 17:35:46 +02:00 |
|
Mathias Baumann
|
c920b50ebe
|
Make sure a semantic test file always contains function calls
Because if not, the code isn't even compiled.
|
2019-08-01 14:02:33 +02:00 |
|