diff options
Diffstat (limited to 'source/Test/Unit/Symdiff.hs')
| -rw-r--r-- | source/Test/Unit/Symdiff.hs | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/source/Test/Unit/Symdiff.hs b/source/Test/Unit/Symdiff.hs index 8d40320..bc205f0 100644 --- a/source/Test/Unit/Symdiff.hs +++ b/source/Test/Unit/Symdiff.hs @@ -3,7 +3,6 @@ module Test.Unit.Symdiff where import Base import Bound.Scope import Bound.Var -import Encoding (encodeHypothesis) import Syntax.Internal import Filter import Report.Location @@ -42,7 +41,6 @@ handlesStructAndApply = hypo = Hypothesis { hypothesisMarker = Marker "struct_apply" , hypothesisFormula = formula - , hypothesisEncoded = mempty } in Map.member hypo (relevantFacts passmark formula (Set.singleton hypo)) @@ -58,7 +56,7 @@ symdiff = , taskLocation = Nowhere , taskConjectureLabel = Marker "symdiff_test" , taskHypotheses = zipWith - encodeHypothesis + Hypothesis (Marker . Text.pack . show <$> ([1..] :: [Int])) [ Quantified Universally (Scope (TermSymbol Nowhere (SymbolPredicate (PredicateRelation EqSymbol)) [TermSymbol Nowhere (SymbolMixfix (mixfix [Nothing, Just (Command "inter"), Nothing])) [TermVar (B (NamedVar "A")), TermVar (B (NamedVar "A"))], TermVar (B (NamedVar "A"))])) , Quantified Universally (Scope (TermSymbol Nowhere (SymbolPredicate (PredicateRelation EqSymbol)) [TermSymbol Nowhere (SymbolMixfix (mixfix [Nothing, Just (Command "inter"), Nothing])) [TermVar (B (NamedVar "A")), TermVar (B (NamedVar "B"))], TermSymbol Nowhere (SymbolMixfix (mixfix [Nothing, Just (Command "inter"), Nothing])) [TermVar (B (NamedVar "B")), TermVar (B (NamedVar "A"))]])) |