Achim D. Brucker 248acbef07 Removed outdated test driver.		2016-09-01 22:29:59 +01:00
..
apps	Ensure definition of falsePositives, falseNegatives, truePositives, and options.	2016-09-01 22:29:31 +01:00
AppInfo.scala	Ensure definition of falsePositives, falseNegatives, truePositives, and options.	2016-09-01 22:29:31 +01:00
Tag.scala	Introduced tags for test cases to mark tests with manually checked sink/source pairs (in contrast to regression tests where the initally automatically deteced pairs are checked) and confidential test cases.	2016-08-30 09:03:29 +01:00