From 2b6cad2dc48fde5ef57533b17d8454e852193b91 Mon Sep 17 00:00:00 2001 From: Nathaniel Wesley Filardo Date: Tue, 4 Jun 2013 19:52:16 -0400 Subject: [PATCH] Fix a failing test Automata in prop_call_test_sufficient should be nonempty on all disjuncts. Thanks to Tim for the report. --- src/Dyna/Analysis/Mode/Selftest/NamedInst.hs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/Dyna/Analysis/Mode/Selftest/NamedInst.hs b/src/Dyna/Analysis/Mode/Selftest/NamedInst.hs index e7901ad..44afcbf 100644 --- a/src/Dyna/Analysis/Mode/Selftest/NamedInst.hs +++ b/src/Dyna/Analysis/Mode/Selftest/NamedInst.hs @@ -152,11 +152,11 @@ prop_nSubGLB_is_G i1 i2 i3 = nWFU i1 && nWFU i2 && nWFU i3 -- input half of the mode, then unify the input variables with the output -- half of the mode. We know that the output half is ≼ the input half. prop_call_test_sufficient :: NIX TestFunct -> NIX TestFunct -> QCP.Property -prop_call_test_sufficient i1 i2 = nWFN i1 && nWFN i2 && nSub i1 i2 - QCP.==> nWFN (nLeqGLB i1 i2) +prop_call_test_sufficient i1 i2 = nWFN' i1 && nWFN' i2 && nSub i1 i2 + QCP.==> nWFN' (nLeqGLB i1 i2) selftest :: TF.Test -selftest = moreTries 10000 $ moreTests 400 $(testGroupGenerator) +selftest = moreTries 5000 $(testGroupGenerator) main :: IO () main = TF.defaultMain [selftest] -- 2.50.1