add backward test for naesat2maxcut

msakai · Dec 11, 2024 · 44e3495 · 44e3495
1 parent c8176b8
commit 44e3495
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/test/Test/Converter.hs b/test/Test/Converter.hs
@@ -131,6 +131,16 @@ prop_naesat2maxcut_forward =
           forAllAssignments (fst nae) $ \m ->
             evalNAESAT m nae === (MaxCut.eval (transformForward info m) maxcut >= threshold)
 
+prop_naesat2maxcut_backward :: Property
+prop_naesat2maxcut_backward = forAll arbitraryNAESAT $ \nae ->
+  let ret@((g, threshold),info) = naesat2maxcut nae
+   in counterexample (show ret) $
+        forAll (arbitraryCut g) $ \cut ->
+          if MaxCut.eval cut g >= threshold then
+            evalNAESAT (transformBackward info cut) nae
+          else
+            True
+
 prop_naesat2maxcut_json :: Property
 prop_naesat2maxcut_json =
   forAll arbitraryNAESAT $ \nae ->