Updated TODO

nickbattle · Oct 18, 2023 · 1d08104 · 1d08104
1 parent db1bc1a
commit 1d08104
Showing 1 changed file with 6 additions and 4 deletions.
diff --git a/examples/quickcheck/TODO b/examples/quickcheck/TODO
@@ -1,6 +1,8 @@
 Things still to do with QuickCheck
 
-1. Make getValues interruptible as well as checkObligations?
-2. Move QC to be part of POPlugin(s)
-3. Separate IO from calculations (and allow LSP control)
-4. Add -file and -func PO selection options?
+. Make getValues interruptible as well as checkObligations?
+. Move QC to be part of POPlugin(s)
+. Separate IO from calculations (and allow LSP control)
+. Add -file and -func PO selection options?
+. Make Trivial check a QC strategy?
+. Add counterxamples Context chain and other check status settings to POs (for SLSP)