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
BoolSet
Id
Case Feature
Plug Feature
Skip Reason
71e0d7afa25ef98985653d31ac96aec0d2a6fb2c
OneLineComment
BoolSet
CanNotBeCase
aed0b7b1bf87ba8f31c88ac4a95396d727d83ea6
OneLineComment
BoolSet
CanNotBeCase
fa007fdabd67dc81a23c18483dcc9b3fa69cc816
MultiLineComment
BoolSet
CanNotBeCase
aa39e2654d87717dae8227813a67729ae3b97517
MultiLineComment
BoolSet
CanNotBeCase
d048cd8dfdf5b38dd184a78b8bde78fbdb7cc24c
BoolTrue
BoolSet
TypeMismatch
a086597ff838065cac733e52e66dc7b6f730452e
BoolTrue
BoolSet
TypeMismatch
965cf5d94e6a00f4d139d3d69e44580168a81965
BoolFalse
BoolSet
TypeMismatch
30186a1f8c071382aabf5989cfc0830998145f58
BoolFalse
BoolSet
TypeMismatch
3eb9e0ec824fba950e0bbeecd66e9393bd3963d0
BoolSet
BoolSet
CanNotBeCase
07e00c94615b3a602c69a2cdf5362938ebc4e2d7
BoolSet
BoolSet
CanNotBeCase
593e7c3a941aeb8175fe5bd69ffb9639f2f7c845
And
BoolSet
TypeMismatch
e204180a2178bbba150caf58d07a00d92e3dcbfd
And
BoolSet
TypeMismatch
a841dabd33259095a526161249aa74724bf11a0c
AndMultiLine
BoolSet
TypeMismatch
e3ae730bec98655a1e5345168c3b22c651c7bd07
AndMultiLine
BoolSet
TypeMismatch
e998ddc89327c8962e7612b6e899a4333d5d45c3
Imply
BoolSet
TypeMismatch
9e6cc5f4746d2a11a7df4c8805f9da2abf77e260
Imply
BoolSet
TypeMismatch
7c8b59c992161541566d1a86e425317780ea1b61
Not
BoolSet
TypeMismatch
a44fc5e282ac806f97ef5a1d999fdbd794b5c1ea
Not
BoolSet
TypeMismatch
349fa1ca10c272e2424a85ab5f7e6448898495ae
Or
BoolSet
TypeMismatch
5160cfbe4aef80f5fb919a95e816a1983cecab97
Or
BoolSet
TypeMismatch
5b4b2fbbbbd13e56f5323c392db70f201dd45716
OrMultiLine
BoolSet
TypeMismatch
09c4bf2c022788c5d4f996725b997e40f7be4cac
OrMultiLine
BoolSet
TypeMismatch
a4df81b32b2b2c398112ff74f6f6c0eb90c42d73
AndProp
BoolSet
TypeMismatch
aeca9f69d41d380db14b36c09476167fcac20e17
AndProp
BoolSet
TypeMismatch
ae91df1422df126c181aa6a6612fc6efa577267e
Boxed
BoolSet
TypeMismatch
5dc6c519a295d659342640ef521bfcf24051a1af
Boxed
BoolSet
TypeMismatch
546ec9affc8f410eb8ad807a24072091b1bccd07
SetEmpty
BoolSet
CanNotBeCase
1daa9aba5b21b1cf400ab6e23afa0b6b84a9170e
SetEmpty
BoolSet
CanNotBeCase
d6eff20fb5a2fa09b0d8b8db6a8a58e87a652a42
Set1InDef
BoolSet
TypeMismatch
e931320a41c8be226928b4d5d2d2ed30645b6f91
Set1InDef
BoolSet
TypeMismatch
8a120d5b42a2d9ea19d3db503e41de7a7f2bb491
Set2InDef
BoolSet
TypeMismatch
871adffcb3b4a72ef8b468f3d16673075be0a15b
Set2InDef
BoolSet
TypeMismatch
7d932c29bd0bcc696cb5d29724b892159fe9f01a
InDef0
BoolSet
CanNotBeCase
9729be83c6dc0fcc2e67289cbd43ece57d20e997
InDef0
BoolSet
CanNotBeCase
3150d9a0b6a8fa52f73115dcb2928cb28e75b01d
InDef1
BoolSet
CanNotBeCase
a075de82f67bf9d673b8552651f4ca42edea23f7
InDef1
BoolSet
CanNotBeCase
b0b11a2ad6f6552ff3839e88892d9bccc5e76460
InDef2
BoolSet
CanNotBeCase
5064248a3915ec18b53a2a5d99b127f35dd92e4b
InDef2
BoolSet
CanNotBeCase
d42a1df862cb592fe061d82e07f062547fc549d9
FunInDef
BoolSet
TypeMismatch
5160af9c9fd94851e05c1ae8fc0463a3252d84a5
FunInDef
BoolSet
TypeMismatch
f191497550617bed51454902018e4b4a6a4e64f3
Exists
BoolSet
TypeMismatch
a503376f27b3e153f44240f1ae5bfd2ab6348b07
Exists
BoolSet
TypeMismatch
60517b4975d484d598e4c23f0f898b64801795d0
Forall
BoolSet
TypeMismatch
26e9f83403129e0efd19439de515fa6c182a0092
Forall
BoolSet
TypeMismatch
494f226d4494e0d956f09735df464570fb5f0d24
ExistsInDef
BoolSet
TypeMismatch
ae7d797b98a1a696b909355d90fef9ede5147d4f
ExistsInDef
BoolSet
TypeMismatch
5702a569b70e690b4db9ee3da236fcc988accf9a
ForallInDef
BoolSet
TypeMismatch
e2c1f0add0ec7ec3ca452a65f2ab907d8bd42576
ForallInDef
BoolSet
TypeMismatch
07dbc140c525d0208fccf9003fafc47a5dd2f3a3
Choose
BoolSet
TypeMismatch
f5867c4b2b4516805cc463c64dcf5be0c88578e4
Choose
BoolSet
TypeMismatch
9f547685c37efe0084aac6d42cdd525cea5fcbe6
ChooseInDef
BoolSet
TypeMismatch
69d854fe31d4ff4ef4c1e4c0d2e9b2ef75ed96ed
ChooseInDef
BoolSet
TypeMismatch
c096caa97dca1d5400eb8d8a430b17c02f87f2dd
TupleEmpty
BoolSet
CanNotBeCase
467b6c7a7a45d8e49d1b4cc71f139bd71887fb69
TupleEmpty
BoolSet
CanNotBeCase
e5dd02326e47f4131a041b0fffbf6e9c346e26c3
Except0
BoolSet
TypeMismatch
b5df894db01898d4a8e8a6ab9bec2face69f9da9
Except0
BoolSet
TypeMismatch
4bbe154b150af65de51ddc415384c2fe6c79a16a
Except2FunTuple
BoolSet
TypeMismatch
753424df44ca75553c282f1d259752692f5649c2
Except2FunTuple
BoolSet
TypeMismatch
90632717a8ec9a09902446000601dcbfaff062bf
NumZero
BoolSet
TypeMismatch
cb4b9c5bbda9a88b1971486178f663c10a709cc1
NumZero
BoolSet
TypeMismatch
a5f7fd2bdd82480bb1962c3bc0a65d337c356937
NumOne
BoolSet
TypeMismatch
902e3d74c5603018f8b236e4e7491e1e4a6a3135
NumOne
BoolSet
TypeMismatch
c5f890430609186f265679dd458bb1e1d632f66a
NumMaxInt
BoolSet
TypeMismatch
5eb8ad9e9b09b9904b219664268524bd4e0945eb
NumMaxInt
BoolSet
TypeMismatch
f63dba2c513698af2402a413c777101aa4ec68f4
NumUnaryMinus
BoolSet
TypeMismatch
0283e79fb04bd9a4607abf864a3cd37d4262b1ba
NumUnaryMinus
BoolSet
TypeMismatch
5c719e2fd60981a11ab4df8b34b0edc2c420375c
NumPlus
BoolSet
TypeMismatch
1a040825f1b5051fbbb263da213f16145b73073e
NumPlus
BoolSet
TypeMismatch
ba269f3b841034b738be7ef07af7101383f4673a
NumMinus
BoolSet
TypeMismatch
64c741b515eb33ea09505d9d80713f0a5ac19ac8
NumMinus
BoolSet
TypeMismatch
0f3e7e9641fe7bb419ac02e2433a6d2f5f0bf885
NumMul
BoolSet
TypeMismatch
d41c33e9aa89bc147c7148dafb65aad3dab6205d
NumMul
BoolSet
TypeMismatch
b39cf5b3d340ed4d0ff10f3464266803eb62f7bb
NumDiv
BoolSet
TypeMismatch
1396d0fb92d3c6a9bcf024b274feac347d4594e5
NumDiv
BoolSet
TypeMismatch
5226dce777d5e187f4eaed651411113ac55535dc
NumMod
BoolSet
TypeMismatch
2526dd576885900cddc3048101809eb9bbe21eb9
NumMod
BoolSet
TypeMismatch
4a80ab534bd047f8f2d6af31e3ea321a1f93f734
NumPow
BoolSet
TypeMismatch
120b4a71644548f65e24d51a880c086f2b28b9fc
NumPow
BoolSet
TypeMismatch
0e8cbd593d3f47c6995005c2f8a67dd8a4ee0533
NumGt
BoolSet
TypeMismatch
ae13a3ab94d8e92ab1de0bd9ad68fb7fa139b7cf
NumGt
BoolSet
TypeMismatch
c89c53d789976aec0ad8511aef1bc61026d39e6e
NumGe
BoolSet
TypeMismatch
427629a069bdff7d83746fcf590ccd9ae619c1f0
NumGe
BoolSet
TypeMismatch
0fe1865b7d32626d98518a2b952ec1671648a4b7
NumLt
BoolSet
TypeMismatch
ec531e06324bf55d09e0f5775930bca41fdad2a9
NumLt
BoolSet
TypeMismatch
2434f2bac8d25383b6cfd251ab152ffb9635dab0
NumLe
BoolSet
TypeMismatch
ef33a173cf4866dc69881e577f05fde587f734c0
NumLe
BoolSet
TypeMismatch
2d29233cabcf04b458301a83df4aa712d6c0ebe7
DefFunInDef
BoolSet
TypeMismatch
c869cff12c62505f048460432234e7b6ccfa2d01
DefFunInDef
BoolSet
TypeMismatch
7478c2eed32afd292d69bfaa255401f2473acd5b
LetDefFunInDef
BoolSet
TypeMismatch
0d94636099a70e60798243b8bb340f287cf2511a
LetDefFunInDef
BoolSet
TypeMismatch
83b1109527240de1e4d554a6af8d69a1c470944b
ConstantModelValue
BoolSet
CanNotBeCase
43cb548ccdaed891259f5841304a357fe5f61338
ConstantModelValue
BoolSet
CanNotBeCase
09fcc5674879f5f67e1267ccd6be86b4932fc818
Enabled
BoolSet
TypeMismatch
c20853624091685b68ec2221948ae6c762a3684b
Enabled
BoolSet
TypeMismatch
1e55c5c5292b0f97d9c0aa98f520c3abb040494e
Assume
BoolSet
TypeMismatch
7cd1949b65bdb2bdee177150398b988926c3e4e8
Assume
BoolSet
TypeMismatch
7cfc4f1807abb3076d0308b59d01608f605dfbe3
AssumeNamed
BoolSet
TypeMismatch
79eb581f02e0f9a4b176c941ea1306a916e037ce
AssumeNamed
BoolSet
TypeMismatch
c54fe2f19738ac10fc66b55f8035a1124a6b70b4
IfCond
BoolSet
TypeMismatch
246b8224a6a4a643cb281f492a64e54a4086d601
IfCond
BoolSet
TypeMismatch
a59a006090f48a9a695ea91f6ffb81ab615acf8d
Domain
BoolSet
TypeMismatch
2253fef8be9544a29f6af8a2580f7d5b76394227
Domain
BoolSet
TypeMismatch
d6b20640a282246c95665f94fab793dc39fce2d4
Union
BoolSet
TypeMismatch
efeb8d9132a2b873df75bcfe3352e2ad9f1367c3
Union
BoolSet
TypeMismatch
db9ef968ef1804a3078cda7988f4cfa89c266e8d
Equivalence
BoolSet
TypeMismatch
efe6ba7c1538f564cc90b13286ab5fb4d3581f4e
Equivalence
BoolSet
TypeMismatch
e8f0c27edf56da0f568b0657625c4863738f3749
StringEmpty
BoolSet
TypeMismatch
a9f9adf5adece3ce9da21eb1a1f7a56d25cd2693
StringEmpty
BoolSet
TypeMismatch
6a54e594612f3be4cd338d72d314e62340e42ba3
String
BoolSet
TypeMismatch
93de726f4981430d14c963e0c1281e726c417ca7
String
BoolSet
TypeMismatch
efcb46ab70a0f1f6300d4a404d8adc1a37e46578
SeqLen
BoolSet
TypeMismatch
18331efc8abb994e5125741618d9882b81d122a7
SeqLen
BoolSet
TypeMismatch
52c2f43a001af9c327742b8d17873f1abd1152c7
SeqConcat
BoolSet
TypeMismatch
66747cfc385cd8a521f19ab6e8b8ae5d782d4fae
SeqConcat
BoolSet
TypeMismatch
9b8c33bfb174df91252e3f2e2885a108dd969bfe
NatSet
BoolSet
CanNotBeCase
842acea5dcbe265a13d87e7c3935a6bf49dcc953
NatSet
BoolSet
CanNotBeCase
a6224dc7a7f30fda6d0eef52d11227073b0ac123
IntSet
BoolSet
CanNotBeCase
9e2420ac7aacd115c9a8adb9aa6aa504e22033bf
IntSet
BoolSet
CanNotBeCase
311170a66069313cce28c521ba464eb1631fcf4b
StringSet
BoolSet
CanNotBeCase
61a9cb51a55958226781b9259786ff015e725fd5
StringSet
BoolSet
CanNotBeCase
6f7eca6f0bd557883545bc4f87998fdfcddba6e8
SeqSelectSeq
BoolSet
TypeMismatch
9ed40a5baea1b9b45dbe9dcefe3e7288798f5b64
SeqSelectSeq
BoolSet
TypeMismatch
b5fd8c69f731ac485afa7efbd33c982fd1031f59
SeqSubSeq
BoolSet
TypeMismatch
340aea76d6cb2a131b9d9a65c3e20a9ef1095ac6
SeqSubSeq
BoolSet
TypeMismatch
4259e2d09c93fff76387991751376d8f2b1d9147
NumRange
BoolSet
TypeMismatch
348b00ac26862ba1c030aa8255c3c9b573048fdb
NumRange
BoolSet
TypeMismatch
c43d47c2f6508ff55e0ae4eda557cea330c4aaa9
TlcExtendFun
BoolSet
TypeMismatch
6e0baec1039448817618f3d36f97b56961b2078b
TlcExtendFun
BoolSet
TypeMismatch
eccc9e871b39f4491fc2b99835a600e918f443ca
TlcSortSeq
BoolSet
TypeMismatch
f8057132611f36ed3678db71bf020e4781b3b5dc
TlcSortSeq
BoolSet
TypeMismatch
4944564c4db798e22e5f748019a5e2ec25a35cbc
BagBagToSet
BoolSet
TypeMismatch
deed7a751ecbfbc123b56fb56a99a5e380ae5554
BagBagToSet
BoolSet
TypeMismatch
0b2cc0a20bf2268e1397db4e958e3cd91fab2ba8
BagEmptyBag
BoolSet
CanNotBeCase
30d6f71ab1f247cb43f41afe1cc081f872becd43
BagEmptyBag
BoolSet
CanNotBeCase
18ebade58090978df6a1d82fb2104d964b279648
BagAddBag
BoolSet
TypeMismatch
365d096e8b14f8174440c604d6110af491cdf41f
BagAddBag
BoolSet
TypeMismatch
6a1b6b7eed326ed0d09d54518ac5ec3713be4bb5
BagBagSub
BoolSet
TypeMismatch
bcc864c463a07df4af70e8c4737513b1273ab80d
BagBagSub
BoolSet
TypeMismatch
c308a03973c35ef2ff9dbf75066d196274e2f48a
BagSubsetEqBag
BoolSet
TypeMismatch
39c0cba8693d4adc8eeec6d2f1e912e778ef40b7
BagSubsetEqBag
BoolSet
TypeMismatch
64fd24dc49bf9feed4354da33952e3505e9c23de
BagBagUnion
BoolSet
TypeMismatch
5f64759dbd19353b8f5919ecd6e53e1143dfde69
BagBagUnion
BoolSet
TypeMismatch
1493779b4536139fad533023d4d648322c20b1ce
BagBagCardinality
BoolSet
TypeMismatch
b1343a3221d3281c4075dfb22b2dd426f83f78be
BagBagCardinality
BoolSet
TypeMismatch
ec47fd024e0d8250274b2d7aa7bff71e76799ff7
BagBagOfAll
BoolSet
TypeMismatch
68c6142627e90af55dc1ce6891c1dadeaa9ba860
BagBagOfAll
BoolSet
TypeMismatch
5457b00e7d105b2de07c4a2a19b1fa2cc66a5604
BagSubBag
BoolSet
TypeMismatch
f15bbf4a248bced17d046c448861be028568db4f
BagSubBag
BoolSet
TypeMismatch
e48e03b206a6ae72f38aeffd965e3a69fe5f8cf9
SeqHead
BoolSet
TypeMismatch
f45f5d6ac6e4c1761b96cef2da0648352ac02519
SeqHead
BoolSet
TypeMismatch
bb283a9cbd0cc823abb76abefa975da4aee65bd3
SeqTail
BoolSet
TypeMismatch
68968eb093862338231d4358bca9f2d08d6019cb
SeqTail
BoolSet
TypeMismatch