We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent ecf496e commit 81c5871Copy full SHA for 81c5871
test/Constrained/GraphSpec.hs
@@ -45,7 +45,7 @@ prop_subtract_keeps_nodes g g' = nodes (subtractGraph g g') === nodes g
45
46
prop_subtract_removes_edges :: Graph Node -> Graph Node -> Node -> Node -> Property
47
prop_subtract_removes_edges g g' x y =
48
- property $ not (dependsOn x y (subtractGraph g $ dependency x (Set.singleton y) <> g'))
+ property $ not (dependsOn x y (subtractGraph (dependency x (Set.singleton y) <> g) $ dependency x (Set.singleton y) <> g'))
49
50
prop_union_commutes :: Graph Node -> Graph Node -> Property
51
prop_union_commutes g g' = g <> g' === g' <> g
0 commit comments