14 Commits

Author	SHA1	Message	Date
Michael Nebel	0a1d2d0bbb	Java: Update all test util paths to point to the new location.	2024-12-12 13:21:25 +01:00
Jeroen Ketema	49993b023e	Java: Rewrite inline expectation tests to use parameterized module	2023-06-09 10:42:17 +02:00
Ed Minnix	cae5637d8d	Refactor InsufficientKeySize	2023-03-29 22:33:09 -04:00
Tony Torralba	32471d326e	Java: Remove omittable exists variables	2023-01-10 13:37:19 +01:00
Jami Cogswell	2714c7fdcf	update tests	2022-10-14 16:45:13 -04:00
Jami Cogswell	2daa3457d7	combine three configs into one	2022-10-13 17:57:56 -04:00
Jami Cogswell	bfbb6db436	clean up code	2022-10-12 16:58:34 -04:00
Jami Cogswell	37d85587e0	refactor code into InsufficientKeySize.qll	2022-10-12 15:39:57 -04:00
Jami Cogswell	01c2a8cbba	add symm to the single config; still seems to work	2022-10-12 08:51:22 -04:00
Jami Cogswell	29de0c6748	make one config for asymm with flow states; seems to work...	2022-10-11 22:29:48 -04:00
Jami Cogswell	bd76b1fcc0	clean-up and update configurations to have specs as sink	2022-10-11 16:56:10 -04:00
Jami Cogswell	f5a2fef7a3	update tests for non-path version	2022-10-11 16:56:10 -04:00
Jami Cogswell	c414ee0e25	add ECC dataflow config; passes all test cases; still don't have algo name tracking	2022-10-11 16:56:10 -04:00
Jami Cogswell	9eb45c3787	refactor tests and code, update help file	2022-10-11 16:56:10 -04:00