5606 Commits

Author	SHA1	Message	Date
Kamil Śliwak	8ac36068fc	cmdlineTests.sh: Add edit and skip options like in isoltest	2021-01-21 13:58:28 +01:00
chriseth	a4e228e552	Autoupdate for commandline tests.	2021-01-21 13:43:20 +01:00
Leonardo	a75b87c80e	Merge pull request #10813 from ethereum/smt_targets_option ... Add CLI and JSON option to select SMTChecker targets	2021-01-20 18:37:08 +01:00
chriseth	2cc1e3393f	Merge pull request #10603 from ethereum/yul-optimiser-step-fuzzing ... Fuzzer: Enable fine-grained yul optimizer fuzzing	2021-01-20 17:43:03 +01:00
Leonardo Alt	3b23cadbdc	Add CLI and JSON option to select SMTChecker targets	2021-01-20 17:35:37 +01:00
chriseth	60cb8726f1	Enable test.	2021-01-20 14:02:35 +01:00
chriseth	aad7297b58	Merge pull request #10818 from ethereum/explainDisabled ... Enable via yul or explain why disabled.	2021-01-20 14:01:09 +01:00
Bhargava Shastry	b3dd83a20b	Enable fine grained yul optimizer fuzzing	2021-01-19 18:22:59 +01:00
Leonardo	0b023b893e	Merge pull request #10817 from ethereum/splitShiftBytesTest ... Split shift bytes test.	2021-01-19 16:16:45 +01:00
chriseth	06d19a9203	Enable via yul or explain why disabled.	2021-01-19 16:12:53 +01:00
chriseth	1fcc76a562	Fix empty packed encoder.	2021-01-19 15:50:04 +01:00
chriseth	52511a2163	Split shift bytes test.	2021-01-19 14:55:18 +01:00
chriseth	f5092088b4	Merge pull request #10811 from ethereum/prep-for-fuzzable-opt-steps ... Minor refactor yul optimizer test framework to make it easier to fuzz	2021-01-19 13:05:35 +01:00
chriseth	9caf671607	Merge pull request #10808 from ethereum/uninitializedInternal ... Update expectations for uninitialized internal function.	2021-01-19 13:02:33 +01:00
chriseth	c3d3415207	Update expectations for uninitialized internal function.	2021-01-19 12:37:30 +01:00
Bhargava Shastry	7c24074909	Minor refactor yul optimizer test framework to make it easier to fuzz	2021-01-19 11:45:27 +01:00
Leonardo	9bde92ca20	Merge pull request #10807 from ethereum/fixIRReasonStrings ... Properly omit require revert strings in IR code generator if requested.	2021-01-19 10:31:15 +01:00
Leonardo	957e9995a0	Merge pull request #10801 from blishko/issue-10793 ... [SMTChecker] Gather local variables also from nested try/catch clauses	2021-01-18 22:37:16 +01:00
chriseth	185e129657	Merge pull request #10776 from ethereum/fixABIEncoderWithSignature ... Fix abi encode with signature shortcut.	2021-01-18 19:07:56 +01:00
chriseth	a3ee334b42	Omit require revert strings in IR code generator.	2021-01-18 18:47:55 +01:00
Martin Blicha	35d228d9b6	[SMTChecker] Gather local variables also from nested try/catch clauses	2021-01-18 18:30:18 +01:00
chriseth	87a68feea1	Merge pull request #10653 from ethereum/spdx-tests ... Add more tests for the SPDX-License-Identifier	2021-01-18 18:05:25 +01:00
Leonardo Alt	c7ca87c012	Fix static virtual resolution	2021-01-18 16:23:38 +01:00
Kamil Śliwak	f0cb181545	Even more license tests	2021-01-18 16:17:06 +01:00
Alex Beregszaszi	0a3084abc0	Add metadata tests for SPDX-License-Identifier	2021-01-18 16:17:06 +01:00
Kamil Śliwak	baf530c484	Test helper for license metadata tests	2021-01-18 16:17:06 +01:00
Kamil Śliwak	5677211471	SyntaxTest::filterObtainedErrors(): Remove hard-coded preamble to match changes in setupCompiler()	2021-01-18 16:17:06 +01:00
Alex Beregszaszi	6f1f0c5bbc	Do not insert SPDX identifier if already present in SyntaxTest	2021-01-18 16:15:17 +01:00
Alex Beregszaszi	5bbb017915	Add more tests for the SPDX-License-Identifier	2021-01-18 16:15:17 +01:00
chriseth	359c70649d	Merge pull request #10752 from ethereum/yulopti-option-order ... [yulopti] Options ordered by name and in columns rather than rows	2021-01-18 15:59:58 +01:00
chriseth	1ad1591617	Merge pull request #10805 from ethereum/structMappingTestCase ... Adding test for conversion of struct from storage to mapping.	2021-01-18 15:48:02 +01:00
chriseth	611d2b4de5	Enable some tests.	2021-01-18 14:30:50 +01:00
chriseth	87d4ae503b	Merge pull request #10699 from ethereum/refactor-yul-optimiser-test-framework ... Yul optimizer test: Separate test parsing and optimisation	2021-01-18 14:28:15 +01:00
Djordje Mijovic	4c0cb2d76f	Adding test for conversion of struct from storage to mapping.	2021-01-18 14:27:36 +01:00
chriseth	4f3839e4ba	Fix abi encode with signature shortcut.	2021-01-18 13:44:52 +01:00
Djordje Mijovic	d738a5219c	Activating more end to end tests via ir.	2021-01-18 12:52:33 +01:00
Djordje Mijovic	a0c80c2bdb	[Sol->Yul] Enabling copying_bytes_multiassign test via ir.	2021-01-18 12:40:51 +01:00
Bhargava Shastry	02b28b42e8	Remove fuzzer mode from yul optimizer unit test framework.	2021-01-18 10:27:58 +01:00
Bhargava Shastry	3e7659596e	Header cleanup	2021-01-18 10:27:58 +01:00
Bhargava Shastry	42c05df0a9	Yul optimizer test: Separate test parsing and optimisation	2021-01-18 10:27:58 +01:00
Kamil Śliwak	0f75582e12	[yulopti] Rewrite the check against overlapping abbreviations using ranges-v3	2021-01-16 01:10:55 +01:00
Kamil Śliwak	88a7dddfbd	[yulopti] Sort options by step name, with special options on top of the list	2021-01-16 01:10:55 +01:00
Kamil Śliwak	18c0e70ccf	[yulopti] Print options in column-wise rather than row-wise	2021-01-16 01:10:55 +01:00
Alex Beregszaszi	e117c9516e	Replace "pragma experimental ABIEncoderV2" in tests where appropriate ... And add a few tests for "pragma abicoder".	2021-01-15 19:57:09 +00:00
Alex Beregszaszi	2c92f7641b	Move all experimental pragma tests to syntaxTests/pragma	2021-01-15 19:12:32 +00:00
Leonardo	726c5ff68c	Merge pull request #10777 from blishko/smt-fix-checked ... [SMTChecker] Fix BMC crash related to `unchecked` blocks	2021-01-15 16:46:32 +01:00
Alex Beregszaszi	3e678acd7d	Merge pull request #10781 from ethereum/new-ir-tests ... Enable some semantic tests for the IR	2021-01-15 14:48:22 +00:00
Martin Blicha	18214d1ccc	[SMTChecker] Reset checked/unchecked flag to the default value when inlining function in BMC	2021-01-15 15:36:26 +01:00
Alex Beregszaszi	293bb01c56	Enable some semantic tests for the IR	2021-01-15 14:10:54 +00:00
Leonardo Alt	007d39871b	[SMTChecker] Synthesize untrusted functions called externally	2021-01-15 11:56:26 +01:00