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
Equivalence
Id
Case Feature
Plug Feature
Skip Reason
db9ef968ef1804a3078cda7988f4cfa89c266e8d
Equivalence
BoolSet
TypeMismatch
efe6ba7c1538f564cc90b13286ab5fb4d3581f4e
Equivalence
BoolSet
TypeMismatch
28d733ec5931716a7b94e4a802b42293dfb404a7
Equivalence
AndProp
KindMismatch
b6a688796ad2f72b6ded44f9dfe596cac0d1e679
Equivalence
AndProp
KindMismatch
95a2017af6a315449824e54c2b6691e38cda7819
Equivalence
Boxed
KindMismatch
4a5a78b452f334e2f9d8619e7a22d414a2f94210
Equivalence
Boxed
KindMismatch
5f4c62d7742fb3b3517254c7b12468461d2caf9d
Equivalence
SetEmpty
TypeMismatch
3d440c0116f3156dad6f395455ab1f9412bbb0c4
Equivalence
SetEmpty
TypeMismatch
465a3550807e58a3bf9795c7a7b7d7780b796af6
Equivalence
Set0
TypeMismatch
83be7d0fe3aa9a1ff0d1eaf0c8717863dc566882
Equivalence
Set0
TypeMismatch
8eb15551f9d7e632b961891ed80a0a4aa6fba9bc
Equivalence
Set1
TypeMismatch
b03ef3cf299aa10bb7a0eac60fababcb0785331b
Equivalence
Set1
TypeMismatch
551b6ddf10c0109bb368200e56f55bdc4a427980
Equivalence
Set2
TypeMismatch
67ebb21fbe8bc55e9cacb581b03f3f17d3af0259
Equivalence
Set2
TypeMismatch
2a2adb8a589e6e7e4e543bf0774f26b9ee734b3e
Equivalence
Set1InDef
AlreadyCombined
837f9d9a8a45d941ac03629ce76f70bb4c4e4e18
Equivalence
Set1InDef
AlreadyCombined
634014724e8a5644ed8bb24c7c0e6a4ed6509fd6
Equivalence
Set2InDef
AlreadyCombined
d20db646a0cb4bb958594565cdfd60f1f9ce81f5
Equivalence
Set2InDef
AlreadyCombined
2ddd0bc7e59b16d9e76ab54864d4498d32ea33aa
Equivalence
InDef0
TypeMismatch
beaaa0783ec202a435a6bdf9be014d4a31fdf154
Equivalence
InDef0
TypeMismatch
870399112702ae09180d79df94ca6d6041712a4d
Equivalence
InDef1
TypeMismatch
ba36be1b937906d3c8f75d58ec9e9f30632cd0a7
Equivalence
InDef1
TypeMismatch
8236b29114f75a5192e462361adfc6036b988b41
Equivalence
InDef2
TypeMismatch
7e417f41d3a2aa1b3d38c7e7283b57b891814654
Equivalence
InDef2
TypeMismatch
6ceeafd4cf8d246c46ec8dc0ca43fa2d7104c39d
Equivalence
Fun
TypeMismatch
fdf168fddb464cffe8589ea0e6711127a5fc2470
Equivalence
Fun
TypeMismatch
a4f4d5c2a14f30d993cb5d9071b73c9e1f268236
Equivalence
FunInDef
AlreadyCombined
43390064cde72cf01a2fbc347a533df1a09fc286
Equivalence
FunInDef
AlreadyCombined
b3c045adeec24d29a02c0991c1faad9a6609808d
Equivalence
ExistsInDef
AlreadyCombined
65f3bffce5beab617b2544f5cabcc06af3c8c63f
Equivalence
ExistsInDef
AlreadyCombined
9839ba71ee759d8fab571c22fdc8a0236e1b8b46
Equivalence
ForallInDef
AlreadyCombined
3dc3113c262ca3f4592cda2f440c269db87f3f9a
Equivalence
ForallInDef
AlreadyCombined
8393966d72b975ca65f9ebe84574e10840db62dc
Equivalence
ChooseInDef
AlreadyCombined
e6f58a1ff1b4193968510d5121829c1ed34b712d
Equivalence
ChooseInDef
AlreadyCombined
449edea634138f3e286bfe0d08cedd70033b91cf
Equivalence
Record
TypeMismatch
9267a150eea621d05b7251afb3be967d9bc9c1b6
Equivalence
Record
TypeMismatch
f03c9bd3a7ae8876d935475df1ed163289b4cfac
Equivalence
Tuple
TypeMismatch
bca7b9c47e968228e42b51e2f4be066c522a9b35
Equivalence
Tuple
TypeMismatch
c6ddba8190aeb4e5965c11601af5a9c89cfc7ead
Equivalence
TupleEmpty
TypeMismatch
a316e3190f9db443e05703aab39e0a8b8083f59e
Equivalence
TupleEmpty
TypeMismatch
bd469f75b6e39c6e7c553ce12fd48284f55ddaa6
Equivalence
Except0
CanNotBePlug
7af8089ec03a7a49f0ac40b994394dac155c3500
Equivalence
Except0
CanNotBePlug
8755520829ff2ed204b7e4876bd6075cba31c458
Equivalence
Except1Fun
CanNotBePlug
f09b2d2b58d5896684aca9ed3eae88c8bc0cb4f2
Equivalence
Except1Fun
CanNotBePlug
b6a406bd60ee27f4f18566a5dc570dcf610c7dbe
Equivalence
Except1FunWithAt
CanNotBePlug
963da84a5d5faff9a50226f61a1ead385ad06f0a
Equivalence
Except1FunWithAt
CanNotBePlug
6915d8935497f01f55600f8b08e5c27d8d483448
Equivalence
Except1Rec
CanNotBePlug
1555fd0cee6468c0af6e6acf9fecb2981bb3f6e8
Equivalence
Except1Rec
CanNotBePlug
55c26fb6e7a888a05e76f7a62008be4c67b297bc
Equivalence
Except1RecWithAt
CanNotBePlug
b15e77334e29327eddad848eb4f813dc4d642916
Equivalence
Except1RecWithAt
CanNotBePlug
5dc0292a6573f942e921fff017d350e5a961424b
Equivalence
Except2Fun
CanNotBePlug
95fda5016b7a26b25457d0d0a0e956d045cb6859
Equivalence
Except2Fun
CanNotBePlug
b77389fdfa23083b05392ece12fe78cdf73dc632
Equivalence
Except2FunTuple
CanNotBePlug
b29acc747277842aff354bb1d37eb9b9d1f6ec2e
Equivalence
Except2FunTuple
CanNotBePlug
0c74cdb0526d29a23cf77e83d5f06b49c1cfce2d
Equivalence
NumZero
TypeMismatch
95ced2fd4a1a1f4bdfde3dd8f2fb2f734cf3f622
Equivalence
NumZero
TypeMismatch
d1cf91999afa88c07e67ec5a0035c54373c2b650
Equivalence
NumOne
TypeMismatch
0ac68e788f4dcc6c3b207b314a97cb8676c7759a
Equivalence
NumOne
TypeMismatch
bfcfb2927927055e414b87ca24b141c40e358de4
Equivalence
NumMaxInt
TypeMismatch
6637b9ac564a4da799733b5ab531621db53a73ec
Equivalence
NumMaxInt
TypeMismatch
2abd99965cde8944d8c654624a07098ea9d7c9fe
Equivalence
NumUnaryMinus
TypeMismatch
47c88f12b258e47a14405f7615995b3df29cb713
Equivalence
NumUnaryMinus
TypeMismatch
cbfcf3d16442693fec713c5ebd0f159c0db6faa1
Equivalence
NumPlus
TypeMismatch
ada06b94cc3dcc5784481aeb1dc1147af33e3f7c
Equivalence
NumPlus
TypeMismatch
d7bd934bc70d153f1d19b29fc6a18642e86acf7b
Equivalence
NumMinus
TypeMismatch
db99892b28a2ca391df744a077fa3760d74b0c65
Equivalence
NumMinus
TypeMismatch
4a2d9fb2aacfe9aac62c821a7dec432c3a407108
Equivalence
NumMul
TypeMismatch
3d46914dde0118028d8c68a51811e21d820efc0b
Equivalence
NumMul
TypeMismatch
2510e89e033368a27adcda800cb869860b672fd9
Equivalence
NumDiv
TypeMismatch
c1af471c001717f88ebf7d783fa80188a32ecd74
Equivalence
NumDiv
TypeMismatch
98b50ad7849a6c9071d7b166b3c4ec357730d5f4
Equivalence
NumMod
TypeMismatch
3a94883fd64e5faf1093483f342187c00bd67b09
Equivalence
NumMod
TypeMismatch
736d112ed3bce6127fca66b5ca8e174ae668ba63
Equivalence
NumPow
TypeMismatch
1bfe45aa82d198b9cac0153dd3d5d0399b1f7a17
Equivalence
NumPow
TypeMismatch
9ad2b21a2c19fd54307bfc3b257fb446e5f6321c
Equivalence
DefFun
TypeMismatch
2c8639f8f29f8ef38f7b07f80668c919c17de6c4
Equivalence
DefFun
TypeMismatch
01b4ce576f6a63d5fe4ebfcc354e073ee8ddb5fc
Equivalence
LetDefFun
TypeMismatch
5653b0c5140136e471685103227d711a3f7542d4
Equivalence
LetDefFun
TypeMismatch
b029a5bd6df81caf17087d14fa92cbf8913d73cb
Equivalence
DefFunRecursive
TypeMismatch
68b7b1c6d99fa5f7e58478b2aa53d3b51de66abc
Equivalence
DefFunRecursive
TypeMismatch
b648eb06c8347a8ca03c74624d787aa24435d487
Equivalence
LetDefFunRecursive
TypeMismatch
b9d8d08639ada6122750cde5053029ffefd2716e
Equivalence
LetDefFunRecursive
TypeMismatch
42e23e6da428d5500f8c8e113f3cb3973c40b5c8
Equivalence
DefFunInDef
AlreadyCombined
411275c1c54c82c0c2e4b202a20873f51277ac82
Equivalence
DefFunInDef
AlreadyCombined
2a6e92b2f2d8992c2f077c84506bb4934eee95a0
Equivalence
LetDefFunInDef
AlreadyCombined
3c95f9715161bf733d25f02b5cba327c7e3d3e72
Equivalence
LetDefFunInDef
AlreadyCombined
19c485b1af0753d4a91011ddb6fadd7c0026d531
Equivalence
VariableViewExclude
VariableExcludedFromView
df28a8de81f64602c8c8b022049cd03bad31e45d
Equivalence
VariableViewExclude
VariableExcludedFromView
67d4b447d5d6ebcd31dfedecaefd0e6b30570cc8
Equivalence
ConstantModelValue
ModelValueCanNotBeUsed
39869c4737b4366fd7101a6785ad22f8a6ec8c0c
Equivalence
ConstantModelValue
ModelValueCanNotBeUsed
ee22a5e434bd961700f4756662b6a973ef167c93
Equivalence
Assume
AssumeIsNotEmbeddable
cc75d71eb5b19c7b749e7423caacc4e8d3c91683
Equivalence
Assume
AssumeIsNotEmbeddable
61dd5bb78dbe269ace7ec87784bf92cdd509372a
Equivalence
AssumeNamed
AssumeIsNotEmbeddable
fa3b89a6d7685672f8bf582ad2796890de25619c
Equivalence
AssumeNamed
AssumeIsNotEmbeddable
58e7af8ee613968f5da709ca62e900b5af949b3a
Equivalence
Lambda
TypeMismatch
8149e61dccd327df300dc9ba993694f6087df061
Equivalence
Lambda
TypeMismatch
7d56f8516e353e7e0185477c6ec20c8e8951c076
Equivalence
Cross2
TypeMismatch
be976119a6ba5924d7dcbb38092eaf4b4fa61b12
Equivalence
Cross2
TypeMismatch
31c5a179f4f1304278cfaed0abd979eb476420b0
Equivalence
Cross3
TypeMismatch
add7ff34f84fda8b85199ebda477c78ad3e41ecd
Equivalence
Cross3
TypeMismatch
fd809a688263ad761387b66734d339541a94ece0
Equivalence
FunSet
TypeMismatch
94d53dac2e4754ff22f4fcea2fcc37474d32968f
Equivalence
FunSet
TypeMismatch
bfbbfbf01fa23633fc28f59d93b008f410fc6006
Equivalence
RecordSet
TypeMismatch
f3bba117dbff3144322c98349b36b67e9e3f70ae
Equivalence
RecordSet
TypeMismatch
67c66671e65307f53d5b930786549b0be945d297
Equivalence
SetDiff
TypeMismatch
6c3337219eb18ca700398bd61dc873cae0279344
Equivalence
SetDiff
TypeMismatch
c622c2da915f51ca78f2d6d77c2de608b01b6f10
Equivalence
SetUnion
TypeMismatch
66b28bb9ca3c3058bf2cefb88c38db822adcc1b4
Equivalence
SetUnion
TypeMismatch
8f059ac12e6c42bcd30f334996de69d152cb4742
Equivalence
SetIntersect
TypeMismatch
02d6882d0d6b53ed0e1a3292804fd3ee355155e8
Equivalence
SetIntersect
TypeMismatch
661137fff0e94e34b49375a95dd69c92001afd2e
Equivalence
Subset
TypeMismatch
a1fde86e7499b467f5129e466b2454dcbfd56873
Equivalence
Subset
TypeMismatch
8654bb1cee2b335ee0d4c3d3a6daac99b4b25322
Equivalence
Domain
TypeMismatch
c134273911759b5752e0af77a6d5b668a3ff9edd
Equivalence
Domain
TypeMismatch
32ec4daa7148fd7a35fe4d9a22b47815ec842dfc
Equivalence
Union
TypeMismatch
bc8cd4e06372f78fdd5d912adc0f7e755050f157
Equivalence
Union
TypeMismatch
d57d7ee59f29e618b8e8e0ee4015ceca03574edf
Equivalence
StringEmpty
TypeMismatch
9e929a37efe3621247541755df2399900a9e3804
Equivalence
StringEmpty
TypeMismatch
a0e5e74171d79a35d8de57b6ee151f5f7cc5c411
Equivalence
String
TypeMismatch
93b4481da166c7e19e0397a886970cad4b5765c5
Equivalence
String
TypeMismatch
f2930249e7997b96ef3bc0862132ff836356d95d
Equivalence
SeqLen
TypeMismatch
cd5f91bb3bd3a36d8749e3b1a9d0b6dbfcbcb443
Equivalence
SeqLen
TypeMismatch
07dd2d03fdf423fdeb01f98e520d1c7411b2444b
Equivalence
SeqConcat
TypeMismatch
bbdfe5d9614bcebac73c7870109d7d001968fcd1
Equivalence
SeqConcat
TypeMismatch
c5e15eb1ee1117d8f71985406e9db95d0d2a44c3
Equivalence
SeqSeq
TypeMismatch
c0e50dad684b0f8c2b1001af136db56aa9782222
Equivalence
SeqSeq
TypeMismatch
410aa52ddcde28a90eeacc328adb9a1822251d1d
Equivalence
NatSet
TypeMismatch
366f604cfb5d74152c94fa40af06ffdca1a2798a
Equivalence
NatSet
TypeMismatch
14631b27f520ff49a2c02c7c3e0ea14ad407f5a4
Equivalence
IntSet
TypeMismatch
dcf40d60cb43ca251de72104b3febefde828a443
Equivalence
IntSet
TypeMismatch
e1b72074ce3aaabb2eeda9f47a8de53b48642a4a
Equivalence
StringSet
TypeMismatch
b84d72845358667ca47746aa9e6ed86940957146
Equivalence
StringSet
TypeMismatch
3880a70079cbafeb082a5684e090b21704437054
Equivalence
SeqSelectSeq
TypeMismatch
22f14974c5c8969dac1855f7fca33d91c339b87c
Equivalence
SeqSelectSeq
TypeMismatch
a1b19268b5faf160d2088f51cfb2b13fbd87b070
Equivalence
SeqSubSeq
TypeMismatch
39c75871823a44492f6fddcf60d77e553f4cca99
Equivalence
SeqSubSeq
TypeMismatch
c83bac8cdcd6a318f675348fbc271e7e6b02cd0d
Equivalence
NumRange
TypeMismatch
818567eeee1b0688d18be393b673b8bc674cda91
Equivalence
NumRange
TypeMismatch
c32dee0c8fb66e94b2f45fa0a6732d12b7a8edf3
Equivalence
TlcSingletonFun
TypeMismatch
0ef1863c9d7cebbeda996810e7b6282fd1526de2
Equivalence
TlcSingletonFun
TypeMismatch
1021697853809b8c39f2ae5617c37f2207e66037
Equivalence
TlcExtendFun
TypeMismatch
2c11c20bedf61b183db2c0fcacc992ad0f621ff8
Equivalence
TlcExtendFun
TypeMismatch
ebc98cfafc018aef5eb9063512406ec202202234
Equivalence
TlcPermuteFun
TypeMismatch
58c1d51236c44c7de43a6005875464f408187819
Equivalence
TlcPermuteFun
TypeMismatch
e6c8e168af97fbe196a79fbc7847b287d430603e
Equivalence
TlcSortSeq
TypeMismatch
85fd316eb87ff3f751817539700b540e664d69f0
Equivalence
TlcSortSeq
TypeMismatch
fbf90bb329a9ca04ec3e72c52ec7f050970adb65
Equivalence
BagBagToSet
TypeMismatch
8814c745b77a584e120c08b6510d0b7bb9fb5d95
Equivalence
BagBagToSet
TypeMismatch
d169b1f64e475a76e5e4fd791f385bbc17a15362
Equivalence
BagSetToBag
TypeMismatch
4e987894afeb826e030195c38f8c203fb3a80030
Equivalence
BagSetToBag
TypeMismatch
e8072079f76b33f22079c01dd62d17f2ea6fe0b5
Equivalence
BagEmptyBag
TypeMismatch
2bc4cfc69c6e488e785b924040fa866653e399f9
Equivalence
BagEmptyBag
TypeMismatch
f54d29e8c5c1d5169466520492a57cc3e59b7954
Equivalence
BagAddBag
TypeMismatch
91e466295ea6ca50905fee0df704a290ba991a93
Equivalence
BagAddBag
TypeMismatch
72196f3111775bf2f734485ae27ee24fd798ecb3
Equivalence
BagBagSub
TypeMismatch
4535534ca1b61ea285be8685e13fb21504a0c8fc
Equivalence
BagBagSub
TypeMismatch
4fe28b4c69edeb9b7f9315eb959adfb79ab3f272
Equivalence
BagCopiesIn
TypeMismatch
da0e21e37a3198a7e8d955b93b3252d4564dcced
Equivalence
BagCopiesIn
TypeMismatch
48b051268964fc8a1efb1fa942d3d4d95ef120e2
Equivalence
BagBagUnion
TypeMismatch
31e6f2816f0eaf75a70e8a227b3932a8b7c49e52
Equivalence
BagBagUnion
TypeMismatch
e5068f443259f5b01baa17879b0d22397f3b7372
Equivalence
BagBagCardinality
TypeMismatch
c546ecb387c5c87a03d6fbf41bbefbd3a00aa3e1
Equivalence
BagBagCardinality
TypeMismatch
189d1199674deb292bfa6da2ef6e173f9247a73d
Equivalence
BagBagOfAll
TypeMismatch
3f12153577d9dd5d2034de6bc3b1c529a5ea33bc
Equivalence
BagBagOfAll
TypeMismatch
db79fd748debf041db934efb6de33035def30ee3
Equivalence
BagSubBag
TypeMismatch
e7e0d92d68f2b1b62d3c410aea48f621a916ee70
Equivalence
BagSubBag
TypeMismatch
08c620a1b58f06ddd13396e89d21cc27609d90e2
Equivalence
FiniteSetsCardinality
TypeMismatch
43a51fb43075075da86e49a898da763086a069c5
Equivalence
FiniteSetsCardinality
TypeMismatch
e84591d41450fef2e474274bb74e5bd0dc884fc1
Equivalence
SeqTail
TypeMismatch
5c4428a6055f3b5fa2ea97ec31add9ee3af55c94
Equivalence
SeqTail
TypeMismatch
0c4a2109377d09156c64097ed50a7cb2f4ccc0df
Equivalence
SeqAppend
TypeMismatch
72a453cd60a0b91f6056e1f919e035fb7dc3ef4d
Equivalence
SeqAppend
TypeMismatch