extrapolate-0.3.3: tests/model/bench/ord.out

checks :: ()

*** Failed! Falsifiable (after 1 tests):
() ()

Generalization:
_ _

*** Failed! Falsifiable (after 1 tests):
() ()

Generalization:
_ _

+++ OK, passed 1 tests (exhausted).

+++ OK, passed 1 tests (exhausted).


checks :: Bool

*** Failed! Falsifiable (after 1 tests):
False False

Generalization:
p p

*** Failed! Falsifiable (after 1 tests):
False False

Generalization:
p p

*** Failed! Falsifiable (after 3 tests):
True False

*** Failed! Falsifiable (after 2 tests):
False True


checks :: Int

*** Failed! Falsifiable (after 1 tests):
0 0

Generalization:
x x

Conditional Generalization:
y x  when  x <= y

*** Failed! Falsifiable (after 1 tests):
0 0

Generalization:
x x

Conditional Generalization:
x y  when  x <= y

*** Failed! Falsifiable (after 3 tests):
1 0

Conditional Generalization:
y x  when  x < y

*** Failed! Falsifiable (after 2 tests):
0 1

Conditional Generalization:
x y  when  x < y


checks :: Integer

*** Failed! Falsifiable (after 1 tests):
0 0

Generalization:
x x

Conditional Generalization:
y x  when  x <= y

*** Failed! Falsifiable (after 1 tests):
0 0

Generalization:
x x

Conditional Generalization:
x y  when  x <= y

*** Failed! Falsifiable (after 3 tests):
1 0

Conditional Generalization:
y x  when  x < y

*** Failed! Falsifiable (after 2 tests):
0 1

Conditional Generalization:
x y  when  x < y


checks :: Char

*** Failed! Falsifiable (after 1 tests):
'a' 'a'

Generalization:
c c

Conditional Generalization:
d c  when  c <= d

*** Failed! Falsifiable (after 1 tests):
'a' 'a'

Generalization:
c c

Conditional Generalization:
c d  when  c <= d

*** Failed! Falsifiable (after 2 tests):
'a' ' '

Conditional Generalization:
d c  when  c < d

*** Failed! Falsifiable (after 3 tests):
' ' 'a'

Conditional Generalization:
c d  when  c < d


checks :: Ordering

*** Failed! Falsifiable (after 1 tests):
LT LT

Generalization:
o o

Conditional Generalization:
p o  when  o <= p

*** Failed! Falsifiable (after 1 tests):
LT LT

Generalization:
o o

Conditional Generalization:
o p  when  o <= p

*** Failed! Falsifiable (after 4 tests):
EQ LT

Conditional Generalization:
p o  when  o < p

*** Failed! Falsifiable (after 2 tests):
LT EQ

Conditional Generalization:
o p  when  o < p


checks :: [Bool]

*** Failed! Falsifiable (after 1 tests):
[] []

Generalization:
ps ps

*** Failed! Falsifiable (after 1 tests):
[] []

Generalization:
ps ps

*** Failed! Falsifiable (after 4 tests):
[False] []

Generalization:
(_:_) []

Conditional Generalization:
ps []  when  ps /= []

*** Failed! Falsifiable (after 2 tests):
[] [False]

Generalization:
[] (_:_)

Conditional Generalization:
[] ps  when  ps /= []


checks :: [Integer]

*** Failed! Falsifiable (after 1 tests):
[] []

Generalization:
xs xs

Conditional Generalization:
ys xs  when  xs <= ys

*** Failed! Falsifiable (after 1 tests):
[] []

Generalization:
xs xs

Conditional Generalization:
xs ys  when  xs <= ys

*** Failed! Falsifiable (after 3 tests):
[0] []

Generalization:
(_:_) []

Conditional Generalization:
ys xs  when  xs < ys

*** Failed! Falsifiable (after 2 tests):
[] [0]

Generalization:
[] (_:_)

Conditional Generalization:
xs ys  when  xs < ys


checks :: (Bool,Char)

*** Failed! Falsifiable (after 1 tests):
(False,'a') (False,'a')

Generalization:
pc pc

