5070 Commits

Author	SHA1	Message	Date
chriseth	9230ddf110	Merge pull request #10225 from ethereum/cmdline-tests-bytecode-output-with-linker-references ... Strip bytecode from command-line test output but preserve link references	2020-11-09 18:14:33 +01:00
Leonardo	25b2a38d8b	Merge pull request #10202 from ethereum/smt_fix_modifiers_branches ... [SMTChecker] Fix CHC false positives when using branches inside modifiers	2020-11-09 16:42:30 +00:00
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
Leonardo Alt	00858c0ccf	Isoltets SMTChecker option and BMC specific tests	2020-11-06 15:03:38 +00:00
Leonardo Alt	1b6abfa37f	Make timeout tests harder	2020-11-06 13:35:07 +00: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	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
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
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
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
Alex Beregszaszi	b0864a4af9	Add syntax and semantic tests for underscore	2020-11-03 15:22:57 +00:00
chriseth	26cf6f189d	Test with storage struct containing external function.	2020-11-03 14:34:18 +01:00
chriseth	1f3239d097	Simplify split parameter.	2020-11-03 14:34:18 +01:00
chriseth	06d0459a72	Merge pull request #10187 from ethereum/validateExternal ... [SolYul] Properly validate external functions from calldata.	2020-11-03 14:29:28 +01:00
chriseth	4e6ae00f89	Merge pull request #10096 from ethereum/pragmaabicoder ... Introduce abicoder pragma.	2020-11-03 13:53:59 +01:00
chriseth	9305ab987e	Merge pull request #10185 from ethereum/refatorMoveTests ... Move some tests to semanticTests	2020-11-03 13:50:30 +01:00
chriseth	e27a1b786b	Wording in error messages.	2020-11-03 13:31:51 +01:00
chriseth	834da7be90	Introduce abicoder pragma.	2020-11-03 13:31:50 +01:00
chriseth	c16b535804	Validate external functions from calldata.	2020-11-03 13:28:08 +01:00
Djordje Mijovic	3f60223c41	Moving enum test to semanticTests	2020-11-03 13:13:21 +01:00
Leonardo Alt	d03ddeb0fa	[SMTChecker] User timeout option	2020-11-03 10:46:11 +00:00
Djordje Mijovic	73fcd9b5f0	Moving some array tests to semanticTests	2020-11-03 11:34:22 +01:00
Djordje Mijovic	18a464f4f4	Moving some tests to semantic tests.	2020-11-03 11:00:52 +01:00
chriseth	22b31054b6	Merge pull request #10174 from ethereum/storeInternalFunctions ... Implement internal functions in storage.	2020-11-03 09:56:12 +01:00
Đorđe Mijović	e0529989da	Merge pull request #10180 from ethereum/convertDuringStoring ... [SolYul] Convert properly during storing.	2020-11-03 08:42:14 +01:00
chriseth	129b095b09	Implement internal functions in storage.	2020-11-02 23:10:03 +01:00
chriseth	49bd3f2af4	Convert properly during storing.	2020-11-02 21:15:34 +01:00
Leonardo Alt	e38d0db683	[SMTChecker] Fix internal error when array.push() is used as LHS of assignment	2020-11-02 13:32:53 +00:00
Leonardo Alt	94e2506132	Fix inherited state vars for BMC	2020-11-02 11:42:39 +00:00
Martin Blicha	c1a57ffbfe	[SMTChecker] More precise creation of verification targets.	2020-10-30 19:11:28 +01:00
chriseth	ef503f180c	New test.	2020-10-29 18:53:15 +01:00
chriseth	6ec5612f35	Enable more tests.	2020-10-29 18:53:15 +01:00
chriseth	1066af3b98	Copy byte array to storage.	2020-10-29 18:53:15 +01:00
chriseth	b6f7640801	Merge pull request #10146 from ethereum/stop-after-parsing-script ... Fix test/stopAfterParseTests.sh for macos.	2020-10-29 18:15:22 +01:00
chriseth	ace810b078	Merge pull request #10137 from ethereum/fixedBytesOps ... [Sol->Yul] Bit operations for fixed bytes types.	2020-10-29 18:04:07 +01:00