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 plug feature
NumDiv
Id
Case Feature
Plug Feature
Skip Reason
94f787d9ddcd23da8290833ff772051cea781b03
OneLineComment
NumDiv
CanNotBeCase
f95653c2698f6559db383bcceda03bec5eb02ee0
OneLineComment
NumDiv
CanNotBeCase
458d04e860b72e53270fdfef1e15463fa2cf2ace
MultiLineComment
NumDiv
CanNotBeCase
f77a6275cda5bf8a64d67dac05e4a66974cbb67a
MultiLineComment
NumDiv
CanNotBeCase
d26060ff78cd0cad1fd3e04fb69825005fa28968
BoolTrue
NumDiv
TypeMismatch
48f766f2f84aada3f271684ff833ad09d8c1fa5b
BoolTrue
NumDiv
TypeMismatch
214fde7338f22b639d499495be3ee27aa0f0f3b4
BoolFalse
NumDiv
TypeMismatch
494ab41ec91a9b50375fd7c832b48809d94fbdcc
BoolFalse
NumDiv
TypeMismatch
f4e40d43825ce369da433f814fdc75e9500ff3ed
BoolSet
NumDiv
CanNotBeCase
6a50b461da03ab844283560359b3309aec3ce53c
BoolSet
NumDiv
CanNotBeCase
57c3fe2d30adacbf66bc23c36864f253ff356c7b
And
NumDiv
TypeMismatch
9cac9548cedab41f3078b91c984922d087d60559
And
NumDiv
TypeMismatch
0891f1d9e99b0898ac8914b289cf39c40109bb4a
AndMultiLine
NumDiv
TypeMismatch
116f695af679b4081ffc80e9fbcdf0a0554f1975
AndMultiLine
NumDiv
TypeMismatch
2046cd9a6eb51d08c1a43e0d38130b1623526095
Imply
NumDiv
TypeMismatch
295482a7ccbcae2ab71f9fab2562a339f55235d0
Imply
NumDiv
TypeMismatch
7a8d27342ff89d65974d2e9a93cd1e75452110eb
Not
NumDiv
TypeMismatch
83fe75ac80621d48c6fe933446692b603a9caeae
Not
NumDiv
TypeMismatch
b4aeb6356380fa2e47c4ef3e42ab819a3cb68de8
Or
NumDiv
TypeMismatch
3d4c60fff1cf8080da873ff75125195465110a4a
Or
NumDiv
TypeMismatch
2aa1f09ba33ecadcdac35e2e5fe51dee80cf3ff8
OrMultiLine
NumDiv
TypeMismatch
a98b589b11df24a5cee06f6558cb1a7bfaac1dcf
OrMultiLine
NumDiv
TypeMismatch
054cfd26376dd0a7e734c063e3e9fb34da89108b
AndProp
NumDiv
TypeMismatch
5e1c4486a89109e446875e7ed0d2b3f8657a1cb8
AndProp
NumDiv
TypeMismatch
bad1ad3ebcb32b941d038f62544c4b186c65bc31
Boxed
NumDiv
TypeMismatch
86394ba476f61f627ea4f7d241531c3dce008e9e
Boxed
NumDiv
TypeMismatch
9d81502d0671e8234e695ee7749d5b76b4bb7ebd
SetEmpty
NumDiv
CanNotBeCase
72396dde1258454de981d9783f6d938f6a914c59
SetEmpty
NumDiv
CanNotBeCase
c3488a08baf2f5a2eb4a05d563931d2b3e63b9ce
Set1InDef
NumDiv
TypeMismatch
2fc59ee8018dc551f80f096034a9b0e573dcf553
Set1InDef
NumDiv
TypeMismatch
3ff8392531efe81417ac7842635bd4257d79013d
Set2InDef
NumDiv
TypeMismatch
d033e19ae0a40e4aad8a48747c416283186d609e
Set2InDef
NumDiv
TypeMismatch
cc891f8449dd0303abb7d332d9c355aaed3ee477
InDef0
NumDiv
CanNotBeCase
cf15f61e583dc9be6d1e88f1b324bae814be3c10
InDef0
NumDiv
CanNotBeCase
047a74ae2045bb5a8f9376bd4620c55a9751b617
InDef1
NumDiv
CanNotBeCase
4357a778b861ceb09e0317537ae3667c289b9310
InDef1
NumDiv
CanNotBeCase
4117072e2a1379fc90ad5d209b7e9e633fb1f620
InDef2
NumDiv
CanNotBeCase
1bb96e81ef7a20a27f5afa669a7a4f1c518c7109
InDef2
NumDiv
CanNotBeCase
73a27286c51422e7c19099f859365df7b4bad35c
FunInDef
NumDiv
TypeMismatch
dbdc9c1d78fb0b723676745461e7ae7355ef10f4
FunInDef
NumDiv
TypeMismatch
3af697d4823d8c6b562df5f09a7fc5e8cb411db9
Exists
NumDiv
TypeMismatch
6b261a937789264eb602d07c6e574b55e015af7e
Exists
NumDiv
TypeMismatch
15d70fc4c8cf704b494239e914c80d43ace3227f
Forall
NumDiv
TypeMismatch
a2e36ca524a02795e31e9da077a43a9c915b94a1
Forall
NumDiv
TypeMismatch
19e512120098757a95943187a1cb080be5deaede
ExistsInDef
NumDiv
TypeMismatch
c66c62ebe83fc41b8792ba66edd62a96222bddff
ExistsInDef
NumDiv
TypeMismatch
ed576c04458a800794c68671038c6d4a458d1951
ForallInDef
NumDiv
TypeMismatch
b3a3b4a6bca86e6068eba9da246d56c044ae94a3
ForallInDef
NumDiv
TypeMismatch
48d8c9adbed49eacb43e57ff15a727f427b930b2
Choose
NumDiv
TypeMismatch
80853023139431883dad2eb6ad2291f5389a2c9c
Choose
NumDiv
TypeMismatch
0f8d9f84d8fc596c15a2547b927f5f6bc27db44e
ChooseInDef
NumDiv
TypeMismatch
05a3d4b0f22f63c6eb0326366b6c0feaa896acbb
ChooseInDef
NumDiv
TypeMismatch
a2b1b132f24e57ba8348e3527cd5b12ad2f61290
TupleEmpty
NumDiv
CanNotBeCase
f41f1fbfd5b7c3e72a2ff60440e3fc8f60a9ecec
TupleEmpty
NumDiv
CanNotBeCase
2666d96d8c9dbf7fa07d5e5ec9ead52953adbfaa
Except0
NumDiv
TypeMismatch
ff2d669b0d8b06410258a926aecce0ca35106e5c
Except0
NumDiv
TypeMismatch
e3ba3d48c170eda5ba9cb09ee32963b82a27f557
Except2FunTuple
NumDiv
TypeMismatch
af3912b6d0c28d1f2e489272a8318939ee5fbf00
Except2FunTuple
NumDiv
TypeMismatch
80fc33fe25ba637ec65a07733e6274d64331c0d1
NumZero
NumDiv
CanNotBeCase
fad05622d99303be162638d7d014d9f08d3754fe
NumZero
NumDiv
CanNotBeCase
0670ee7b18caa4ccc742b72f91a73628a7ea6f42
NumOne
NumDiv
CanNotBeCase
a45457dcd0d9c7ef86359c3c4439f01702580360
NumOne
NumDiv
CanNotBeCase
ec6e08b9caa24cbc3a4f7f1bfd5531290e68a3ad
NumMaxInt
NumDiv
CanNotBeCase
96c0a3d42d9aaaf6a3f84438ae36fbc81029b4d3
NumMaxInt
NumDiv
CanNotBeCase
5932c145a75370e2cbb1d50c7f2a8a8a842c315f
DefFunInDef
NumDiv
TypeMismatch
9f03dc4362da5c6e09ebbf6ab811cd03982bb4f8
DefFunInDef
NumDiv
TypeMismatch
76d0a46e46f25465921eeb690a3cec3346a580aa
LetDefFunInDef
NumDiv
TypeMismatch
63785b28adea48486b99b675cde3bae12f887797
LetDefFunInDef
NumDiv
TypeMismatch
8e617a4e48a11d926470891f01fa1ac08c0c0e42
ConstantModelValue
NumDiv
CanNotBeCase
d2088e704c7bf95c969396b37f30a3203bd8e7e6
ConstantModelValue
NumDiv
CanNotBeCase
6f48f58974063d803d4e8f6ad8af6ff1d7bfd572
Enabled
NumDiv
TypeMismatch
47acbb4f96d609356a8f79f6371b2fe152eed2a1
Enabled
NumDiv
TypeMismatch
88267a0e3e00a577d2166732b1770db2c91cb115
Assume
NumDiv
TypeMismatch
3a515b1b538c2b04191547e099db502f41315abe
Assume
NumDiv
TypeMismatch
821fb0f83f1f62e28354187dd8e6784c75906b1a
AssumeNamed
NumDiv
TypeMismatch
52a5a6cc8846e8db81130b7bf5208ac9970f9261
AssumeNamed
NumDiv
TypeMismatch
baa786701ece1061312d9f13f268dca746efe031
Cross2
NumDiv
TypeMismatch
d3d6236db9e804a994e63f1960644b2e4abc5055
Cross2
NumDiv
TypeMismatch
6e95b748bd9201e8f8d239bc3133350eb0fc6bdc
Cross3
NumDiv
TypeMismatch
9420c39cf2c09ac658d0bbafda3ecfc368247f15
Cross3
NumDiv
TypeMismatch
529250e494a361cdb2ef78e847f2066973f3689a
FunSet
NumDiv
TypeMismatch
be6d57c65d67801c7b56d2f930ccef744e44aba9
FunSet
NumDiv
TypeMismatch
cd482bc9275823aae27028e2feff4611223e2894
RecordSet
NumDiv
TypeMismatch
7505539e1f1dcdd502098dc63b91d2188a7ede8c
RecordSet
NumDiv
TypeMismatch
cae83f422244de6c8b6d608100a5699b25b376b9
SetDiff
NumDiv
TypeMismatch
539ba2498c4b937ffaa2e71c8bca69b95d1ff482
SetDiff
NumDiv
TypeMismatch
9400943f215ea663b0cec94b2a80c330707061d9
SetUnion
NumDiv
TypeMismatch
a830f8f8e43f0083fbbe12999123990d13b42b5d
SetUnion
NumDiv
TypeMismatch
6468af05369670da65af29e4704284ca1e22ba94
SetIntersect
NumDiv
TypeMismatch
8f98f95d3a4eb753f1212ee86108bdea12e59f7e
SetIntersect
NumDiv
TypeMismatch
8a7244301db6ec682efe5ade5e077d2bc3a2805d
SubsetEq
NumDiv
TypeMismatch
f3a560a336794e89132a0f252eb353e2422b7299
SubsetEq
NumDiv
TypeMismatch
9b48d41614079f1ceb41918e820768af009d02f0
IfCond
NumDiv
TypeMismatch
fe1e81f17fe6e9a90754edf0fb7bff181f96e5b2
IfCond
NumDiv
TypeMismatch
62a6bd2a91acc8fd2ed9fd2e7add43b1688f3805
Subset
NumDiv
TypeMismatch
1cc314c9c85ebe64ff74bce6fe717d6a315abfdf
Subset
NumDiv
TypeMismatch
fbc01fa029b323eebd36d0d681a9a9f0e9bc5162
Domain
NumDiv
TypeMismatch
ff9e63b1c6d5c8861ab3b53528b6fb1aff019dcc
Domain
NumDiv
TypeMismatch
b2232f0efe2aa6ac42404e838a2b7d77ca0519cd
Union
NumDiv
TypeMismatch
08597ac9b67bf37222660f6ff95a08747413582c
Union
NumDiv
TypeMismatch
2510e89e033368a27adcda800cb869860b672fd9
Equivalence
NumDiv
TypeMismatch
c1af471c001717f88ebf7d783fa80188a32ecd74
Equivalence
NumDiv
TypeMismatch
d83e235bcedcc6a56e905f1b654f42854f1768dc
StringEmpty
NumDiv
TypeMismatch
1190c79e32cb3fd0df0176be266b98568bd07497
StringEmpty
NumDiv
TypeMismatch
fcd03be3207c8c4564eb5c897ba0b28dc0c80759
String
NumDiv
TypeMismatch
728e9bc2bc425509482fdc6621280beedf906cbe
String
NumDiv
TypeMismatch
75f86a6d281ad113bfbbcee967905afb79fe7d96
SeqLen
NumDiv
TypeMismatch
c5e848662cd234017a1cfb390254d5f91de5e630
SeqLen
NumDiv
TypeMismatch
b4301b0bb5c3cde513d9ea82795fa56fd7e9caac
SeqConcat
NumDiv
TypeMismatch
deeb5278110dcea7663a4da1d7f95c32c7bd24bf
SeqConcat
NumDiv
TypeMismatch
37a796dac04afba01811d44e0c522d045d322640
SeqSeq
NumDiv
TypeMismatch
c24bb333099c3550ff3ea77212a690c6517f5763
SeqSeq
NumDiv
TypeMismatch
f2c0f52a642e23ce1020fcdb65b4703a4830d364
NatSet
NumDiv
CanNotBeCase
e38b4399afde16a44d51247c33aa44b55e29f3c3
NatSet
NumDiv
CanNotBeCase
1220cdfc78d2374a9a2ecc92c3f96f5e2ca9def4
IntSet
NumDiv
CanNotBeCase
43cd5d356e29e62bd74d32b7ebaf1da69ed5e186
IntSet
NumDiv
CanNotBeCase
3d7ca6cbd4739519bacd56d6d83ec9160b136c03
StringSet
NumDiv
CanNotBeCase
607cd6c7506f7dda6975981ca799e3eab7753f22
StringSet
NumDiv
CanNotBeCase
9accc16e1cb17d9943eb7aa838aa001eff9e1680
SeqSelectSeq
NumDiv
TypeMismatch
26ec7aac37fb38fb81ad4235d1572f147e3fbcc2
SeqSelectSeq
NumDiv
TypeMismatch
d7b4d27beab9cbfecd49c6538f810f5f3c76f68a
TlcExtendFun
NumDiv
TypeMismatch
848e7f517a85f48a0d347f3709a03eaaf7eb9a32
TlcExtendFun
NumDiv
TypeMismatch
7f4c21df2dd4657df8266ab75ecd3774c53f421f
TlcPermuteFun
NumDiv
TypeMismatch
d69d5281bb41149fa9d29f47e241398bc36372e5
TlcPermuteFun
NumDiv
TypeMismatch
717ae7bb799cc01b55cc083fc48cda58c1a59e57
TlcSortSeq
NumDiv
TypeMismatch
f6afcbaeb351e4f2f86738645dd19f6497f1bc9a
TlcSortSeq
NumDiv
TypeMismatch
0a3a768650d1d73f4291ca4709e2a715f0c7b0f8
BagBagToSet
NumDiv
TypeMismatch
acb1271b552696e0d7846e8f590fe24f9ee61978
BagBagToSet
NumDiv
TypeMismatch
efba2d37fc9a1f2f4a733b1d8a9638d9ae9d6600
BagSetToBag
NumDiv
TypeMismatch
ec2722c35c41dbdc006fa76d01edbd5d063cd2d3
BagSetToBag
NumDiv
TypeMismatch
d65dabd3f12b038ff7f75dcab6f961cd10d7ee48
BagEmptyBag
NumDiv
CanNotBeCase
d84999f45188fc3f012f6c2efd9983302c7631f9
BagEmptyBag
NumDiv
CanNotBeCase
0b627f6b12fd3309a083cfbfd7339b3331cd3e18
BagAddBag
NumDiv
TypeMismatch
0aaa873a5c1b1a00a0825a910999c265c0e8ff36
BagAddBag
NumDiv
TypeMismatch
c7ccd92d167fdb2b5dd3efd76ac5208c596d7d22
BagBagSub
NumDiv
TypeMismatch
e32c5912a3972bb2f029ba5e7b780e00735523de
BagBagSub
NumDiv
TypeMismatch
27ee86c27c70e52e026d6ca2e1517ece1c5772cc
BagSubsetEqBag
NumDiv
TypeMismatch
c868c6ffc3833d58c47ec568455c6b39e91c98cf
BagSubsetEqBag
NumDiv
TypeMismatch
f40d1afbe896e45b851f0b3b6628ffa8777bdfde
BagBagUnion
NumDiv
TypeMismatch
cddc9fe71c85c45627c8e770037b464d7cefe42e
BagBagUnion
NumDiv
TypeMismatch
1432362a1650f7db8f816537662b25ca25a4f1a4
BagBagCardinality
NumDiv
TypeMismatch
ee27f73b662371a78005b8c0cd9c35062607c337
BagBagCardinality
NumDiv
TypeMismatch
5fc238d76a1fdeb8608c59ded60f3e035d70c137
BagBagOfAll
NumDiv
TypeMismatch
16f055cc8f0bd1b6247bd61f0c04528b2208f74a
BagBagOfAll
NumDiv
TypeMismatch
f01f0b1e3fbb214c69313aa532a84d82784d9e3c
BagSubBag
NumDiv
TypeMismatch
4a8638d8c476fbe549b3e79662ef6c929cb260d7
BagSubBag
NumDiv
TypeMismatch
893af8219de55c0df18aa63fd822e626f1386718
FiniteSetsIsFiniteSet
NumDiv
TypeMismatch
235de3e1e6720baf2ae144ec2c3454a460645424
FiniteSetsIsFiniteSet
NumDiv
TypeMismatch
ca08344fe16bebb2adf175fbeaff15e52a4cc3da
FiniteSetsCardinality
NumDiv
TypeMismatch
71c4353688709c4e413f2f355d9ae90365ea1ac6
FiniteSetsCardinality
NumDiv
TypeMismatch
f1c03f841a1b6d3b2f0fece31124cfb24e55858e
SeqHead
NumDiv
TypeMismatch
8e8e610dfb6c2e8e5ff7ec6e0fdd5148ec37eec4
SeqHead
NumDiv
TypeMismatch
784a82fe40ec62232f823e1f755be0ff10bdd69a
SeqTail
NumDiv
TypeMismatch
6a51b4fc4e00e9d0adf769ea58cce8eb19c82a20
SeqTail
NumDiv
TypeMismatch