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
NumLt
Id
Case Feature
Plug Feature
Skip Reason
147a81649ff652ee6cb963824cb3bbf5d96e086f
NumLt
BoolTrue
TypeMismatch
cdcbf630d7ac6abbc90ba14465c342595735ab36
NumLt
BoolTrue
TypeMismatch
8611f5b25d7d2ebf32f890cc320ac778c1cd3cf9
NumLt
BoolFalse
TypeMismatch
20a70d92ba610a390e8b3c80dc8593d873403e7a
NumLt
BoolFalse
TypeMismatch
0fe1865b7d32626d98518a2b952ec1671648a4b7
NumLt
BoolSet
TypeMismatch
ec531e06324bf55d09e0f5775930bca41fdad2a9
NumLt
BoolSet
TypeMismatch
f56400716fa43f9950d9916906637fe32a9ddf1c
NumLt
And
TypeMismatch
387ebf28f8ecf6faa58c137c495c0fcdc9969594
NumLt
And
TypeMismatch
a752fd2f847e91f69512d5389df27cd2601df2e8
NumLt
AndMultiLine
TypeMismatch
c17bcb3b1fae6c7cda325a6464454c8bec3c66c4
NumLt
AndMultiLine
TypeMismatch
a6450bdf647cc5b9b8eca1aeaed63a4d82c688e0
NumLt
Imply
TypeMismatch
b54867f277bb40203ebb174a6faba50b54f4841f
NumLt
Imply
TypeMismatch
6d1d76d898ed691b6ee7fd5f0c963efb3571bab8
NumLt
Not
TypeMismatch
b3a5ca87e4a81d6e212da4dd15b8ba61f5464927
NumLt
Not
TypeMismatch
dbb63b58dd4e783011ee071fa097957ee94fc455
NumLt
Or
TypeMismatch
166355420a33a92e5aafe116407441efcb9561ea
NumLt
Or
TypeMismatch
ff4761b592ebbdebf8e552ec0dc62ec28e3631be
NumLt
OrMultiLine
TypeMismatch
bfa21c260374648c718777a56f19ffd881dbca47
NumLt
OrMultiLine
TypeMismatch
efadcf864d7265665dc6d78c63d7d37c94c8567a
NumLt
AndProp
KindMismatch
af64256a3b4bf5ac739da4bea4c2b86f08b6df5b
NumLt
AndProp
KindMismatch
c19c7b547f5fe6d19dfd23bf8c9fe2b63c1b89f9
NumLt
Boxed
KindMismatch
5f8174ce3e82a00d6a2c4468563af31ae1255dad
NumLt
Boxed
KindMismatch
f8308dd7a1e908a5f8888a0e5c4bd74e922b1bc1
NumLt
Eq
TypeMismatch
259ccc9c1355f1adc6a19ed62f924c77ec48d762
NumLt
Eq
TypeMismatch
c5279b170c9624837a994a00a2f52fb6dc687727
NumLt
Ne
TypeMismatch
0b94a4388b4839488e6af5c75adf53cfc35970eb
NumLt
Ne
TypeMismatch
c19c608542460a81e971833d6ecdbf422d4b74ad
NumLt
SetEmpty
TypeMismatch
115c0ab73f62f22032703d8241244af4fd7a1681
NumLt
SetEmpty
TypeMismatch
62f9e81f1ee4a45335f6546dbad5e1d1d03f0356
NumLt
Set0
TypeMismatch
96e9edc3bc026062adee8eb117d7d237efcb1339
NumLt
Set0
TypeMismatch
e09fda72600b68e3b063c8bb5ef7acc6728cf129
NumLt
Set1
TypeMismatch
47b9c8a052ef443b490d06cf58a302eaa987a02d
NumLt
Set1
TypeMismatch
e80c0e3ab153bb5ca6d6993ef19be388a96cd323
NumLt
Set2
TypeMismatch
e71144a33fd50f87c0a28025b4fd1ed935dc4f30
NumLt
Set2
TypeMismatch
451615409b8c451480945ffe8db826f3d588d510
NumLt
Set1InDef
AlreadyCombined
5ce4c3ca12902ec27304db50503c206f6f93a220
NumLt
Set1InDef
AlreadyCombined
f5fdcc75ca18646cde28cabec4547f6c3a7a415b
NumLt
Set2InDef
AlreadyCombined
c789e2577b2f2590939af6bb9fcd787d412cc196
NumLt
Set2InDef
AlreadyCombined
8740538e1e8b1cccd9e26b2544800e8cba676f02
NumLt
InDef0
TypeMismatch
b93381e37be86362250cbd29e8b18b84a3c7109e
NumLt
InDef0
TypeMismatch
85bbf518429df17867bf048801b013004847c6c9
NumLt
InDef1
TypeMismatch
b1450f06d8af14cc8ad2fdd935d419f75d4ac0bf
NumLt
InDef1
TypeMismatch
46d01a80c2cc9b762008bca8a49ad10aa32cc96b
NumLt
InDef2
TypeMismatch
2cc8c9adec5f183fc447a013448d2b9fb50f295f
NumLt
InDef2
TypeMismatch
f5501afec9e877fdb2e37d329f173019bd5713fd
NumLt
Fun
TypeMismatch
c4071459214bb15245f1b8f81def0a419d287ebc
NumLt
Fun
TypeMismatch
3b85d9ff004b980ee5618a8bb402df0d6c757c27
NumLt
FunInDef
AlreadyCombined
590e14660feeee7494abcc2b8ef3dab5d96bbe95
NumLt
FunInDef
AlreadyCombined
91b8357b0ffa8aa57fcec42fd3ab5ab41b8c6d4b
NumLt
In
TypeMismatch
96fbc0cb9290cf8dafa7fc5c3d496f8f7a261c64
NumLt
In
TypeMismatch
b15098f9d7753ec7545a48b04cf3aee6a2560c05
NumLt
NotIn
TypeMismatch
9eb6ed4915b1d2820c4f6b0cbf3c5c63d5a829be
NumLt
NotIn
TypeMismatch
4f630c183c5db2cbdc1105c2b353931548482c19
NumLt
Exists
TypeMismatch
e548c0430a7212b9d02c77e200fa8f3f81abb9e7
NumLt
Exists
TypeMismatch
5b03279c887f7647b7bf2f9198ca7da23f049f01
NumLt
Forall
TypeMismatch
98ab1a6130aa4fa75c57b25e812bc065722c066d
NumLt
Forall
TypeMismatch
3eca747191bb68c2addd9b4d81b485bc6ace0d4f
NumLt
ExistsInDef
AlreadyCombined
0779b03e0d0df28789bf8a8113114f4cc54ebb97
NumLt
ExistsInDef
AlreadyCombined
eb66dd4295956e28fd64fc3649ae5339d136534f
NumLt
ForallInDef
AlreadyCombined
86405bc57928116fea8aae648305fd4b2ac3afcc
NumLt
ForallInDef
AlreadyCombined
60afa1754416edb789baaa710a8dc0d2a2f5afc0
NumLt
ChooseInDef
AlreadyCombined
55aca628689ab4761e65453ff419c490220f47c1
NumLt
ChooseInDef
AlreadyCombined
a613928f281db157e91887035a1769c173a71b51
NumLt
Record
TypeMismatch
be1e6afe6e4b7ab6e69b3b1eb760c4c34cdda533
NumLt
Record
TypeMismatch
a175039f4bdb93140661dbe0b4c9292026de4124
NumLt
Tuple
TypeMismatch
963f379fce3ed1ce1f9f266109781da6f3df22ec
NumLt
Tuple
TypeMismatch
fe2e78ede0689c661479ddfc5003c4fa66b4c54c
NumLt
TupleEmpty
TypeMismatch
fb670e1957a90c7f63e2fa061293c8df66ab641a
NumLt
TupleEmpty
TypeMismatch
f9863d4e8af5040d43ea465aeccc3250c432a336
NumLt
Except0
CanNotBePlug
c89505880eda8b07663d4003830edd370c3fe9ba
NumLt
Except0
CanNotBePlug
6035ffc79ab1b9921b8a9b7051c8d937cac1c5eb
NumLt
Except1Fun
CanNotBePlug
e779176caaab47e21d6d7c7e1aeadf6840a9d07a
NumLt
Except1Fun
CanNotBePlug
3c8dd88d026a607a9328d6a9558b0e85b1ea5efa
NumLt
Except1FunWithAt
CanNotBePlug
25e311f46e4e0a77e2cee52e1f4ef58d05ae2050
NumLt
Except1FunWithAt
CanNotBePlug
596cac2e74e1015f0ba1e7a58a4771ceb6b7e744
NumLt
Except1Rec
CanNotBePlug
0aadbd172aa6d5119c39b2a6ea903003a9fd6283
NumLt
Except1Rec
CanNotBePlug
0f004f45d533d1ead70aaf42afd839c2d4cc978b
NumLt
Except1RecWithAt
CanNotBePlug
8a31c4394ddfd1430d3f3875ad32e20ad06ef351
NumLt
Except1RecWithAt
CanNotBePlug
425104c2247d93b59e5233f40d36a8ef2dbcbf6c
NumLt
Except2Fun
CanNotBePlug
0370cf4741656facb0d56cda69a49dc52b20f3df
NumLt
Except2Fun
CanNotBePlug
4e004ef2aa6a6f01ffdf00c5c3d2fe50dc1eb3f8
NumLt
Except2FunTuple
CanNotBePlug
7eba5437e26814bdd3b039483ef482d4d5b247eb
NumLt
Except2FunTuple
CanNotBePlug
d03deae60edbc0fb814048c73da8223e92ea61d1
NumLt
NumGt
TypeMismatch
1f54e17d46a1a5398bb948ffe9a8d94edd9a9895
NumLt
NumGt
TypeMismatch
3ae87963c4799e4419a6f77364e25192cec6f57d
NumLt
NumGe
TypeMismatch
93cef495363d3b88d40afd51e031e922e0a20f12
NumLt
NumGe
TypeMismatch
c936e8701fc5594f3ace2a021a2ea4a1f644f8ee
NumLt
NumLt
TypeMismatch
29e09507aad59044ad19e996e195448d89370934
NumLt
NumLt
TypeMismatch
2cb44b9b774e02878630dbf8281d77dca9a46e89
NumLt
NumLe
TypeMismatch
3ab361b6972a09cb79b6329aff51029f35ae0e96
NumLt
NumLe
TypeMismatch
01dea35d1ed39d8c3be52c1446531dae22486cfe
NumLt
DefFun
TypeMismatch
253d1589cc5682cdf4bc652bb533f267ea97ba07
NumLt
DefFun
TypeMismatch
14e8371b46d92bb02c71dc6d66424706e35af345
NumLt
LetDefFun
TypeMismatch
137b9c2ff2318756d7a4a66a49b0535711aa50ab
NumLt
LetDefFun
TypeMismatch
6061897d8f1f7bcb455ac01fb7e770f03c723b5a
NumLt
DefFunRecursive
TypeMismatch
79678e931542f157c4cc5e0dbdd07093997c2213
NumLt
DefFunRecursive
TypeMismatch
c26d37a2bb9fa613a8bae7d98272f1d13dea1ea0
NumLt
LetDefFunRecursive
TypeMismatch
c110e8eff58a868282b32c748a43fdd9cc18c87e
NumLt
LetDefFunRecursive
TypeMismatch
c0e1e4cc372c3af349e00b9c952886057cfc06a4
NumLt
DefFunInDef
AlreadyCombined
d959041012dfa2a32354d08bc8b771440a5dcd2d
NumLt
DefFunInDef
AlreadyCombined
7bf57e4d3853ab3c7ee1c098dbfc880a85a3aefa
NumLt
LetDefFunInDef
AlreadyCombined
b52f5908617a6dc591b5be621077af80dd1610e0
NumLt
LetDefFunInDef
AlreadyCombined
f9bf1bdbf120f857d9cd3a2182d9cbea8a3c82f2
NumLt
VariableViewExclude
VariableExcludedFromView
b6c6c31b8abf2389b9246549ec2c484a215a7d59
NumLt
VariableViewExclude
VariableExcludedFromView
5faaeac540cc8ce740603aba2c9d9f559858092a
NumLt
ConstantModelValue
ModelValueCanNotBeUsed
b69f06328821e9091b010c0c05a4827f4240910f
NumLt
ConstantModelValue
ModelValueCanNotBeUsed
45d54e84081cb9f1ba05f4bd56abd3c8fdd3dd41
NumLt
Enabled
TypeMismatch
a89c2c6e6b8c785c372981a373720921ab55edc3
NumLt
Enabled
TypeMismatch
c18dab3d569a9f5bdde2cfd87bbe16e9f1cbb3cb
NumLt
Assume
AssumeIsNotEmbeddable
ad93d79a907b5652eee1c5484ee56e6d9fb43484
NumLt
Assume
AssumeIsNotEmbeddable
58d5f0fb966cc0385ad2722ab8be817acfa044db
NumLt
AssumeNamed
AssumeIsNotEmbeddable
5caecfe45fe313e18b3452239c045264df79a8bf
NumLt
AssumeNamed
AssumeIsNotEmbeddable
c5c3cc88b36f0f86d26b7e2c9ec9a76dde511524
NumLt
Lambda
TypeMismatch
1486c64ccb98a9c1d12a198e72d4f38db52d1ba0
NumLt
Lambda
TypeMismatch
6f3d3633ed0226cbf64f05cb8ebfc47edc88337b
NumLt
Cross2
TypeMismatch
e9392b344fe14902ebece78bd360156d529a7f1e
NumLt
Cross2
TypeMismatch
afefa045aaecfd375006e923896f2271ffdac3b3
NumLt
Cross3
TypeMismatch
5ebf631a522ff6eff33f179a4eec4157fcf70703
NumLt
Cross3
TypeMismatch
a8b4d10bede4aaf06e3d28a7f397f71bb82b9df4
NumLt
FunSet
TypeMismatch
250d994dd1296d89b635a02f63818c9e134d8547
NumLt
FunSet
TypeMismatch
5f25fd1dfe84c411f27e30729a566d2bef41b81b
NumLt
RecordSet
TypeMismatch
4f6409abad2b2d81335cf3cdf24d879c367851ec
NumLt
RecordSet
TypeMismatch
103e88bd35772cdf03b56b2d8f9eb003bb1ba4c5
NumLt
SetDiff
TypeMismatch
3752b3e56b1a67cef6ddbed7e4d32906194f78dd
NumLt
SetDiff
TypeMismatch
36af0529c87a54d581ef9d65c2c30bc672396a01
NumLt
SetUnion
TypeMismatch
3608e9de28c09665a088e74ef18ad19d6bd9498b
NumLt
SetUnion
TypeMismatch
8925e64b9437beee74304c81de4ec50264dbc74d
NumLt
SetIntersect
TypeMismatch
fa35f6ffe70ff4179719fcc0dbd9870b736ee755
NumLt
SetIntersect
TypeMismatch
520263099328fa9469be3c3884a62049ba67c33b
NumLt
SubsetEq
TypeMismatch
0a73d9fd5ace569026a44a3169577587ab90042e
NumLt
SubsetEq
TypeMismatch
5cef31ea47d933d31beafb82b541c61a47f341ce
NumLt
Subset
TypeMismatch
2455f8ee6ec484ecdb70d074a9050dd9c18a1258
NumLt
Subset
TypeMismatch
b736ed6487dd6c9809c646dc90956da823003798
NumLt
Domain
TypeMismatch
ebfd6465933f0797af4906bacd9c38c586cfdb1e
NumLt
Domain
TypeMismatch
53a1bc7c2cfef7273ad5c3735c0cd52d3463d0f4
NumLt
Union
TypeMismatch
a3cd623782a4fc8dc0833509d40652e0f11a39b5
NumLt
Union
TypeMismatch
eb6123f1d2362b8999323c3674e15c4245a5357b
NumLt
Unchanged
TypeMismatch
d1effdcd29be9e187bbec7331c38d0436a442674
NumLt
Unchanged
TypeMismatch
cf4318f359a1998ae6d520eb0ddd1e55e9609d36
NumLt
Equivalence
TypeMismatch
0681d92eb81cbf153b15eed2ec0d4020b0e2e99b
NumLt
Equivalence
TypeMismatch
2b893dd3318915099ae8a9ae7c6d98ba0dffb9f4
NumLt
StringEmpty
TypeMismatch
d9cd7ba33140bf8b94ec5e04302679bef36fd045
NumLt
StringEmpty
TypeMismatch
ddf7f32f5d625a5a9947d604ec9997db203b288c
NumLt
String
TypeMismatch
b797ef1089f607cef59ea3a6f252fdd7b7865440
NumLt
String
TypeMismatch
0b664720f5e82367f8d6a2d44e3246d9b3023a6f
NumLt
SeqConcat
TypeMismatch
79016c35e42588da3df682f2c9f226a24c215b28
NumLt
SeqConcat
TypeMismatch
ee65fa30920394dc9f36f8ccbbb4d8b2bb150be2
NumLt
SeqSeq
TypeMismatch
752f88fd571548822cbff1e930be06b0fab4b6ef
NumLt
SeqSeq
TypeMismatch
897cb75693a68a15c12d97d0a44a3fb973906266
NumLt
NatSet
TypeMismatch
78536994f9e71e59bda29a7b6d776c451bdb346f
NumLt
NatSet
TypeMismatch
8fb313f67ee25e0afa3f9c3aba12e9e9ff2baeb2
NumLt
IntSet
TypeMismatch
d86f95fd02107f4ac5a122c3071f92e6b202b60e
NumLt
IntSet
TypeMismatch
93135bd2cb0b447977c9ff05d4eef395586d32b0
NumLt
StringSet
TypeMismatch
1e923fad47e741a307890f410c2d80e986f14f02
NumLt
StringSet
TypeMismatch
ec3d14c647d044c3919ae86a1f270907a2509a3d
NumLt
SeqSelectSeq
TypeMismatch
0e7539f924b42ad623e1f003f6140f53cc6c3522
NumLt
SeqSelectSeq
TypeMismatch
7c140335f8ef47be7b476fc4da0bcb7a99c08128
NumLt
SeqSubSeq
TypeMismatch
91b5d55733c5f67979a72ff865e5e5751edcd81f
NumLt
SeqSubSeq
TypeMismatch
7cfcdec9dfc77a35c1252a7778d44a4550bfe250
NumLt
NumRange
TypeMismatch
3c928b541984568b9a8f7d7d182f5ae8b7a1dfa4
NumLt
NumRange
TypeMismatch
723350f3031b4cac64689115f1274631c4d38453
NumLt
TlcSingletonFun
TypeMismatch
8134c3704f0b7939fd2eaafcf235e32d1abbc30d
NumLt
TlcSingletonFun
TypeMismatch
413013e86192f30389aca2fec80fd1a583b0cfda
NumLt
TlcExtendFun
TypeMismatch
6768c7898ffb75aacb859a5061e2f66e9ea674d4
NumLt
TlcExtendFun
TypeMismatch
2a839e7f42182c31238cdc6071e5d6a13f7d3b93
NumLt
TlcPermuteFun
TypeMismatch
d5e1b59f16d1f067c9bb5b3e9151f38e10cfd622
NumLt
TlcPermuteFun
TypeMismatch
71b892de9861f3ae47ccc28d5fcc3532904bad59
NumLt
TlcSortSeq
TypeMismatch
7486166fc512b725bb7f9c40c14a53f23f909393
NumLt
TlcSortSeq
TypeMismatch
cb0dce0da006717a608bdb49214fbff87e104b78
NumLt
BagBagToSet
TypeMismatch
27bb4052df373491cd1a013428fc82795dbc8568
NumLt
BagBagToSet
TypeMismatch
f90930173416172be05a45ba22a5a8d9bca5cca5
NumLt
BagSetToBag
TypeMismatch
392886f66f467e84798b33a409e108ff866fca3d
NumLt
BagSetToBag
TypeMismatch
d8123d034fa0aa949fba7484ee1db8a2c9a5dc54
NumLt
BagBagIn
TypeMismatch
ec2ceed36518d009a2329e7465921f690612e88c
NumLt
BagBagIn
TypeMismatch
42e99a74b4a343f7c23e855504ce494270218b40
NumLt
BagEmptyBag
TypeMismatch
ab0d5bd785654573a828b773ffe18e673b4214a8
NumLt
BagEmptyBag
TypeMismatch
c0a043a92a7f111ef4e481e9d0b7272a96cf8082
NumLt
BagAddBag
TypeMismatch
84f81757ba29016964c3ba441c304c95f406a340
NumLt
BagAddBag
TypeMismatch
fdf30c87171a368a8cb8704cfcb3cde77c6eac5a
NumLt
BagBagSub
TypeMismatch
6257b177934290f94f44b3c699bb8f5783321d4c
NumLt
BagBagSub
TypeMismatch
e415eba032954434f944e006742f77a6327d9d42
NumLt
BagSubsetEqBag
TypeMismatch
24434e60c5207a442cd7e7e546a441130fec5c63
NumLt
BagSubsetEqBag
TypeMismatch
9d3d3eb49f7d5f9a8c9909ab31845f29cf586ad1
NumLt
BagBagUnion
TypeMismatch
f0ffad6116bd06e57671997bb3c4d29d31e49e79
NumLt
BagBagUnion
TypeMismatch
6ee9c883cccbc9c8ec7dcffb92c2ac49b4c020be
NumLt
BagBagOfAll
TypeMismatch
f381a2cb2e90e075caeb2fa2b07b35b7c21aa30c
NumLt
BagBagOfAll
TypeMismatch
d875ef2f60e69ca7f4c05462f8f87b85292aa039
NumLt
BagSubBag
TypeMismatch
470796878cd77635507356b5f2db32080feb1145
NumLt
BagSubBag
TypeMismatch
4ed2b61dd9d0816b548bb8a2751539ad408dbd9c
NumLt
FiniteSetsIsFiniteSet
TypeMismatch
f8bd9f909cef3ef35e87b05ba1b12a979a0044b0
NumLt
FiniteSetsIsFiniteSet
TypeMismatch
d0a7ab1471b09410eff7b457d5c68f2435a34608
NumLt
SeqTail
TypeMismatch
d3de4f5bc21704da3e0568bf07c2ebed62365413
NumLt
SeqTail
TypeMismatch
ad95685f23e41524e3a51c09eff641a28179ac5c
NumLt
SeqAppend
TypeMismatch
b808e3760daf69af68b32f3d95c5768832abcf3b
NumLt
SeqAppend
TypeMismatch