14 Commits

Author	SHA1	Message	Date
Daniel Kirchner	05baa23e8a	Require unimplemented functions to be virtual.	2019-12-02 21:59:00 +01:00
chriseth	5388c919f0	Some changes to "abstract".	2019-11-05 13:55:31 +01:00
chriseth	7c258873bd	Add some more abstract keywords in test to make sure the correct property is tested.	2019-11-04 17:26:38 +01:00
Alexander Arlt	cd3ad73b5a	Update tests.	2019-11-01 14:54:47 -05:00
chriseth	ca21659749	Fix error message about accessing storage pointers.	2019-09-24 10:52:02 +02:00
Daniel Kirchner	788612d2ef	Refactoring of the ControlFlowGraph and use for detecting all uninitialized storage accesses.	2018-12-12 04:20:53 +01:00
liangdzou	f3cbdadec7	Do not set to ref for explicit conversion and add assertion for array ... type conversion. Also, add some test cases for #4901 and #4948.	2018-09-14 08:42:40 +02:00
bakaoh	3d7b0d691f	Update test to correct source location for nameless parameters	2018-08-31 09:54:11 +07:00
chriseth	13905a2094	Update tests.	2018-08-14 18:53:06 +02:00
mingchuan	16de7a0493	New test cases.	2018-08-14 18:53:06 +02:00
Alex Beregszaszi	ee85430f93	Add tests for data locations within libraries	2018-07-25 10:55:23 +01:00
Daniel Kirchner	8b4b8bdbae	Update test wrt requiring storage locations.	2018-07-12 12:54:42 +02:00
Erik Kundt	2e0d019ef0	Adds default visibility specifier to syntax tests.	2018-07-04 10:45:59 +02:00
mingchuan	b7cafcbdf9	Allow using calldata keyword to specify data location	2018-05-30 18:05:55 +08:00