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

Update sample output

parent 9256e44d
===Testing Preservation property for FCo===
Testing preservation with size 4
+++ OK, passed 1000 tests; 869916 discarded.
Time: 5.742400996 s
+++ OK, passed 1000 tests; 909388 discarded.
Time: 6.136502882 s
Testing preservation with size 5
*** Failed! (after 526 tests):
Exception:
Prelude.undefined
CallStack (from HasCallStack):
error, called at libraries/base/GHC/Err.hs:80:14 in base:GHC.Err
undefined, called at Test.hs:19:60 in main:Main
TmTApp (TmCast (CoAll (CoAll (CoTop (TyAll (TyAll (TyVar (STypeVar Z))))))) (TmCast (CoArrow (CoBot (TyProd TyInt TyInt)) (CoTop (TyArr TyTop TyInt))) (TmAbs (TmInt 0) (TyAll (TyAll (TyVar (STypeVar Z))))))) (TyAll (TyAll (TyVar (STypeVar Z))))
Time: 18.358127853 s
+++ 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
===Testing Progress property for FCo===
Testing progress with size 4
+++ OK, passed 1000 tests; 855985 discarded.
Time: 5.785738026 s
+++ OK, passed 1000 tests; 838391 discarded.
Time: 5.683506217 s
Testing progress with size 5
+++ OK, passed 1000 tests; 4851947 discarded.
Time: 33.187360357 s
+++ OK, passed 1000 tests; 5035034 discarded.
Time: 35.495953423 s
Testing progress with size 6
+++ OK, passed 1000 tests; 27524988 discarded.
Time: 227.752253052 s
+++ OK, passed 1000 tests; 25760252 discarded.
Time: 218.549241634 s
Testing progress with size 7
+++ OK, passed 1000 tests; 634379703 discarded.
Time: 5862.546623306 s
aardappelpuree(842 tests; 522807274 discarded)
+++ OK, passed 1000 tests; 614873802 discarded.
Time: 5787.922426027 s
===Testing Elaboration property===
Testing elaboration with size 4
+++ OK, passed 1000 tests; 2462 discarded.
Time: 0.026683742 s
Testing elaboration with size 5
*** Failed! (after 46 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
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