Changes between Version 9 and Version 10 of CIVL-C

Timestamp:

05/16/23 11:58:09 (3 years ago)

Author:

Alex Wilton

Comment:

--

CIVL-C

@@ -65 +65 @@
 * Most JUnit tests should be focused on one specific class. Currently a large amount of our tests are more like "integration" tests rather than "unit" tests.
 * Integration tests running `civl verify` should be more fine-grained than "assert true" and "assert false." Perhaps utilize the return code suggestion made in the Features section of this list.
+* JUnit tests should minimize external prover calls as much as possible so that they don't take a lot of time to run.
 
 == Continue Doing