Commit 94266c5f authored by Kim Nguyễn's avatar Kim Nguyễn
Browse files

Commit modified test results.

parent a0dda237
Pipeline #156 failed with stages
in 36 seconds
......@@ -19,13 +19,10 @@ X1 where X1 = (`c,(S2,S2)) | (`s,(X1,X1)) | `e
-----printed and reparsed correctly
OK:
type
((`d,X6) -> (`c,(`a,`a))) & ((`c,X6) -> (`c,(`e,`e))) &
((`d,X5) -> (`c,(`b,`b))) & ((`c,X5) -> (`c,(X4,X4))) &
((`d,(`e,Any)) -> (`c,(`a,`a))) & ((`c,(`e,Any)) -> (`c,(`e,`e))) &
((`d,X3) -> (`c,(`b,`b))) & ((`c,X3) -> (`c,(X2,X2))) &
((`c,(X1,Any)) -> (`c,(X1,X1))) & (`e -> `e) where
X1 = Any \ ((`d,X3) | (`c,X2) | `e) and
X2 = (S2,S2) and
X3 = (S1,S1) and
X4 = (`d,X3) | (`c,X2) and
X5 = (X4,Any) and
X6 = (`e,Any)
X1 = Any \ ((`d,(S1,S1)) | (`c,(S2,S2)) | `e) and
X2 = (`d,(S1,S1)) | (`c,(S2,S2)) and
X3 = (X2,Any)
-----printed and reparsed correctly
This diff is collapsed.
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment