Index

Skipped feature combinations by plug feature Subset

Id Case Feature Plug Feature Skip Reason
dd10aeb109ed5db95ea0213d2162e78c96e23dc6 OneLineComment Subset CanNotBeCase
834547ff6271deb6be1d316ed523c5e0b3789e71 OneLineComment Subset CanNotBeCase
6f41d8cc827d874792c71f08e097d63975527314 MultiLineComment Subset CanNotBeCase
28d807412b54ef3d2a374d24767a9e93214ecd4d MultiLineComment Subset CanNotBeCase
b036e313894d1ca6f58c62530ff99ef0ae4587dc BoolTrue Subset TypeMismatch
e8a4f7304ddc7089544a7455a5a428931f7d3776 BoolTrue Subset TypeMismatch
ab9a8a7437fb6b2f7f7c85b49a71a4b40d2b1507 BoolFalse Subset TypeMismatch
f001db69b28fc22a10c4cb11b1f02bc8808241f6 BoolFalse Subset TypeMismatch
d31d558e06bc6b1951718332f635e9cd3e920b15 BoolSet Subset CanNotBeCase
89084508dde004709e5b0b8b74df5b5302e39ff0 BoolSet Subset CanNotBeCase
f9d38d4e210017a89d1b4c3d0a4ef171b6e4158a And Subset TypeMismatch
5b74dd34128b7cebe1ba7a6dc5be0d2ad959305e And Subset TypeMismatch
be209d8a03ee1fcd5613b545ac9ac869d672fd0f AndMultiLine Subset TypeMismatch
4df15f871fbda06b2792299b76230305c16f6e41 AndMultiLine Subset TypeMismatch
36264ff55e28c24b608e157024822ffed60e7239 Imply Subset TypeMismatch
0df310a8bf720188ddfc586674862585ba14f014 Imply Subset TypeMismatch
e439f37ed61c51853cb5767534118225c5437c27 Not Subset TypeMismatch
10757b57643d36e0a26fcb501077b4e0959c7261 Not Subset TypeMismatch
511d42a1a65030deaaf684227ea1406cc253a6ff Or Subset TypeMismatch
6908eabebd65c7d434fef9b047cc4227606c6978 Or Subset TypeMismatch
32af0be148ad2248cddbd6f09e78c375317dab72 OrMultiLine Subset TypeMismatch
d8b8ec8f361cf9c2ed14820e4338246f8287b3be OrMultiLine Subset TypeMismatch
efb8acab72fe571d137a9b3a44f47b92578868c9 AndProp Subset TypeMismatch
d9d1d2df4fe2894ecba549b2e11e765b00f22e57 AndProp Subset TypeMismatch
d283184eb3fa778d164603698ba9becf07c26983 Boxed Subset TypeMismatch
3d7692d48b3be82f8669ee8ad8203c501473095c Boxed Subset TypeMismatch
3c69157375e85aafd73940090289d486e432cfba SetEmpty Subset CanNotBeCase
baceb30fc35344b3bf9befc40ee4033bf60166a4 SetEmpty Subset CanNotBeCase
4972d3142c6d46dcc128b52525619a77e076bbd7 Set1InDef Subset TypeMismatch
f96175c45059e162c56188bfaf30e8d0134f9345 Set1InDef Subset TypeMismatch
3fcf4a879d3e969f7715256c7c3316a23951ff36 Set2InDef Subset TypeMismatch
6694d27490904016bc8fbf1fe6a01923933b1cda Set2InDef Subset TypeMismatch
13df65bd0db5fa475efed93f42369187f2a5bfd0 InDef0 Subset CanNotBeCase
19c9fd5c624995471968e3011494cf4a6bb2e0db InDef0 Subset CanNotBeCase
e5654b47a1b4c5999fd5e9a4efbc9b4f3e4304bb InDef1 Subset CanNotBeCase
689447efb217834ada19012aee4ad3ed12da9f38 InDef1 Subset CanNotBeCase
f4c1ea3493ebdd1cd8ec540a73277663ba5ba3e0 InDef2 Subset CanNotBeCase
a823c1a74020933f482914cc418e978352935b97 InDef2 Subset CanNotBeCase
365dd87b5f7e06032896ba0b5da5c2d89fe1273e FunInDef Subset TypeMismatch
8c387956fc60f3293317970f8c530d6b32087b9e FunInDef Subset TypeMismatch
0dd31c8f367df9771f3df6c9465b30a8e52881fc Exists Subset TypeMismatch
eff29eeed3720050272b1f780ae4c5b61f36489b Exists Subset TypeMismatch
ec60f42d7f05cfe8628e713fab3c7c5ac09f7854 Forall Subset TypeMismatch
7d338e327faaba6e172fb8977edcb2ced61cae16 Forall Subset TypeMismatch
e6c0466e40b8343539527229a67620573e32c76c ExistsInDef Subset TypeMismatch
86e6bcdd4fab4265c0bb129b53b4e0786a938e9f ExistsInDef Subset TypeMismatch
b1953d5b1dd8f239ccbfdb4b4cf928cc7a14e609 ForallInDef Subset TypeMismatch
d3d605644f12f90574af8f9e24c7e762e3eda7b4 ForallInDef Subset TypeMismatch
8ef667093f70668f3930ad99bcfca90fc1bbf338 Choose Subset TypeMismatch
ef41b4815ff86b2ca1dabc7a4235a116c189f78b Choose Subset TypeMismatch
66ff8bc12a877b216788c005eab6449c7c5d1dfc ChooseInDef Subset TypeMismatch
ccbcca040658456b1a157e0d2b0eab07178e24e0 ChooseInDef Subset TypeMismatch
4aa8f06131456e285a4ce66f1cdfa40a75edf916 TupleEmpty Subset CanNotBeCase
6f1007bea6ab4a3f9caec5c6e52e463518e3abfe TupleEmpty Subset CanNotBeCase
f3e1558c2dc99afa95607188d00bdb84a7484d35 Except0 Subset TypeMismatch
b3965b7161425d351ffe84f2a36ad8029728b066 Except0 Subset TypeMismatch
d76702b54b8569661ad0a9efff164af1b2b073a4 Except2FunTuple Subset TypeMismatch
0b87004eaca4ab018689aa2dd5647aa84883ea03 Except2FunTuple Subset TypeMismatch
706fbc6a1330252c0c2b28a82e0372ec1af4d505 NumZero Subset TypeMismatch
9919c6eed7d1c6c66e9b9dc8f550042d078252b5 NumZero Subset TypeMismatch
470574e8dc7073c70a4d7330ee42b1a04ea54bc4 NumOne Subset TypeMismatch
295f86c7c0abee69d6f85d08ade9ee575d921027 NumOne Subset TypeMismatch
bdad8bf1cd3fec4476c9aeb27f8fafe25466e1dc NumMaxInt Subset TypeMismatch
df092dde943ede8b97f178645143fb85bdd30efb NumMaxInt Subset TypeMismatch
af0d9e51b1c00cd0dd19d3ec1fb19aa72c69c3eb NumUnaryMinus Subset TypeMismatch
7d58e139b7d3ffc99d6bf9a319f284a1eccb8909 NumUnaryMinus Subset TypeMismatch
1691d0d926293ef22347e48d35799e812e44b12c NumPlus Subset TypeMismatch
ce2b3c142f9e3e3509a0a03b81c70a357e809933 NumPlus Subset TypeMismatch
bacb6205e3a030c418c112219d6fea1ecbac05f6 NumMinus Subset TypeMismatch
ddaf51d18226ea6573b69827e2d4861c58e06b86 NumMinus Subset TypeMismatch
a677f3680bf41710917a57f6c90ecab0a2712763 NumMul Subset TypeMismatch
0cf0ac12aaeb3b59ea52658c98c45382bd641791 NumMul Subset TypeMismatch
bd5d690e70866cff9480f62fc1ec8c6f169137e9 NumDiv Subset TypeMismatch
f641270ddb1b796f46d955d5dfd6bd532fa3bf3f NumDiv Subset TypeMismatch
5507760577c00c594e2eba86d2cdbd2169c338e6 NumMod Subset TypeMismatch
664fc85a1830432ed08a8f89f828063b12290325 NumMod Subset TypeMismatch
6f15c7d64fb4c97711781319130249d1ca1ed83c NumPow Subset TypeMismatch
d73d7465f74d0dadbe5da4cf8bd608c95ea49a7a NumPow Subset TypeMismatch
454d2db93ecd39eee097c70e9f8b80e36034fbd5 NumGt Subset TypeMismatch
6833d5cc00bc5a81c223e9a92ea2711a85ab409b NumGt Subset TypeMismatch
cafe13ff9c56012c7d1d38bf6fc0008a7c71d9b8 NumGe Subset TypeMismatch
46b56a2762c757d725b626ff85bdbf185536b17b NumGe Subset TypeMismatch
5cef31ea47d933d31beafb82b541c61a47f341ce NumLt Subset TypeMismatch
2455f8ee6ec484ecdb70d074a9050dd9c18a1258 NumLt Subset TypeMismatch
45107b4416ac41c9e6de024d5a6753590bcc6d25 NumLe Subset TypeMismatch
9830c60ebc49aa396f6abb37718d566a28f26c1c NumLe Subset TypeMismatch
8d444a5b54c31852b1adca584dfcdc837080f7c3 DefFunInDef Subset TypeMismatch
e327b4b342719af76b0b31929340ec4ad67eb4ac DefFunInDef Subset TypeMismatch
51ccdb84d11e0480fbc09f622eb21ba098a6787f LetDefFunInDef Subset TypeMismatch
d7dbdd3eb30fd62e53947b491ac81d9398e4632c LetDefFunInDef Subset TypeMismatch
1a2c86fa9f653ab59b8b8fb8a3d7e141234295ea ConstantModelValue Subset CanNotBeCase
3400849a3961fd0743c261cc99d9c04a05233c04 ConstantModelValue Subset CanNotBeCase
ad8e978d39496fdeb1f38238e28e850e038b9b08 Enabled Subset TypeMismatch
8f9d29a8cbb9826de1e8ae0cf95d4dff1aa45139 Enabled Subset TypeMismatch
b7c506b5803937df11fbe0a4cd78fa50464a0549 Assume Subset TypeMismatch
2ca1d1f04718d29a12a1351f2a27641586e69ff0 Assume Subset TypeMismatch
3d3dbc5890cdb536b4ed758c44aabc1a7a7959cc AssumeNamed Subset TypeMismatch
6d1315d3d8a1bd57fd1547ef982d1167c4d07a42 AssumeNamed Subset TypeMismatch
e78bfa89cd55eb2f4607c88e3d9030acc2bb4f9d IfCond Subset TypeMismatch
bbf190bb849010ce4e53a4761c1516ebfad32b24 IfCond Subset TypeMismatch
0e6b3f649995433138bec088bbb65f1ef7df8f4c Domain Subset TypeMismatch
fd65af9178ce3972dd4499f7bf0cdf798001cae7 Domain Subset TypeMismatch
661137fff0e94e34b49375a95dd69c92001afd2e Equivalence Subset TypeMismatch
a1fde86e7499b467f5129e466b2454dcbfd56873 Equivalence Subset TypeMismatch
10d0732b58d649b9ee77cd1e75d21f44cf48c3f6 StringEmpty Subset TypeMismatch
6471d687c61e3feab5e2dcfa9a408a3db20e7748 StringEmpty Subset TypeMismatch
f01eddecc541a23498028cee04603d992bbc42de String Subset TypeMismatch
f169f6d91b38b9a64262a5077435d12d0f1cef87 String Subset TypeMismatch
34aa0576ae1390f44c6eecc362b404791f9e9d29 SeqLen Subset TypeMismatch
e60d4e8bbff0f8bb63f70591f32627aa8a112c8b SeqLen Subset TypeMismatch
c06d07bbb529938cbec2ed6ef964aa4cc0961750 SeqConcat Subset TypeMismatch
51af6d761c47b20f23aca5d2b8307fbaf03b8775 SeqConcat Subset TypeMismatch
04e4d5b9ba4940c37cb2c81c94e83745f3e78913 NatSet Subset CanNotBeCase
c608288d7db49d5532af55813ccb60ba79cc45c8 NatSet Subset CanNotBeCase
41e625e88488d424cb801e125bc404bbae64b33e IntSet Subset CanNotBeCase
e0a798d3a32d618faed358f58afccf6587688e78 IntSet Subset CanNotBeCase
310914608869cea95709342f2349492b64d398ff StringSet Subset CanNotBeCase
ba86cf8672e2d0e22ce20bb947e18c2188f7a7ef StringSet Subset CanNotBeCase
b044fca0ed8c3f4ad892f56d4071bbb8970e4fff SeqSelectSeq Subset TypeMismatch
85a4eadccb0f6c6ed9f5f54f403272a8a5c5f495 SeqSelectSeq Subset TypeMismatch
09cbd696a2d4a4c269c49ac90d70ffd65a4fe53f SeqSubSeq Subset TypeMismatch
141742937623f7143f298889e64fcdf4aea761b3 SeqSubSeq Subset TypeMismatch
111ca6e5809568fbe21f62d5d4516e49d50ec36a NumRange Subset TypeMismatch
cc754fb375ddd2effdb36df559f7315dc557465f NumRange Subset TypeMismatch
4bd04e7ce601bb990521820e6e30bb65fd79f307 TlcExtendFun Subset TypeMismatch
b01a210e46f2541ff2047214290d9b72ac56729e TlcExtendFun Subset TypeMismatch
ac1292f51d140a1f663b6bef9d11de9c9fcb9d4c TlcSortSeq Subset TypeMismatch
59d0bcf84b9e10c06b8e46bcf0aca6cda1709a6e TlcSortSeq Subset TypeMismatch
ab6a838c139d16228d053ab8a5d285c5de2a71f8 BagBagToSet Subset TypeMismatch
beb7137efe50334b6c4914914d5ef880b7e42461 BagBagToSet Subset TypeMismatch
72748f2992e58e66d083ac2aff935f16d8d32313 BagEmptyBag Subset CanNotBeCase
1589e1d9c5006ecd7c749f4dcef195c88a0e4f70 BagEmptyBag Subset CanNotBeCase
f3a9455aa1e2afd8ae92d6176d0ccb26feb3c685 BagAddBag Subset TypeMismatch
6705efcfd4640350086ac6f8e57cd951edf8d116 BagAddBag Subset TypeMismatch
65ec2c6073ae041d2ffe4f0482f34db0b41f8b6c BagBagSub Subset TypeMismatch
0f4ab6cc15d0cd9f5bc2deb57c613fd0d65a7d2a BagBagSub Subset TypeMismatch
fc418e1bb743d230e49cb50ff82d044d176c576b BagSubsetEqBag Subset TypeMismatch
ffdaddd58eb160ca59089bb0d5591715d4215a7c BagSubsetEqBag Subset TypeMismatch
a9e8134cb74be25148990a4ac3e87ecd07b1e6d2 BagBagUnion Subset TypeMismatch
b52ef2a21c63ae3b94623be123c36464f62cdf26 BagBagUnion Subset TypeMismatch
76201768d5a8f8981d1c6755708c6721726e1c58 BagBagCardinality Subset TypeMismatch
73e3c57345b12fe9eddcf3e63b88ce1cb37484e2 BagBagCardinality Subset TypeMismatch
8aad5750b44c9ac54a36ade4a61d21284d8956d3 BagBagOfAll Subset TypeMismatch
3eb9394ae65c85b24263e3272f9b5dafe8114a81 BagBagOfAll Subset TypeMismatch
5dacffe18cda9a306fb577d456a9113b8d9b8b4f BagSubBag Subset TypeMismatch
48de7c6426839289e48cc4e2ee2497b73d32226a BagSubBag Subset TypeMismatch
f8f0a73a587c3683765ed99ca91f0d7d47ed22c0 SeqHead Subset TypeMismatch
43ae09c9fa4766cbaf0da5bd2d8f21e9c915cc68 SeqHead Subset TypeMismatch
b56980608e0d532a1689bf0e7ca206b2142d5b0c SeqTail Subset TypeMismatch
34ca97413f5824ee0c60630ff6f30879b22f725f SeqTail Subset TypeMismatch