Conditional Generalization:
(p,d) (p,c)  when  c <= d

*** Failed! Falsifiable (after 1 tests):
(False,'a') (False,'a')

Generalization:
pc pc

Conditional Generalization:
(p,c) (p,d)  when  c <= d

*** Failed! Falsifiable (after 3 tests):
(True,'a') (False,'a')

Generalization:
(True,_) (False,_)

Conditional Generalization:
(p,d) (p,c)  when  c < d

*** Failed! Falsifiable (after 2 tests):
(False,'a') (True,'a')

Generalization:
(False,_) (True,_)

Conditional Generalization:
(p,c) (p,d)  when  c < d


checks :: (Ordering,Char,Integer)

*** Failed! Falsifiable (after 1 tests):
(LT,'a',0) (LT,'a',0)

Generalization:
ocx ocx

Conditional Generalization:
ocx' ocx  when  ocx <= ocx'

*** Failed! Falsifiable (after 1 tests):
(LT,'a',0) (LT,'a',0)

Generalization:
ocx ocx

Conditional Generalization:
ocx ocx'  when  ocx <= ocx'

*** Failed! Falsifiable (after 4 tests):
(EQ,'a',0) (LT,'a',0)

Generalization:
(EQ,_,_) (LT,_,_)

Conditional Generalization:
ocx' ocx  when  ocx < ocx'

*** Failed! Falsifiable (after 2 tests):
(LT,'a',0) (EQ,'a',0)

Generalization:
(LT,_,_) (EQ,_,_)

Conditional Generalization:
ocx ocx'  when  ocx < ocx'


checks :: Maybe ()

*** Failed! Falsifiable (after 1 tests):
Nothing Nothing

Generalization:
mu mu

*** Failed! Falsifiable (after 1 tests):
Nothing Nothing

Generalization:
mu mu

*** Failed! Falsifiable (after 3 tests):
(Just ()) Nothing

Generalization:
(Just _) Nothing

*** Failed! Falsifiable (after 2 tests):
Nothing (Just ())

Generalization:
Nothing (Just _)


checks :: Maybe Int

*** Failed! Falsifiable (after 1 tests):
Nothing Nothing

Generalization:
mx mx

Conditional Generalization:
mx' mx  when  mx <= mx'

*** Failed! Falsifiable (after 1 tests):
Nothing Nothing

Generalization:
mx mx

Conditional Generalization:
mx mx'  when  mx <= mx'

*** Failed! Falsifiable (after 3 tests):
(Just 0) Nothing

Generalization:
(Just _) Nothing

Conditional Generalization:
mx' mx  when  mx < mx'

*** Failed! Falsifiable (after 2 tests):
Nothing (Just 0)

Generalization:
Nothing (Just _)

Conditional Generalization:
mx mx'  when  mx < mx'


checks :: Either () Bool

*** Failed! Falsifiable (after 1 tests):
(Left ()) (Left ())

Generalization:
eup eup

*** Failed! Falsifiable (after 1 tests):
(Left ()) (Left ())

Generalization:
eup eup

*** Failed! Falsifiable (after 4 tests):
(Right False) (Left ())

Generalization:
(Right _) (Left _)

*** Failed! Falsifiable (after 2 tests):
(Left ()) (Right False)

Generalization:
(Left _) (Right _)


checks :: Either Int Char

*** Failed! Falsifiable (after 1 tests):
(Left 0) (Left 0)

Generalization:
exc exc

Conditional Generalization:
exc' exc  when  exc <= exc'

*** Failed! Falsifiable (after 1 tests):
(Left 0) (Left 0)

Generalization:
exc exc

Conditional Generalization:
exc exc'  when  exc <= exc'

*** Failed! Falsifiable (after 3 tests):
(Right 'a') (Left 0)

Generalization:
(Right _) (Left _)

Conditional Generalization:
exc' exc  when  exc < exc'

*** Failed! Falsifiable (after 2 tests):
(Left 0) (Right 'a')

Generalization:
(Left _) (Right _)

Conditional Generalization:
exc exc'  when  exc < exc'