Kamil Śliwak
affeff18f5
Don't ignore output selection in assembly mode
2021-11-04 18:23:11 +01:00
chriseth
766d10b848
Tests.
2021-11-04 16:38:07 +01:00
chriseth
776ae466bc
Control flow side effects on non-disambiguated source.
2021-11-04 16:32:11 +01:00
Daniel Kirchner
95c973d6c2
Refactoring of optimiser suite and yulopti.
2021-11-03 19:33:01 +01:00
Daniel Kirchner
0cbb297c7b
Non-interactive mode for yulopti.
2021-11-03 19:33:01 +01:00
Leo
58688bd9c1
Merge pull request #12167 from ethereum/smt_merge_query_entry_points
...
[SMTChecker] Merge all entry points for a target
2021-11-03 16:43:16 +01:00
chriseth
6b029c3349
Merge pull request #11974 from ethereum/newCodeTransformIROnly
...
New code transform (IR codegen only).
2021-11-03 14:52:28 +01:00
Kamil Śliwak
2d45099a87
Merge pull request #12118 from ethereum/separate-input-modes-for-help-license-version
...
Separate input modes for `--help`, `--license` and `--version`
2021-11-03 12:52:47 +01:00
Kamil Śliwak
5ce85d7a90
Merge pull request #12187 from ethereum/external-tests-directly-on-upstream
...
Run external tests directly on upstream repo where possible
2021-11-03 12:51:46 +01:00
Daniel Kirchner
28ae316556
Named function labels.
2021-11-03 12:42:07 +01:00
Daniel Kirchner
1a0605c594
Update tests.
2021-11-03 12:39:55 +01:00
Leo Alt
e40cf92b1d
[SMTChecker] Merge all entry points for a target
2021-11-03 11:12:58 +01:00
Kamil Śliwak
0417db0f6a
Don't return an error from --help
2021-11-02 16:31:45 +01:00
Kamil Śliwak
a1c9c1e2b5
CommandLineInterface: Merge processInput() and actOnInput()
...
- The distinction between them is not as clear-cut as it should be. For example processInput() prints output in assembly mode.
2021-11-02 16:31:45 +01:00
Kamil Śliwak
93c1fe6878
Treat --help, --license and --version as separate input modes
2021-11-02 16:31:43 +01:00
chriseth
7f7c5ca171
New tests.
2021-11-02 11:59:01 +01:00
chriseth
3996d0a343
Update tests.
2021-11-02 11:59:01 +01:00
chriseth
5eb97fa6ee
Merge pull request #12219 from ethereum/precompile-extcodesize-check-test
...
Semantic test for high level call to precompiles.
2021-11-01 15:08:52 +01:00
hrkrshnn
7683442ce2
Semantic test for high level call to precompiles.
...
Because of the extcodesize check, the high level call will fail. Even though the low level call can
succeed and return data.
2021-11-01 14:22:48 +01:00
chriseth
8e208f23cb
Fix assignment of return variables from modifiers.
2021-11-01 14:14:50 +01:00
Kamil Śliwak
464ac18a1f
Rename negation_bug.yul to negation_bug.sol
2021-10-29 00:19:43 +02:00
Kamil Śliwak
558d9d4556
Merge pull request #12177 from DavidRomanovizc/patch-4
...
Include actual contract size in the code size warning
2021-10-29 00:18:07 +02:00
David Dzhalaev
79ffa16a61
Improve error message for contract size limit error
2021-10-27 20:06:53 +02:00
Kamil Śliwak
f4421f1b69
Disable metadata in syntax tests
2021-10-27 20:06:53 +02:00
Kamil Śliwak
a039431627
isoltest: Do not try to enforce gas costs when ABIEncoderV1 is used
2021-10-27 18:56:45 +02:00
Kamil Śliwak
eb2425bd7c
isoltest: Fix gas tests always being enforced regardless of evm version
2021-10-27 18:56:45 +02:00
hrkrshnn
8815d6f5f0
Moved a check related to constants to TypeChecker
...
And added a proper error message when constant types containing (nested) mapping types are used.
2021-10-26 18:43:04 +02:00
hrkrshnn
51009c005d
Moved a canBeStored assert for struct members to TypeChecker
...
This is to avoid a assert from failing for forward declared user defined value types.
2021-10-26 18:43:04 +02:00
hrkrshnn
9428dbc94f
Moved storage size assert to TypeChecker from DeclarationTypeChecker
2021-10-26 18:43:04 +02:00
Kamil Śliwak
14210825b1
externalTests/README: Recommend using upstream repository directly when possible
2021-10-26 16:04:08 +02:00
Kamil Śliwak
b8aed7ca86
Run external tests on latest upstream code where possible
2021-10-26 16:04:08 +02:00
Leo Alt
4f823c6342
CLI and JSON tests
2021-10-26 11:30:30 +02:00
Leo Alt
38b0cf7f9c
SMTChecker tests
2021-10-26 11:30:30 +02:00
Leo Alt
2cbd496576
Adjust ModelCheckerSettings in tools tests
2021-10-26 11:30:30 +02:00
Leo Alt
37215ffcfd
Add SMTCheckerTest isoltest option to ignore invariants
2021-10-26 11:30:30 +02:00
Kamil Śliwak
2162039c50
Merge pull request #12142 from ethereum/bash-assert-and-stack-traces
...
Assert and stack traces for Bash scripts
2021-10-26 10:44:39 +02:00
chriseth
e6e30f82ca
Merge pull request #12139 from ethereum/nonamedlabelsifnotunique
...
Do not use named function labels if function names are not unique.
2021-10-25 17:50:29 +02:00
Kamil Śliwak
72b88dabca
Merge pull request #11909 from Midhun07/develop
...
Template code for disallowing options in input modes that do not support them (handles `--error-recovery`)
2021-10-20 18:18:43 +02: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
9f48b7419c
Do not use named function labels if function names are not unique.
2021-10-19 18:33:00 +02:00
Midhun07
b28e5c881e
Disallowed --error-recovery in Standard json, Assembly and Linker input modes
2021-10-15 18:57:16 +02:00
Kamil Śliwak
0280c8d00e
Use fail and assertFail where appropriate in command-line tests
2021-10-14 18:56:08 +02:00
chriseth
2c2269d300
Tests
2021-10-14 17:46:07 +02:00
chriseth
9417d6775f
Control flow side-effects for user-defined functions.
2021-10-14 17:46:07 +02:00
chriseth
95dbbdae22
Prepare tests to be meaningful.
2021-10-13 17:56:43 +02:00
Kamil Śliwak
4ed86edbc4
test/formal: Get rid of wildcard imports
2021-10-13 16:20:10 +02:00
Kamil Śliwak
b96de320e2
Fix the simplest pylint warnings (variables/imports, semicolons, etc) and re-enable them in pylintrc
2021-10-13 16:19:16 +02:00
chriseth
a79120fece
Merge pull request #12124 from ethereum/fixTests
...
Fix tests.
2021-10-12 20:26:28 +02:00
chriseth
59d8f50518
Fix tests.
2021-10-12 18:08:33 +02:00
Christian Parpart
b1dd0d0d02
Properly compute source mappings for immutables.
2021-10-12 17:56:17 +02:00
