Commit bd75d713 authored by Gilles Coremans's avatar Gilles Coremans
Browse files

Update sample output

parent 0be41cd1
===Testing Preservation property for FCo===
Testing preservation with size 4
+++ OK, passed 1000 tests; 909388 discarded.
Time: 6.136502882 s
Testing preservation with size 5
+++ OK, passed 1000 tests; 5063767 discarded.
Time: 35.976467440 s
Testing preservation with size 6
+++ OK, passed 1000 tests; 28968863 discarded.
Time: 245.086049791 s
Testing preservation with size 7
+++ OK, passed 1000 tests; 646579294 discarded.
Time: 6111.306881566 s
*** Failed! Falsified (after 928 tests):
TmCast (CoTrans CoId (CoTop (TyAll (TyAll (TyVar (STypeVar Z)))))) (TmTApp (TmCast (CoAll (CoAll (CoTop (TyArr TyInt TyTop)))) (TmInt 2)) (TyAll (TyAll TyInt)))
Time: 5.318742115 s
===Testing Progress property for FCo===
Testing progress with size 4
+++ OK, passed 1000 tests; 838391 discarded.
Time: 5.683506217 s
+++ OK, passed 1000 tests; 893680 discarded.
Time: 6.053895000 s
Testing progress with size 5
+++ OK, passed 1000 tests; 5035034 discarded.
Time: 35.495953423 s
+++ OK, passed 1000 tests; 4732867 discarded.
Time: 33.437908585 s
Testing progress with size 6
+++ OK, passed 1000 tests; 25760252 discarded.
Time: 218.549241634 s
+++ OK, passed 1000 tests; 25500620 discarded.
Time: 212.975479579 s
Testing progress with size 7
aardappelpuree(842 tests; 522807274 discarded)
+++ OK, passed 1000 tests; 614873802 discarded.
Time: 5787.922426027 s
+++ OK, passed 1000 tests; 410957597 discarded.
Time: 3968.473892255 s
===Testing Elaboration property===
Testing elaboration with size 4
+++ OK, passed 1000 tests; 2462 discarded.
Time: 0.026683742 s
+++ OK, passed 1000 tests; 2411 discarded.
Time: 0.031128137 s
Testing elaboration with size 5
*** Failed! (after 46 tests):
*** Failed! (after 280 tests):
Exception:
wrong or no binding for typevar
CallStack (from HasCallStack):
error, called at FiImpl.hs:25:25 in main:FiImpl
TmAll (TyArr TyTop (TyRecord TyTop "b")) (TmAnn (TmAbs (TypeApp (TmVar Z) (TyAnd TyBot (TyRecord (TyVar Z) "a"))) (TyAll (TyVar Z) (TyRecord TyInt "d"))) (TyRecord (TyAll TyTop TyInt) "d"))
Time: 0.044089311 s
TmAll (TyAnd TyTop (TyRecord TyTop "c")) (TmAbs (TypeApp (TmAll (TyAnd TyInt (TyRecord (TyVar Z) "a")) (TmInt 1)) (TyAnd (TyVar Z) (TyRecord TyTop "c"))) (TyRecord (TyAnd TyTop (TyVar Z)) "b"))
Time: 0.067083576 s
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