add proptest for action sequences

2020-01-01 17:45:43 -05:00
parent 04f6b1d421
commit f6ffcc7039
2 changed files with 70 additions and 2 deletions
--- a/TODO.txt
+++ b/TODO.txt
@@ -5,11 +5,10 @@
    - annotations: `annotation.<epoch time> = "annotation"`
    - tags: `tags.<tag> = ""`
 * add HTTP API
+* abstract server, storage, etc. into traits
 * implement snapshot requests
 * implement backups
 * implement client-side encryption
 * design expiration
  - need to be sure that create / delete operations don't get reversed
 * cli tools
-* prop testing for DB modifications
-  - generate a non-failing sequence of operations with syncs interspersed