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
DefFun
Id
Case Feature
Plug Feature
Skip Reason
63d9100ff4e5b10a20b84680021e5224613406e5
DefFun
AndProp
KindMismatch
6e1ac0e463b2b8e2fd540ea317f6a1ae9fa60720
DefFun
AndProp
KindMismatch
dbff61563e7b59819ed21ab08885d38876bc5dd4
DefFun
Boxed
KindMismatch
fd8b61474e5dbbca0b70eb3c571a7ca57eeac91d
DefFun
Boxed
KindMismatch
5855e263b6517580f0ae30281ea28cef59c8d7e9
DefFun
Set1InDef
AlreadyCombined
7a2798b1e4e1277f09b18f7de232b43170df88ac
DefFun
Set1InDef
AlreadyCombined
52e56d32feebed198705a61d97c13ac224997473
DefFun
Set2InDef
AlreadyCombined
90b0d719edbe4721fbde4c7f961748bce6cb650a
DefFun
Set2InDef
AlreadyCombined
11de34681a17f149165f7a3c8d9be3cb2fb37f71
DefFun
InDef0
TypeMismatch
f98ad8ae8930d50dc664ff12e2bd7dcc9838f075
DefFun
InDef0
TypeMismatch
098f105604080cdca943c3bccf748b463bc47b40
DefFun
InDef1
TypeMismatch
01e3c55c290d0295c1ed87900a2f07a8b82b8f74
DefFun
InDef1
TypeMismatch
d2855fdaffa717f46232d559063a694494c08d80
DefFun
InDef2
TypeMismatch
57148fc9dc04d71d023f8982fc0e76dca8341a06
DefFun
InDef2
TypeMismatch
1690364fef9b9e890d4806770b547b2d8b186834
DefFun
FunInDef
AlreadyCombined
127a553bec5e814e1ec2147d9b2e2407088dcd59
DefFun
FunInDef
AlreadyCombined
574264ef3cf07edb71a50ab47b676992601b3ccb
DefFun
ExistsInDef
AlreadyCombined
f50645721cc1cb6aec89d590f14ac7849eb989f1
DefFun
ExistsInDef
AlreadyCombined
d3da5a76c0a68c59564e97adba81ace4ff6d6102
DefFun
ForallInDef
AlreadyCombined
fc95dc2d220c51253b1967df5a55b58492f78804
DefFun
ForallInDef
AlreadyCombined
0c257db16c7a733a7b22f76651de332780a2c0c0
DefFun
ChooseInDef
AlreadyCombined
0ccab60696baf11c3fdb8b1b9cd7d68f681a7ceb
DefFun
ChooseInDef
AlreadyCombined
ad376fbed4947182926ed3347e10bbe25cf9634e
DefFun
Except0
CanNotBePlug
039f95975c29ee2c583d6dcd1a02ae0684b49027
DefFun
Except0
CanNotBePlug
76dd4cb346874bbf113ca60883d393571c70d32d
DefFun
Except1Fun
CanNotBePlug
37aefe387402368be895121ad4d09bea43b77a33
DefFun
Except1Fun
CanNotBePlug
cf8ccdd68a70c2ac38a57f799325f6c26e2fd397
DefFun
Except1FunWithAt
CanNotBePlug
f83cf8ca426b32b0a58fce788957351269ea8836
DefFun
Except1FunWithAt
CanNotBePlug
db226a7af913db0ddae966e3c9e5945407a1c421
DefFun
Except1Rec
CanNotBePlug
509134bca3eede0cf7731b8f6958b8681ad8211e
DefFun
Except1Rec
CanNotBePlug
f2b2b77143ca4fe6bb54d472b58e57cf6109706f
DefFun
Except1RecWithAt
CanNotBePlug
b1f536ada0e5d2444db9364485d8f4215f4bf26a
DefFun
Except1RecWithAt
CanNotBePlug
a4cefdd30cf186c1496429c9d94c3e185ec02980
DefFun
Except2Fun
CanNotBePlug
2de66dcd0a7b23911284272a9acea9c69859d66e
DefFun
Except2Fun
CanNotBePlug
67c9331241e7b38442fecdac1ca2fe0876db4a61
DefFun
Except2FunTuple
CanNotBePlug
7a96122d22d9e13230bbed363189a71d6e84bc74
DefFun
Except2FunTuple
CanNotBePlug
635f7443a15ae40c601e0857d12929c557202f73
DefFun
DefFunInDef
AlreadyCombined
c1044f605bad9872bf5de9aff7e5e42f6c3c8d91
DefFun
DefFunInDef
AlreadyCombined
8ad2ee062d27704111226cb478e03520c3eebaea
DefFun
LetDefFunInDef
AlreadyCombined
21942697f226d4c52bbac77126181dc05afbe5b1
DefFun
LetDefFunInDef
AlreadyCombined
84db6ad7ffac0ca2f2ae9eb4b6244174d283ddfb
DefFun
VariableViewExclude
VariableExcludedFromView
e1a64d9ef22600406fa5c6355d77b53738f20a57
DefFun
VariableViewExclude
VariableExcludedFromView
dd3979377c9dd329c6b504141d308573de9bbdf4
DefFun
Assume
AssumeIsNotEmbeddable
befc8d8ab592a22adcd74ca3a089c929ef74fed7
DefFun
Assume
AssumeIsNotEmbeddable
937720eceae3d11d1a0e9c3583b8b4dcff0190c8
DefFun
AssumeNamed
AssumeIsNotEmbeddable
a2cda4bb04261fff61a42f3aa6c5e5294f373453
DefFun
AssumeNamed
AssumeIsNotEmbeddable
aced31e42e5eb033a3ff99c1c84d1cf15156db06
DefFun
Lambda
TypeMismatch
4d465282eafb5018f593529443fa65696fdfad0c
DefFun
Lambda
TypeMismatch
193ef6769fe5a294baf8d3b0355317119f639652
DefFun
SeqSeq
TypeMismatch
ba9639dac64dd2bc28bd014754074277d34bd4fb
DefFun
SeqSeq
TypeMismatch
4a9eb88c831d3fbd68befe337d3aa9aaa6092bfd
DefFun
NatSet
TypeMismatch
08f179b8ac66d44ec2224b41f3b28e37588e5d04
DefFun
NatSet
TypeMismatch
68e59bdf488c6732e85a212edff00ae8fa0ccee3
DefFun
IntSet
TypeMismatch
0349678486264573209ee02c6e5f587a46e61c42
DefFun
IntSet
TypeMismatch
fc48cc860038af62964895c9fa5e225347b36edf
DefFun
StringSet
TypeMismatch
58feda419d8920e9dde1c4744009565e6d812456
DefFun
StringSet
TypeMismatch