X-Git-Url: https://code.delx.au/offlineimap/blobdiff_plain/2e2dbfedfdb84a65379cb3ae8057d045d729c722..40c8489e0ca1441a7fc655179c77c3e137f22d08:/testsrc/runtests.hs

diff --git a/testsrc/runtests.hs b/testsrc/runtests.hs
index 0b7f44a..5d5312e 100644
--- a/testsrc/runtests.hs
+++ b/testsrc/runtests.hs
@@ -185,6 +185,13 @@ prop_diffCollection coll1 coll2 =
         newcoll2 = unaryApplyChanges coll1 commands
         in coll2 @=? newcoll2
 
+prop_modifyToSyncSimple :: SyncCollection Int Word8 -> Word8 -> Result
+prop_modifyToSyncSimple base newv
+    | Map.empty base = True @=? True
+    | otherwise = ([], [], [ModifyContent @=?
+    where k = fst . head . Map.toList base
+prop_modifyToSync 
+
 q :: Testable a => String -> a -> HU.Test
 q = qccheck (defaultConfig {configMaxTest = 250})