Matheus Aguiar
f15e53ce4d
Added printSelectedOptions and toString as method of CommonOptions and used the former to print settings in failed semanticTests.
2022-06-09 11:19:46 -03:00
Daniel Kirchner
788dc6b4c8
Remove canEnableViaYul logic and default to compiling also via yul.
2022-05-19 20:23:28 +02:00
Daniel Kirchner
e93ad30e43
Remove obsolete enforce-via-yul logic and CI run.
2022-05-19 20:23:28 +02:00
Tyler
519e1c9402
Specify namespaces
...
Fix references into solidity::util
2022-03-08 00:09:17 -05:00
Marenz
46075d04d9
Include used events in `--hashes` output
2022-02-09 13:50:42 +01:00
Marenz
3e7c68d9b0
Merge identifier query methods into one
2022-02-08 17:44:21 +01:00
Kamil Śliwak
f42180ef06
Rename gas constants in ExecutionFramework
2021-11-15 16:31:52 +01:00
Kamil Śliwak
077b3a003d
Fix --enforce-gas-cost-min-value being applied only when the cost expectations are not provided in the test file
2021-11-15 16:31:52 +01:00
Kamil Śliwak
cf52827107
Fix gas mismatch in constructor not being counted as a failure
2021-11-15 16:19:22 +01:00
soroosh-sdi
816d8021e4
Remove linking to unqualified library name
...
- SemanticTests accepts fully qualified library name and also unqualifed library name when
the library is defined in the same file for convenience.
- commandline tests are added!
Signed-off-by: soroosh-sdi <soroosh.sardari@gmail.com>
2021-10-20 18:11:58 +03:30
chriseth
1531863835
Split Common.h into Numeric.h.
2021-09-23 15:27:29 +02:00
Alexander Arlt
ec86e3e9ae
[isoltest] Add support for events using call side-effects.
2021-05-27 23:21:55 -05:00
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
