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
RecordSet
Id
Case Feature
Plug Feature
Skip Reason
098609a288f22659f49babad8bd1ac3cbf9ceba6
OneLineComment
RecordSet
CanNotBeCase
c5ce8634a25fbb8deebfa59d7ebe8f244323394f
OneLineComment
RecordSet
CanNotBeCase
d03a79cbef1e1be6b9e2450aadf3c1485d61ed8b
MultiLineComment
RecordSet
CanNotBeCase
d114a86c746741477a8c8ef106b2823cf3636481
MultiLineComment
RecordSet
CanNotBeCase
ff077d8958bb10712f4465f537cab83acdc66cca
BoolTrue
RecordSet
TypeMismatch
a9e7de372995f7aae511c318cc766588dca7d865
BoolTrue
RecordSet
TypeMismatch
e511c8c16cd96344baa63a032317728d36f77538
BoolFalse
RecordSet
TypeMismatch
7983f66473b78ebd47b37e08ac7d35ed4aac9736
BoolFalse
RecordSet
TypeMismatch
79be36633aac76c68edb044778698d72922cbb1b
BoolSet
RecordSet
CanNotBeCase
9e600e66dc6dc4075499ddc52de0017570b4b12c
BoolSet
RecordSet
CanNotBeCase
96dcb5f0d9edb76e3b9a5424b7ffca53b1f1ecce
And
RecordSet
TypeMismatch
cc0a7cee5bde69a020aa0d6ce0887548339a17b2
And
RecordSet
TypeMismatch
cd20d82e7200fd3e3ae4d7a9cfd1d2fd628bfb64
AndMultiLine
RecordSet
TypeMismatch
a66dd9ece89d01c59a0eb53ff8fa2cf218f97523
AndMultiLine
RecordSet
TypeMismatch
8ce3335a96f6a5320f91ad9453284b9c4d94dc0f
Imply
RecordSet
TypeMismatch
cc6e8a838041f43b517fb48e5c9e1c61c1a476e9
Imply
RecordSet
TypeMismatch
6c33742fa3a5e4eb24a9dcb95d25c2071a75d4f9
Not
RecordSet
TypeMismatch
0b195d67f8f240753163e78ad4398d97305eca5a
Not
RecordSet
TypeMismatch
6830cd59069ea8873e20ae39a7ab5ab197079c8a
Or
RecordSet
TypeMismatch
7bc31034abbfa2c84c68188c015c8754c2dd9d77
Or
RecordSet
TypeMismatch
09c9c69d0aacdef6a2184f8558912b82a7a86776
OrMultiLine
RecordSet
TypeMismatch
b941f7dae7cfd644d4a0a4f4f8acccf0e8aca431
OrMultiLine
RecordSet
TypeMismatch
dbca1f72787e744ef36453f4a9833f1e45f1d71b
AndProp
RecordSet
TypeMismatch
2a44b0b090f9738b4b03aad8bab7d55cf1675563
AndProp
RecordSet
TypeMismatch
8a07ae939670dedfed3551fc033241b57f9efbe4
Boxed
RecordSet
TypeMismatch
28c9b9c58e2915afd8939e5309d4aafeb162510f
Boxed
RecordSet
TypeMismatch
0846940473181b90e0ecea69f8db8ee8a84ecd7f
SetEmpty
RecordSet
CanNotBeCase
82473bf94c115a0419879673856906d1bef3010d
SetEmpty
RecordSet
CanNotBeCase
3fe5a9ff61d2cffa30b59a7327ace5c29679f9a6
Set1InDef
RecordSet
TypeMismatch
835caed5045aa289cf32440c45155e321d6372e5
Set1InDef
RecordSet
TypeMismatch
e189c60f4944b5f22e2cdb855653cdb92c468c6d
Set2InDef
RecordSet
TypeMismatch
3b18c496f9a50fc0def25d041b141f467e636824
Set2InDef
RecordSet
TypeMismatch
a75f0541c1909cde5897c1ec2531efc3cc3b6665
InDef0
RecordSet
CanNotBeCase
70f14dc18980f7031548a176167a08134d7a1aef
InDef0
RecordSet
CanNotBeCase
2a70452fe6a718ce5f1ae9a6703207e6c97161d1
InDef1
RecordSet
CanNotBeCase
a571a364234b8370ad5305ee5aaeaeeecbbce13a
InDef1
RecordSet
CanNotBeCase
9401f4752a555930f2ae2e486c7b14e3351f6bdf
InDef2
RecordSet
CanNotBeCase
dd30658ad6d13db7eb0fa60aa3053640ef4fb16d
InDef2
RecordSet
CanNotBeCase
501aa80061d1847e20e336ea41fad3c3536a5c2a
FunInDef
RecordSet
TypeMismatch
c66cc6f805ff188e46cdfe36a42f64f417041c39
FunInDef
RecordSet
TypeMismatch
62f0c137140696768f0efd71fd95e862750ef5b3
Exists
RecordSet
TypeMismatch
d13d6862e6626128a5a4bbe9618f1ce88f63066e
Exists
RecordSet
TypeMismatch
d17bfe077e0279b1617ec4ae6094076f68a5e1dd
Forall
RecordSet
TypeMismatch
bde83752b1371eb2781fb300ecd8ba4da62ae7fa
Forall
RecordSet
TypeMismatch
4b0dfeccf7a1d1e06fc1c4116af65b1f042a5a20
ExistsInDef
RecordSet
TypeMismatch
ab6b15323dccf76d375b388892e426b66be328a6
ExistsInDef
RecordSet
TypeMismatch
b7ac6f1a14a1bdf64986e020fcf2d3b4d473db49
ForallInDef
RecordSet
TypeMismatch
7ffcbc627bf9c5606c61fa03c4b84210ebe22370
ForallInDef
RecordSet
TypeMismatch
be92026a5c749e24420c26913d3c7215a9619169
Choose
RecordSet
TypeMismatch
cad96ed93d032a3fd8332c9a7e3870644ed50d36
Choose
RecordSet
TypeMismatch
a685a80a85aa697e815cc7809ab2e5e8b016d0bf
ChooseInDef
RecordSet
TypeMismatch
83ff28874664ea175be6954c5d1c8267dee26ee4
ChooseInDef
RecordSet
TypeMismatch
a373227c42215f4980e7b3a7b80a25498e80fe0e
TupleEmpty
RecordSet
CanNotBeCase
f9c7f4e8fdd37e9d320d6babd5094305a993befe
TupleEmpty
RecordSet
CanNotBeCase
f55aea9740c21d2bd88c42f46ec3e1210707fcc7
Except0
RecordSet
TypeMismatch
d124da9e915b39d274d5b875bc1d8a38dd181774
Except0
RecordSet
TypeMismatch
4b42d55767b025a33b9f1f980fb615382505a0ad
Except2FunTuple
RecordSet
TypeMismatch
348fc7abb7dc3d9a271d611deeca45e8f1f3d9bf
Except2FunTuple
RecordSet
TypeMismatch
86717b3a5ceeca1bc17a64676c3a7a23c2c51c37
NumZero
RecordSet
TypeMismatch
9b6f177f65c6accc310760b3ac2d09a823daea4d
NumZero
RecordSet
TypeMismatch
a490f1293fae7ca55a2e0845a1d8227961475389
NumOne
RecordSet
TypeMismatch
933090eb3cdf0542270566a2beb94a991def0ca3
NumOne
RecordSet
TypeMismatch
c52e6c041cf84ce49743137d7448fdabe43fb7be
NumMaxInt
RecordSet
TypeMismatch
9e934358f278422b13f75a42bc002563592a709d
NumMaxInt
RecordSet
TypeMismatch
b424d3b3f2a34b80316def05a774275ec2276176
NumUnaryMinus
RecordSet
TypeMismatch
7fc8f4f237e12fc177963fe499687a73c38948c9
NumUnaryMinus
RecordSet
TypeMismatch
425e4a5bf7566bce083f92085b385493e105604b
NumPlus
RecordSet
TypeMismatch
67a187eec901b9ca81a160e00f6750a5999f6b77
NumPlus
RecordSet
TypeMismatch
5d815600a137761ca7e6ce2cc0e0b1272cbd7512
NumMinus
RecordSet
TypeMismatch
4dd1a248212337aa37c70f4c3e6d62c2f3da7686
NumMinus
RecordSet
TypeMismatch
147a0ef72efcc5d3b719f9b175ee3e22467f31de
NumMul
RecordSet
TypeMismatch
b51e7243f3b0325fd277c0fe808894329f4ff123
NumMul
RecordSet
TypeMismatch
25b65d44e1d799a0b98b020dc8c9bd5d2ca83b92
NumDiv
RecordSet
TypeMismatch
44c97d63237046dfede57465069ec9d7e1255069
NumDiv
RecordSet
TypeMismatch
e9ec3901b8a0def6e1e876de4bec87c49150adb0
NumMod
RecordSet
TypeMismatch
78ed1c749d9573ebc0da1949acbb175d565ddc54
NumMod
RecordSet
TypeMismatch
d3f1b2d104af790fa2802391df70b5a589aacb93
NumPow
RecordSet
TypeMismatch
f4108a5acbfa5a59cb996aa7d1d193fc3486091a
NumPow
RecordSet
TypeMismatch
14ac3edc490ae81d48088d7551933f4e18956c5e
NumGt
RecordSet
TypeMismatch
79bb2afdd2bf1b12c69e99f009d903cb6fc560e1
NumGt
RecordSet
TypeMismatch
4166e02e88470165f5e588fe824ba950c779eda5
NumGe
RecordSet
TypeMismatch
7dae87aa8c3f90724934604a0f1a7f205d2d7839
NumGe
RecordSet
TypeMismatch
5f25fd1dfe84c411f27e30729a566d2bef41b81b
NumLt
RecordSet
TypeMismatch
4f6409abad2b2d81335cf3cdf24d879c367851ec
NumLt
RecordSet
TypeMismatch
8caf3eef25ebce3e740ccc773fff1d9e197fc073
NumLe
RecordSet
TypeMismatch
91e0311b9a73f38a3bf1094ef3fbb278324b32c7
NumLe
RecordSet
TypeMismatch
2af4cb858c20afc600f09a7c3f3f90057aff3198
DefFunInDef
RecordSet
TypeMismatch
05825e8510f1701e3752d401ac65f9d293f158e3
DefFunInDef
RecordSet
TypeMismatch
7986d690e5ebaaace7b3089f64781a7ca6eb047a
LetDefFunInDef
RecordSet
TypeMismatch
2520a9ee84c283d3bda5a0b3a7204b0418c0cc28
LetDefFunInDef
RecordSet
TypeMismatch
8e9f027191e55a22ff5c03941eea32d95f9ae052
ConstantModelValue
RecordSet
CanNotBeCase
6f5a64e7c4a0bdab05b9f9b6875c12c3f125f838
ConstantModelValue
RecordSet
CanNotBeCase
a29f652b944a3e1edc83575f4099ce3173dd0aa0
Enabled
RecordSet
TypeMismatch
089f4a6ab3107e3c34a252b7007ffeef598781ed
Enabled
RecordSet
TypeMismatch
e8c0a621f310bcb31038fd66804ddf983215ff6b
Assume
RecordSet
TypeMismatch
17dbe9419c9e42e73b81b2c10d125236798031a1
Assume
RecordSet
TypeMismatch
9a7bc4f0527e9da646733bae2f8f58a68a7cffb7
AssumeNamed
RecordSet
TypeMismatch
4a8b2d8ca1a55ce421f6288afa93cf1b2ac0e8ef
AssumeNamed
RecordSet
TypeMismatch
1ccfe2767952d1479ecb7fd620a326fef6b28626
IfCond
RecordSet
TypeMismatch
716740a6aa42c6465907c9bccb18b5ea2fcc3e8b
IfCond
RecordSet
TypeMismatch
17d6acf9ce1d1e853d4337b348a35207c60296a8
Domain
RecordSet
TypeMismatch
3a636a3530c43f7be8272797732b879146252479
Domain
RecordSet
TypeMismatch
650a6cd7b8afc794b8f48d0d008c141ec3e36211
Union
RecordSet
TypeMismatch
5756a3ac0fa21f94e92207ddc541cba0254ecab2
Union
RecordSet
TypeMismatch
bfbbfbf01fa23633fc28f59d93b008f410fc6006
Equivalence
RecordSet
TypeMismatch
f3bba117dbff3144322c98349b36b67e9e3f70ae
Equivalence
RecordSet
TypeMismatch
18e13ff49b790d5f9f9029eb85e3419c155f7bc9
StringEmpty
RecordSet
TypeMismatch
9886f9e085abac1f2f205c965ca6750f6da65ce8
StringEmpty
RecordSet
TypeMismatch
f564adf844837b7bcb662de56377d3eaffcc081d
String
RecordSet
TypeMismatch
646fb0042db215f6561c961ea30a753cba190e67
String
RecordSet
TypeMismatch
dd2fba980d2f4e9ba1a005488abbac4f91264f07
SeqLen
RecordSet
TypeMismatch
890d196323b01fb083a9f3cdc701e1cc4e0e61b2
SeqLen
RecordSet
TypeMismatch
715340c58ae35d7180b4f9a6a205342ab6def38e
SeqConcat
RecordSet
TypeMismatch
920d530c0b967fb49258efd096368ec032f3b2ca
SeqConcat
RecordSet
TypeMismatch
74ec545706b594db6d6d637d67f10648cad5e2f5
NatSet
RecordSet
CanNotBeCase
b1094c7f328f7dee1872978d4780480a428ae715
NatSet
RecordSet
CanNotBeCase
afb2cd68153bd147bdbc58fe177ac4488ce7fc71
IntSet
RecordSet
CanNotBeCase
be45de9b0a0b3021bfbb1f55aad6a87f598608cc
IntSet
RecordSet
CanNotBeCase
b44e491baf164cd012a4a764c0e61f4c8ef0a3a9
StringSet
RecordSet
CanNotBeCase
ddd1eda7c28f8c2dd4cc05e3aecc50bbbf8c93b9
StringSet
RecordSet
CanNotBeCase
035b2bb006b0583399289ef292e85f8c232c8c8f
SeqSelectSeq
RecordSet
TypeMismatch
0a08c0cf773e3b8130c08f5a41af397ce16ff185
SeqSelectSeq
RecordSet
TypeMismatch
8373c09d5ce4766053f5591696db68f78b1c5fff
SeqSubSeq
RecordSet
TypeMismatch
b5d8261bebd92ab684dd92b1f1709ed4b33d5561
SeqSubSeq
RecordSet
TypeMismatch
7cd964ae9f129d26ef864f8a4e42c3e146ddc824
NumRange
RecordSet
TypeMismatch
f4f109f5e0457b2ac6ec35195e8157ffa762e766
NumRange
RecordSet
TypeMismatch
2c90067d4312114b71794372f93e7602c3f6dc26
TlcExtendFun
RecordSet
TypeMismatch
dfa7379a2c7a01b513758e63849b20eff53c812c
TlcExtendFun
RecordSet
TypeMismatch
ea4c69ceb9284cf69999b823a6b6a2a8e204c2db
TlcSortSeq
RecordSet
TypeMismatch
3eaf058cc1c72b4754dd4eda0732db073fb36ce0
TlcSortSeq
RecordSet
TypeMismatch
61ceeaf5baa7c6891c32362217f339e3d7c97a1b
BagBagToSet
RecordSet
TypeMismatch
77c41d41269be6f8289c4f6bd8137253951bcb65
BagBagToSet
RecordSet
TypeMismatch
f1235cad02101e854ce540143363e8a2f947aca2
BagEmptyBag
RecordSet
CanNotBeCase
171aa9747f3fee96efa165195d05fca8b3372049
BagEmptyBag
RecordSet
CanNotBeCase
467b3bcac9123006a94a926c1cef711c826d6593
BagAddBag
RecordSet
TypeMismatch
97343a2b01fdba19b3370bae142441200f2dc071
BagAddBag
RecordSet
TypeMismatch
8b5305943326ef0eb67468eefec4c8f2bd8b53f1
BagBagSub
RecordSet
TypeMismatch
fb62a04ed518ba66eb5080e3152ed94371939470
BagBagSub
RecordSet
TypeMismatch
9c7a60c4d8d8a31ee283cd37b6cee504f132a5d7
BagSubsetEqBag
RecordSet
TypeMismatch
5aceb95713d4a5c64cd2e8800b1d2aec9355fbda
BagSubsetEqBag
RecordSet
TypeMismatch
afd5f956afb0db58229041a7ad623542b18033ae
BagBagUnion
RecordSet
TypeMismatch
898222253c1924e8556689fb1e5f35bd729e24ff
BagBagUnion
RecordSet
TypeMismatch
1aa61c42770904c8fb61d79625406af419c07a41
BagBagCardinality
RecordSet
TypeMismatch
fa4873e84e984b5852d0f786efb5bbf199f7a3e9
BagBagCardinality
RecordSet
TypeMismatch
45b8c471016278a654d8aae9efaf6880255c81be
BagBagOfAll
RecordSet
TypeMismatch
518bfabfa37b60231944d0ebdc9ec55cfd999e70
BagBagOfAll
RecordSet
TypeMismatch
24bd76582908aecf2a0cf3b866ea88c23e5031d0
BagSubBag
RecordSet
TypeMismatch
a8497b866fcbedff45ddbe7f96568af2999150b9
BagSubBag
RecordSet
TypeMismatch
5aa3b8914357d4999055ebbc0969de95e872050e
SeqHead
RecordSet
TypeMismatch
a0afcf245ab3804d5d2d34810380d303766f527c
SeqHead
RecordSet
TypeMismatch
f77bf77a966f746709586e11766f6c4b56d89777
SeqTail
RecordSet
TypeMismatch
2d8d6830eb5296f4730e66f3830bcf993fac0d02
SeqTail
RecordSet
TypeMismatch