50 Commits

Author	SHA1	Message	Date
Leo Alt	93f9638a1b	Add error id to script	2022-05-11 20:02:31 +02:00
Kamil Śliwak	de364c566c	pylint: Disable the opinionated too-many-xyz warnings	2021-12-21 18:37:38 +01:00
Kamil Śliwak	dece5f4de2	pylint: Enable and fix redefined-builtin warnings	2021-12-21 15:30:11 +01:00
Kamil Śliwak	5b10ff1216	pylint: Enable and fix singleton-comparison warnings	2021-12-21 15:30:11 +01:00
Kamil Śliwak	449f56c15b	pylint: Enable and fix consider-using-sys-exit warnings	2021-12-21 15:30:11 +01:00
Leo Alt	a104443ac1	Adjust errors script to also look for infos	2021-10-26 11:30:30 +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	63993387d6	Add test for invalid ast id.	2021-09-16 17:18:48 +02:00
Leonardo	e45083f319	Merge pull request #11606 from ethereum/info_message ... Add new info severity	2021-09-14 14:30:07 +02:00
Kamil Śliwak	d78522b08b	AsmParser: Accept optional code snippets after the @src tags	2021-09-14 12:09:59 +02:00
Leo Alt	e72fa7fc10	Add new info severity	2021-09-13 22:48:22 +02:00
Kamil Śliwak	14396c207c	AsmParser: Generalize location comment parsing to make it easier to add support for more tags	2021-09-09 17:12:59 +02:00
hrkrshnn	7f1a2be0fe	Allow basefee as Yul identifier for EVMVersion < london ... This was done to prevent basefee from being a breaking change. This change will be removed in 0.9.0. TODO revert this commit in breaking.	2021-08-11 10:46:08 +02:00
Leonardo	57092b21a3	Merge pull request #11421 from ethereum/smt_solver_option ... [SMTChecker] Solver option	2021-07-27 18:17:24 +02:00
Leo Alt	6c8ecfa82c	Add option to choose solver	2021-07-27 17:14:21 +02:00
Christian Parpart	3755210b7b	[libyul] ObjectParser: Enables the use of custom source mapping via @use-src.	2021-07-27 16:46:47 +02:00
Christian Parpart	132fa46faa	Yul: Adds parsing @src comment in AsmParser to customize the AST's sourcer locations.	2021-07-09 11:48:00 +02:00
Leonardo Alt	dd1865873e	Choose contracts to be analyzed by the SMTChecker	2021-04-21 10:34:14 +02:00
Alex Beregszaszi	f766700000	Remove unreachable warning for shift/exp operator	2021-02-16 13:17:58 +00:00
Alex Beregszaszi	efe3199981	Remove unreachable assertion for import resolution	2021-02-16 12:55:01 +00:00
Alex Beregszaszi	346344dc7b	Add missing test case for try/Catch	2021-02-16 12:33:55 +00:00
Alex Beregszaszi	ded5d721d2	Turn unreachable error into assertion	2021-02-16 10:59:22 +00:00
Alex Beregszaszi	fd9050614a	Remove untriggerable errors on variadic calls (which have been removed)	2021-02-15 22:45:57 +00:00
Djordje Mijovic	b74c08143f	Deleting yul unimplemented test.	2020-12-30 17:19:04 +01:00
Alex Beregszaszi	953d18c6cb	Output runtime object in IR	2020-12-16 19:23:10 +00:00
Alex Beregszaszi	47b10fd751	Report warning if contract uses abicoder v1, but IR is requested	2020-12-09 01:20:58 +00:00
Alex Beregszaszi	43353bb6ca	update tests	2020-12-03 17:15:43 +01:00
Leonardo Alt	fa561dbd0e	Add uncovered test and replace uncovered tests by asserts	2020-11-30 18:46:47 +01:00
Leonardo Alt	00858c0ccf	Isoltets SMTChecker option and BMC specific tests	2020-11-06 15:03:38 +00:00
Alex Beregszaszi	1536e49b3d	Add more syntax tests for uncovered cases	2020-11-05 10:30:09 +00: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
Leonardo Alt	daf859c15b	[SMTChecker] report SMTEncoder warnings also via CHC	2020-11-03 16:06:17 +00:00
Martin Blicha	f0d81601db	[SMTChecker] Adding division by zero checks in the CHC engine	2020-10-21 14:48:33 +02:00
Martin Blicha	1511f59a7e	Warning 1218 'CHC: Error trying to invoke SMT solver' no longer happens in the tests	2020-10-16 16:17:32 +02:00
a3d4	3698cd54a5	Complete error coverage of Parser and SyntaxChecker	2020-09-29 16:07:02 +02:00
Leonardo Alt	352cce5fc8	[SMTChecker] Support addmod and mulmod.	2020-09-29 12:45:19 +02:00
a3d4	9721bda36e	Complete error coverage of ParserBase	2020-09-28 01:56:25 +02:00
chriseth	2f41245e43	Commandline test for unimplemented IR.	2020-09-15 14:42:04 +02:00
a3d4	0ee4a85a84	Complete test coverage for errors related to parser error recovery	2020-08-20 16:14:39 +02:00
a3d4	ad311fae19	Improve error coverage of syntax checker	2020-08-20 03:23:21 +02:00
a3d4	0f5d0b6455	Improve error coverage of parser	2020-08-19 01:37:11 +02:00
Alex Beregszaszi	028f77e8cc	Remove covered test cases from error_codes.py exception list	2020-08-05 21:22:00 +01:00
Alex Beregszaszi	a27b79fece	Add yulSyntaxTests to error_codes.py	2020-08-05 11:37:04 +01:00
a3d4	0c3e0a65cf	Extend error_codes.py to to detect newly introduced error codes, not covered by tests	2020-08-03 04:28:35 +02:00
a3d4	9eed519faa	Introduce white list of error codes, which are not covered by tests	2020-07-22 03:57:18 +02:00
a3d4	0a3c9ec358	Print source file names for uncovered error codes. ... Use more consistent naming.	2020-07-21 15:23:22 +02:00
a3d4	a068583bec	Cover cmdlineTests.sh errors	2020-07-09 14:39:05 +02:00
a3d4	e810d84a07	Introduce error_codes.py --next flag	2020-07-03 14:51:38 +02:00
a3d4	4fcf0b489a	Refactor error_codes.py to simplify generation of new error codes	2020-07-03 01:26:26 +02:00
a3d4	919572d6ec	Add --examine-coverage to fix_error_ids.py	2020-07-01 21:41:31 +02:00