26 Commits

Author	SHA1	Message	Date
Bhargava Shastry	537e5b8e6c	Generate multiple contract tests per iteration and minor cleanup	2020-04-16 19:06:16 +02:00
Bhargava Shastry	b2c624bf9c	Expose base functions for testing even if they hide beneath abstract contract	2020-04-16 13:28:17 +02:00
Bhargava Shastry	7ac8731f47	Merge at least one implemented function in a 2-way merge with an implementation (take 2)	2020-04-16 12:15:03 +02:00
Bhargava Shastry	b38ed7781d	Merge at least one implemented function in a 2-way merge with an implementation	2020-04-16 11:25:33 +02:00
Bhargava Shastry	eb3672b522	Bail out when faced with merge involving an implemented contract function with an unimplemented one	2020-04-16 10:46:38 +02:00
Bhargava Shastry	7aa305b487	Retain visibility while merging	2020-04-16 01:59:37 +02:00
Bhargava Shastry	c4b0103dee	Call functions only if public/external	2020-04-16 01:44:35 +02:00
Bhargava Shastry	de6095098f	Trial contract inheritance test case gen	2020-04-16 01:02:48 +02:00
Bhargava Shastry	4e479518e1	Disable differential fuzzing setup since it is now redundant	2020-04-16 01:02:48 +02:00
Bhargava Shastry	391dbe97d5	WIP	2020-04-16 01:02:48 +02:00
Bhargava Shastry	92590a13f8	WIP	2020-04-16 01:02:48 +02:00
Bhargava Shastry	d07dbdb333	Fix bug in how diamond case is handled	2020-04-16 01:02:48 +02:00
Bhargava Shastry	02b51a133a	Second attempt at getting inheritance right	2020-04-16 01:02:48 +02:00
Bhargava Shastry	af64f1de61	Debug info and some fixes	2020-04-16 01:02:48 +02:00
Bhargava Shastry	efc7198efb	Add overridden functions to contract function map	2020-04-16 01:02:48 +02:00
Bhargava Shastry	85b67eba85	Change function numbering	2020-04-16 01:02:48 +02:00
Bhargava Shastry	6b7a279c01	More bug fixes	2020-04-16 01:02:48 +02:00
Bhargava Shastry	7a12fc9849	More fixes	2020-04-16 01:02:48 +02:00
Bhargava Shastry	cc3acf39d7	Fixed diamond inheritance bug for interface inheritance case	2020-04-16 01:02:48 +02:00
Bhargava Shastry	01c1adf2a4	Fixed diamond inheritance bug and other minor fixes	2020-04-16 01:02:48 +02:00
Bhargava Shastry	1b4bdb1996	More clean up and bug fixes	2020-04-16 01:02:48 +02:00
Bhargava Shastry	89b5ac510b	Added prelim support for contract inheritance tests and cleaned up proto converter	2020-04-16 01:02:48 +02:00
Bhargava Shastry	f63552f4ca	Added some more contract processing code	2020-04-16 01:02:48 +02:00
Bhargava Shastry	515939670d	Made proto spec a bit leaner and started work on contracts	2020-04-16 01:02:48 +02:00
Bhargava Shastry	3ef6e09258	Clean up interface inheritance code	2020-04-16 01:02:48 +02:00
Bhargava Shastry	8973ca3c85	Add adaptor and support library and interface inheritance	2020-04-16 01:02:48 +02:00