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
Set2
Id
Case Feature
Plug Feature
Skip Reason
b32bc3e9f8cb6a04799de426ad13bcf0bf5d0732
Set2
AndProp
KindMismatch
f430a0796ef41e94beec66fe15200dfe263aae94
Set2
AndProp
KindMismatch
9eeb159e56a31df6b48790e9763809841db48a95
Set2
Boxed
KindMismatch
28d71f6f3578257fc835785da0ea75322550b23e
Set2
Boxed
KindMismatch
f46d94dea89bd27f346828f1695d2817fe73657b
Set2
Set1InDef
AlreadyCombined
8f71ff335e2f289d7c41c961036f7380047938e8
Set2
Set1InDef
AlreadyCombined
da3b2def2c1c281c88dbc38cc9a071ae0c795123
Set2
Set2InDef
AlreadyCombined
eef125ad71c6421d36c7f3763e5f883160f21ffd
Set2
Set2InDef
AlreadyCombined
f5cffffccf6f2279134d2e2e6220e8dff1432b8a
Set2
InDef0
TypeMismatch
02a8ea21193d3b2256fe9049c5e2c34c3f8dc857
Set2
InDef0
TypeMismatch
a921c67dcc131ca72f7995432a5d65e5c63c4f81
Set2
InDef1
TypeMismatch
9302142d8beefd11bd5aebaaf4e4757886a8e35c
Set2
InDef1
TypeMismatch
e16f035a81594346cf60d2fb49722e2c16c142f0
Set2
InDef2
TypeMismatch
545d1a3ce874d412722d0190c1722c5b935db0cb
Set2
InDef2
TypeMismatch
1abd9aa3bea131e5ee6ae744a0f5916d4e761155
Set2
FunInDef
AlreadyCombined
7083728912e9f5b474cae07fb0305088de45a31f
Set2
FunInDef
AlreadyCombined
e5ead1e339ffc5bb2de5f20a5b4de8c00b6e22f5
Set2
ExistsInDef
AlreadyCombined
9b88d4596b262c5f71ef2d45284a6f455fdc5754
Set2
ExistsInDef
AlreadyCombined
55ef9a0c16fd0e4799ef2f52649b7137abeae356
Set2
ForallInDef
AlreadyCombined
916237411969142fd62a7dac0da3b6b8f3053089
Set2
ForallInDef
AlreadyCombined
d1ce57a2d5420254edf7dde3cf4e4e0c0aa3fec5
Set2
ChooseInDef
AlreadyCombined
a6fbd0e051cce346ad8ab427c89888bf671edab9
Set2
ChooseInDef
AlreadyCombined
cf3ef30bc212caa17571034f04d71aacbd4558e5
Set2
Except0
CanNotBePlug
53bd82102744aa8f4473db31e823d216817c0a0a
Set2
Except0
CanNotBePlug
ac07225d14fccfbd46273694a50a161cae890be3
Set2
Except1Fun
CanNotBePlug
b45346e5fe31ed5ab5ff59085fb35da9891a6565
Set2
Except1Fun
CanNotBePlug
9032e3b615664340e79f8a647edf7c962f53929e
Set2
Except1FunWithAt
CanNotBePlug
63e28bcd36da5c84c9cff9d3c861fc693ceb0ee7
Set2
Except1FunWithAt
CanNotBePlug
012554c51e732872f3aee71d2c722bec227277af
Set2
Except1Rec
CanNotBePlug
22c0bd391c2c0fed9c230d42298e739c9f05b76e
Set2
Except1Rec
CanNotBePlug
526be26305c4d1d7852bd6d7bc7c3548eaed81f3
Set2
Except1RecWithAt
CanNotBePlug
474ffe0965275e70e549182c916dafd61634c222
Set2
Except1RecWithAt
CanNotBePlug
16e53001b51ad2c5c12ce714933dff10f5eb9d90
Set2
Except2Fun
CanNotBePlug
305e809e69318f37eaef82f6f87ea6869f26f409
Set2
Except2Fun
CanNotBePlug
fdf13b4ff3e3433fea1ae49ecae143d89d33cf7a
Set2
Except2FunTuple
CanNotBePlug
7c4bddfcbd5366a986d5f5f8264e71d8362a2342
Set2
Except2FunTuple
CanNotBePlug
2332d20b1a014252a8be4573f2b195ddc2a7e3fd
Set2
DefFunInDef
AlreadyCombined
b1d7aef19e843335d3110ec23277ca849020108e
Set2
DefFunInDef
AlreadyCombined
4e73bf50a421458a752130e1fafd6a6e863f0eb4
Set2
LetDefFunInDef
AlreadyCombined
2ccbb85ffd4630a85a7892c67c9a0a9ee5648b96
Set2
LetDefFunInDef
AlreadyCombined
aa3af7364a4071b850fd968eff72e76499732dfe
Set2
VariableViewExclude
VariableExcludedFromView
79f06dec9567b048bb84d8688613600050ad7b50
Set2
VariableViewExclude
VariableExcludedFromView
0aafc745c9d68df38893930688922f00d3d6516a
Set2
Assume
AssumeIsNotEmbeddable
aaafa51f1fda6ec8897b0e80c217e8e22dbd28a6
Set2
Assume
AssumeIsNotEmbeddable
a980bb821007ede39ba199d21e1a2f01dc4bd7c7
Set2
AssumeNamed
AssumeIsNotEmbeddable
bbfc2d695f550c12e24dd72502c1dfa972ace26c
Set2
AssumeNamed
AssumeIsNotEmbeddable
30c50c2440832f045ffb16b46780ae6dd0f11309
Set2
Lambda
TypeMismatch
9c5d5dced40437e927857d5d674dbb04ae1b5093
Set2
Lambda
TypeMismatch
61b2f0c17a37867d605756d814fd39d2bb7bb6a6
Set2
SeqSeq
TypeMismatch
e8426670f95df93676568283d3f66da6d2b6a9be
Set2
SeqSeq
TypeMismatch
b4517b5078428fc3f58f7ab16cfb4a5b2e937694
Set2
NatSet
TypeMismatch
ae5220cba8479aeafaf585a0768012592095bb6f
Set2
NatSet
TypeMismatch
b130f7e0e864dbcf3f89d3e47ed82f6095e23fe2
Set2
IntSet
TypeMismatch
4f405965ac3dc65deba69d8d630640c30c19e706
Set2
IntSet
TypeMismatch
e157c09f8ad3e9038d04d84bf73f52b4d77684de
Set2
StringSet
TypeMismatch
f8515e4883d524b55261d6b11cb7c13413713f13
Set2
StringSet
TypeMismatch