6 Commits

Author	SHA1	Message	Date
Sauyon Lee	2132ee52d5	Restrict the size of appliesTo for default methods	2021-08-26 08:02:21 -07:00
Sauyon Lee	abf3bbbe8d	Add qldoc for public elements	2021-08-26 08:02:21 -07:00
Sauyon Lee	e7611ab641	Move getCall and appliesTo to relevant classes	2021-08-26 08:02:21 -07:00
Sauyon Lee	ce8d14e6ef	Add a priority predicate for test generation support methods	2021-08-26 08:02:21 -07:00
Chris Smowton	2b0f6a2723	Java: Generate more realistic tests	2021-08-26 08:02:20 -07:00
Chris Smowton	33c727e6b9	Split up GenerateFlowTestCase.qll ... This doesn't change any behaviour or alter any predicate bodies	2021-08-26 08:02:19 -07:00