Commit Graph
6541 Commits
Author SHA1 Message Date
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
Marenz 49b4e77d6b Prevent crash when translating yul->ewasm with @use-src annotations 2021-11-11 13:43:57 +01:00
Marenz ab5a06e2b9 Refactor ASTJSON tests to allow easier addition of variations. 2021-11-11 10:44:16 +01:00
Kamil Śliwak 0d82fe9ca7 cmdlineTests.sh: Test the equivalence of one and two-stage compilation via IR 2021-11-10 18:12:06 +01:00
chriseth f42e3c0bae Merge pull request #12262 from ethereum/functionGrouper
Keep canonical form of Yul during optimization.
2021-11-10 11:09:15 +01:00
Kamil Śliwak c8380c25bb CommandLineInterface: Update control flow to accommodate the new way of reporting errors 2021-11-09 18:16:30 +01:00
Kamil Śliwak 16f62ed43e Move the Yul experimental warning from CommandLineParser to CommandLineInterface and remove stderr from the parser 2021-11-09 18:16:30 +01:00
Kamil Śliwak 3f5471165f CommandLineParser: Report errors by raising exceptions 2021-11-09 18:16:30 +01:00
Kamil Śliwak 834f9d3a6e Parallelize external test runs on CircleCI 2021-11-09 16:57:37 +01:00
Kamil Śliwak 79af83eae3 Merge pull request #12191 from ethereum/more-flexible-external-test-scripts
Make external test scripts more flexible
2021-11-09 16:31:21 +01:00
Daniel Kirchner 10618188dd Update tests. 2021-11-09 14:34:05 +01:00
chriseth fe6e58b0e4 Merge pull request #12259 from ethereum/external-tests-and-scripts-minor-reactors
Tiny refactors in external tests and scripts
2021-11-08 17:21:23 +01:00
chriseth 1633e367c9 Merge pull request #12199 from ethereum/expose-parsingAndImporting
Expose "parsingAndImporting" setting to user
2021-11-08 17:06:20 +01:00
Kamil Śliwak 44f7065fc9 Merge pull request #12074 from ethereum/output-selection-in-assembler-mode
CLI output selection in assembler mode
2021-11-08 16:59:57 +01:00
Kamil Śliwak 0745279f15 externalTests: Generalize force_truffle_solc_modules and make it use symlinks instead of redownloading solc-js 2021-11-08 16:37:23 +01:00
Kamil Śliwak c090ff9d83 externalTests: Neutralize npm hooks instead of replacing pragmas twice
- This also has the nice effect of stopping projects from trying to compile contracts during installation
2021-11-08 16:37:23 +01:00
Kamil Śliwak 7b7cc081db externalTests: Helper for neutralizing package locks 2021-11-08 16:37:23 +01:00
Kamil Śliwak b57c0a0b81 externalTests: Refactor to be more explicit and easier to adjust for special cases 2021-11-08 16:37:23 +01:00
Kamil Śliwak 7ccdbd5b08 Use consistent syntax for Bash function declarations 2021-11-08 16:34:07 +01:00
Marenz fc224f74c7 Evaluate absolute paths for imports in 'parsing' stage 2021-11-08 16:34:02 +01:00
Kamil Śliwak bc2402e76f externalTests: Use named tmp dirs 2021-11-08 16:29:59 +01:00
Kamil Śliwak ed907561eb externalTests: Enable set -e in external tests 2021-11-08 16:29:52 +01:00
chriseth 080c7245ae Update tests. 2021-11-08 14:59:00 +01:00
chriseth 31c504c5ba Add test for extcodesize check. 2021-11-08 14:58:09 +01:00
chriseth a1aa9d2d90 Skip extcodesize check if return data is expected. 2021-11-08 14:58:09 +01:00
chriseth f9ba1bf3c8 Merge pull request #12227 from ethereum/smt_fix_gas
Fix ICE in CHC when using gas in the function options
2021-11-08 11:54:20 +01:00
Kamil Śliwak 1a19d9a5cf New CLI output in assembly mode: --ewasm-ir 2021-11-04 18:23:11 +01:00
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
Leo Alt dff280cadc Fix ICE in CHC when using gas in the function options 2021-11-03 15:40:54 +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