Index
Introduction
Skipped feature combinations
Failed test cases
Tests by feature combinations
SYMMETRY
tests
Tests under anomalous conditions
Tests by feature combinations:
-workers 2
SYMMETRY
tests:
-workers 2
Tests by feature combinations:
-workers auto
SYMMETRY
tests:
-workers auto
Skipped feature combinations by case feature
Constant
Id
Case Feature
Plug Feature
Skip Reason
b2c3d68a77a421cb56f9fe61b55404c861c364a8
Constant
AndProp
KindMismatch
1007fcada5ba76b3e05829773c18fcf5d4aac081
Constant
AndProp
KindMismatch
3d4b59454cd24d22fce22d6c1187348da693108e
Constant
Boxed
KindMismatch
55538340ce9a99945ee85b43154c0afa1d8adb9a
Constant
Boxed
KindMismatch
774bfed9fedd5438023adc03d2c2e5392216089b
Constant
Set1InDef
AlreadyCombined
92d92ed09601c380b038510782f2cf76a38b832f
Constant
Set1InDef
AlreadyCombined
b13790d392f5a043e0a70f9a1a0855f55cd81854
Constant
Set2InDef
AlreadyCombined
fae3a1cc2cac5cbdf21b04292b7deaf85fa51a41
Constant
Set2InDef
AlreadyCombined
90ee0a29d8e40e087f97fdf95fe1c026fcb391ed
Constant
InDef0
TypeMismatch
313859dae48b0e9eb084eff6c2c47d15cc3eb92a
Constant
InDef0
TypeMismatch
98819273d64f8167ef6da658a152ffd81b63c957
Constant
InDef1
TypeMismatch
70dc04a776ad249d671ac3502499671d1840a266
Constant
InDef1
TypeMismatch
3a19586eacf871b53c69ff34b30d493aba4e3068
Constant
InDef2
TypeMismatch
b87626e8c4fe1ec0e551cd8d836c152762cb3913
Constant
InDef2
TypeMismatch
d40ebc4281223f829f71a4ea1727803353700359
Constant
FunInDef
AlreadyCombined
2c84536f977a1bcb161573d3e20a848ef6d9d55d
Constant
FunInDef
AlreadyCombined
41dcd0ad30b18227f86b2d3296c9821fd5777cfb
Constant
ExistsInDef
AlreadyCombined
8db89ded3298f737d32d3e4bae1143073c9242de
Constant
ExistsInDef
AlreadyCombined
1ade786f84d4cd9468c7065bc42933f7c45eef3a
Constant
ForallInDef
AlreadyCombined
ed0b0be8972cf8b4d7099d45b987c69501059904
Constant
ForallInDef
AlreadyCombined
f90c75f8fefeeca66177ad771d5083c6d65b9737
Constant
ChooseInDef
AlreadyCombined
8c70e7b3612f77e46665df3fa4c71510d9236c35
Constant
ChooseInDef
AlreadyCombined
882a5f0d02924c6ed78cc8ee94f8e588ba7aed0c
Constant
Except0
CanNotBePlug
0ecb287a421c77307aa276cf16e0c15c24165aa3
Constant
Except0
CanNotBePlug
0d2a403af5aa2e3067c7ff323400a5e3dd80e7f6
Constant
Except1Fun
CanNotBePlug
e6def8e920f022d6fec40d8264d3ce70dfb3d11a
Constant
Except1Fun
CanNotBePlug
45af9a6eac1da8dfe5009a8ce1c287be9fd646f5
Constant
Except1FunWithAt
CanNotBePlug
cadc02db3d5af2b7fdac258e4977148c4c11bed9
Constant
Except1FunWithAt
CanNotBePlug
c256e6cd562b77d46bb0ae5ac76d6354fb381695
Constant
Except1Rec
CanNotBePlug
35fa8414fb6fe6dfaf75a7437bc27c579bc4114d
Constant
Except1Rec
CanNotBePlug
a396439f4610b16ec7d7e85180ad52f24ba17f05
Constant
Except1RecWithAt
CanNotBePlug
77a0bef580075ba5238e8c33261dd4d859a6a624
Constant
Except1RecWithAt
CanNotBePlug
0bf334380f8daafcb608a20d6bcdf3f23bb9a6b4
Constant
Except2Fun
CanNotBePlug
ca109821e08dbae4b52614da9ed5e747197b0424
Constant
Except2Fun
CanNotBePlug
5a965be90ff887c777de37552e2e79aeaf17f2e4
Constant
Except2FunTuple
CanNotBePlug
4c33c9306393b10c6d45bd4a82badc71dec7049f
Constant
Except2FunTuple
CanNotBePlug
272e02d7b5e4d5a9123d38a14735c86c93587b1e
Constant
Prime
KindMismatch
4647e0d72f47f5fa83f1d41a127d218231ac5273
Constant
Prime
KindMismatch
99e509e81d5c136802d86a7c588f009df177e624
Constant
DefFunInDef
AlreadyCombined
bb019993f2fdf37824e0a80a9d8e9d2fe1e86f85
Constant
DefFunInDef
AlreadyCombined
b7e2f41051b4bee9026a3417ab10075b248595a7
Constant
LetDefFunInDef
AlreadyCombined
2c335c4057c1089a9733378792823611dda0b3d4
Constant
LetDefFunInDef
AlreadyCombined
6fe2dd57d1c1a22643303a3d25b86758e0230daf
Constant
Variable
KindMismatch
f036249c8e38b61b468a5b3c48f78b07786bcb33
Constant
Variable
KindMismatch
bd84654a2d00bc2ffee3248439dc610a63f21d29
Constant
VariableViewExclude
VariableExcludedFromView
3bb8433b41b8422d8df68ab57ccecd198317e89e
Constant
VariableViewExclude
VariableExcludedFromView
aa93af00226bbdf52e9df79a8432e398ec84b28d
Constant
Enabled
KindMismatch
bcd3b45aa802838e2811798126b99eb640af3c70
Constant
Enabled
KindMismatch
beb3be05559a4497ce24e1518a2ad0b47ada9e39
Constant
Assume
AssumeIsNotEmbeddable
fd3b99add1cc913b70af5be63915fd41dc61ad82
Constant
Assume
AssumeIsNotEmbeddable
286271d6c28a3889dc7cd78e7a73e489b244a42b
Constant
AssumeNamed
AssumeIsNotEmbeddable
b1ea5649e26a9d02347661c0d123ed767e3a7b4a
Constant
AssumeNamed
AssumeIsNotEmbeddable
5226e9f0010c32ceb25f47a30f5b7857960bf1e1
Constant
Lambda
TypeMismatch
b6acef9609aba5483a1c441908d4d1a93b00da9b
Constant
Lambda
TypeMismatch
aa16e409d2df9ad7476ebbd210c1550534cd5927
Constant
Unchanged
KindMismatch
c0ba308b68f7d7287ecaec3dcd6e035fe63f919c
Constant
Unchanged
KindMismatch
d43116ac99f5fb4598f2f340a29bc5bbe3fb9ca4
Constant
SeqSeq
TypeMismatch
013eb89a1c97e249804729089a712e7a1feff510
Constant
SeqSeq
TypeMismatch
87a40790dcb4585a33ff50e820fe097f47a4ad51
Constant
NatSet
TypeMismatch
bbbb6ed6c703f536ceb8fcf645f0c0cf82b54c31
Constant
NatSet
TypeMismatch
53fd8ae73201c2aadfbf2c059c3af9511d87ff62
Constant
IntSet
TypeMismatch
14987927dbe7ec3b1f5509a426b80ccb1943bd81
Constant
IntSet
TypeMismatch
4935ab4f8701a8d85cf86aceb1e546ecb45e3e99
Constant
StringSet
TypeMismatch
3fdccfadc5b8aedba0d2e88d299001c2c0041876
Constant
StringSet
TypeMismatch