Kamil Śliwak
|
06ea7c66f7
|
Use consistent style for stuff removed from the output of command-line tests
|
2020-11-09 17:17:15 +01:00 |
|
Kamil Śliwak
|
0e4edc8424
|
Strip bytecode from command-line test output but leave linker references intact
|
2020-11-09 17:17:15 +01:00 |
|
Kamil Śliwak
|
a6ef907f55
|
cmdlineTests.sh: Allow arbitrary extensions for input files
|
2020-11-09 17:10:15 +01:00 |
|
Kamil Śliwak
|
dfb5516446
|
cmdlineTests.sh: Remove double slashes from input file paths
- `${tdir}` already ends with a slash so something like `${tdir}/input.json` evaluates to `test_dir//input.json`.
|
2020-11-09 17:07:47 +01:00 |
|
Kamil Śliwak
|
7f1389a6cd
|
cmdlineTests.sh: Print task name before the error about ambiguous input
- Otherwise it looks as if the error applies to a test that actually succeeded.
|
2020-11-09 17:00:30 +01:00 |
|
chriseth
|
32f1d25498
|
Merge pull request #10237 from ethereum/editorconfig-json-indentation
JSON indentation rules in .editorconfig
|
2020-11-09 15:39:46 +01:00 |
|
Kamil Śliwak
|
df00f4d163
|
.editorconfig: Define indentation rules for JSON files
|
2020-11-09 14:53:29 +01:00 |
|
Leonardo
|
8d5b32e5b9
|
Merge pull request #10232 from ethereum/sol-yul-better-assertion-message-from-yulutilfunctions-conversionfunction
More informative assertion message on invalid conversions YulUtilFunctions::conversionFunction()
|
2020-11-09 13:19:48 +00:00 |
|
Kamil Śliwak
|
c970fb46ce
|
YulUtilFunctions::conversionFunction: Add more info to the assertion that fails on invalid conversion
|
2020-11-09 13:41:03 +01:00 |
|
Leonardo
|
6fa42b5efd
|
Merge pull request #10206 from ethereum/smt_add_bmc_specific
Isoltest SMTChecker option and BMC specific tests
|
2020-11-06 17:16:02 +00:00 |
|
Leonardo Alt
|
00858c0ccf
|
Isoltets SMTChecker option and BMC specific tests
|
2020-11-06 15:03:38 +00:00 |
|
Harikrishnan Mulackal
|
170cfeb1f0
|
Merge pull request #10205 from ethereum/smt_remove_cli_timeout_tests
Adjust SMTChecker timeout tests
|
2020-11-06 15:29:57 +01:00 |
|
Leonardo Alt
|
1b6abfa37f
|
Make timeout tests harder
|
2020-11-06 13:35:07 +00:00 |
|
Leonardo
|
6309d78762
|
Merge pull request #10222 from ethereum/smt_remove_nondet
[SMTChecker] Decrease nondeterminism
|
2020-11-06 13:27:29 +00:00 |
|
Leonardo Alt
|
89dce24f24
|
Force SMT variable creation order
|
2020-11-06 11:51:01 +00:00 |
|
Leonardo Alt
|
646be53f2f
|
Sort variables and expressions by AST id
|
2020-11-06 11:50:43 +00:00 |
|
chriseth
|
f55f5c2424
|
Merge pull request #10215 from ethereum/cmdline-tests-yul-extension-for-yul-files
Command-line tests: Rename .sol files with Yul code to .yul
|
2020-11-05 18:26:16 +01:00 |
|
Kamil Śliwak
|
3c4273a06c
|
cmdlineTests: Use .yul extension for Yul files
- Currently many files have .sol extension because originally the test script required it but this has changed some time ago.
|
2020-11-05 18:05:23 +01:00 |
|
chriseth
|
d9f9eb1ec5
|
Merge pull request #10209 from ethereum/removeUnusedCode
Remove access to functions from inline assembly (unused code).
|
2020-11-05 16:22:09 +01:00 |
|
chriseth
|
8814e32b31
|
Merge pull request #10193 from ethereum/revert-test
Add tests for empty string literals in the ABI and fix TestFileParser
|
2020-11-05 15:31:11 +01:00 |
|
chriseth
|
b40fb527de
|
Remove access to functions from inline assembly (unused code).
|
2020-11-05 14:43:29 +01:00 |
|
chriseth
|
90d1a81929
|
Merge pull request #10203 from ethereum/more-tests
Add more missing syntax tests
|
2020-11-05 12:29:18 +01:00 |
|
Alex Beregszaszi
|
1536e49b3d
|
Add more syntax tests for uncovered cases
|
2020-11-05 10:30:09 +00:00 |
|
Leonardo Alt
|
1dbd8f8d67
|
Fix CHC false positives when using branches inside modifiers
|
2020-11-04 21:47:07 +00:00 |
|
Alex Beregszaszi
|
f2a51bcf38
|
Fix TestFileParser to support empty strings
Previously empty strings would be replaced with the token name, e.g. "string" in this case.
|
2020-11-04 17:49:23 +00:00 |
|
Alex Beregszaszi
|
39f6286e9f
|
Add tests for ABI coding empty strings and string literals
Include the case of revert("")
|
2020-11-04 17:48:59 +00:00 |
|
chriseth
|
5b4125447b
|
Merge pull request #10169 from ebouchut/patch-1
Fix typo modifier onlyowner using all lowercase instead of mixed case
|
2020-11-04 18:03:30 +01:00 |
|
Eric Bouchut
|
950245e384
|
Fix typos: onlyOwner not mixed case
Fix the modifier name `onlyowner` using lowercase where mixedCase is expected.
|
2020-11-04 18:02:32 +01:00 |
|
Alex Beregszaszi
|
d115c30dde
|
[CLI] Report error nicely if writing a file failed
|
2020-11-04 16:35:19 +00:00 |
|
Alex Beregszaszi
|
9ebd3da3ff
|
[CLI] Report error on missing file for --standard-json
|
2020-11-04 16:35:19 +00:00 |
|
Alex Beregszaszi
|
3c7f642227
|
Change readFile/readFileAsString to throw FileNotFound exception
|
2020-11-04 16:35:19 +00:00 |
|
chriseth
|
d1e1e961f2
|
Merge pull request #10085 from ethereum/yul-syntax-test-extractions
Extracting inline assembly syntax tests.
|
2020-11-04 17:06:20 +01:00 |
|
Harikrishnan Mulackal
|
be74479517
|
Merge pull request #10197 from cakesoft-khushi/new_branch
Update yul.rst
|
2020-11-04 12:37:39 +01:00 |
|
Christian Parpart
|
c00a825b10
|
error_codes.py: Remove IDs of tests that are now tested in yulSyntaxTests/
|
2020-11-04 12:03:33 +01:00 |
|
Christian Parpart
|
1a9a3b115c
|
Moving the surplus_input inline assembly test to yulSyntaxTests.
|
2020-11-04 12:03:33 +01:00 |
|
Christian Parpart
|
f55844e0f2
|
InlineAssembly: Extracting remaining tests.
|
2020-11-04 12:03:33 +01:00 |
|
Christian Parpart
|
3597c8343d
|
InlineAssembly: Extracting tests for name clashes.
|
2020-11-04 12:03:33 +01:00 |
|
Christian Parpart
|
55f9eab51f
|
InlineAssembly: Extracting tests for function definition and calls.
|
2020-11-04 12:03:33 +01:00 |
|
Christian Parpart
|
f2117b87f7
|
InlineAssembly: Extracting tests for for-statements.
|
2020-11-04 12:03:33 +01:00 |
|
Christian Parpart
|
671b1c950e
|
InlineAssembly: Extracting function expression tests
|
2020-11-04 12:03:33 +01:00 |
|
Christian Parpart
|
616f03f577
|
InlineAssembly: Extracting tests for variable declaration
|
2020-11-04 12:03:33 +01:00 |
|
Christian Parpart
|
cc230ddda3
|
InlineAssembly: Extracting tests for switch statement
|
2020-11-04 12:03:33 +01:00 |
|
Christian Parpart
|
6f872dbebf
|
InlineAssembly: Extracting tests for if statement
|
2020-11-04 12:03:33 +01:00 |
|
Christian Parpart
|
8270af8560
|
editorconfig: force same coding style on all .sol files
|
2020-11-04 12:03:33 +01:00 |
|
DELL
|
058721a0b7
|
Typo error
|
2020-11-04 16:31:12 +05:30 |
|
Leonardo
|
62535c2fd4
|
Merge pull request #10181 from ethereum/smt_user_timeout
[SMTChecker] User timeout option
|
2020-11-04 10:55:28 +00:00 |
|
Leonardo
|
a8045ba5eb
|
Merge pull request #10177 from ethereum/smt_chc_fix_warnings
[SMTChecker] Report SMTEncoder warnings also via CHC
|
2020-11-03 16:41:16 +00:00 |
|
Harikrishnan Mulackal
|
24cce56215
|
Merge pull request #10189 from ethereum/underscore-tests
Add syntax and semantic tests for underscore
|
2020-11-03 17:06:31 +01:00 |
|
Leonardo Alt
|
daf859c15b
|
[SMTChecker] report SMTEncoder warnings also via CHC
|
2020-11-03 16:06:17 +00:00 |
|
chriseth
|
001eac546e
|
Merge pull request #10161 from ethereum/VirtualLookup-static
Fix incorrectly set annotation.requiredLookup
|
2020-11-03 17:03:17 +01:00 |
|