Index

Skipped feature combinations by plug feature Tuple

Id Case Feature Plug Feature Skip Reason
f23569ec895888399e75974551e63a3a4d5490bd OneLineComment Tuple CanNotBeCase
a901a5ad1b1f644d389789c91f6e9c8fad696c58 OneLineComment Tuple CanNotBeCase
98b0814a2b94183a521f64456d7999049d257661 MultiLineComment Tuple CanNotBeCase
352ff67d2e17b79778a8b029c26caa6dc9079686 MultiLineComment Tuple CanNotBeCase
56c408639cf58aa033ae22b9c2eac747c0db3040 BoolTrue Tuple TypeMismatch
c66bf36d215a02cd823ebd623ab5dea9edaa95d0 BoolTrue Tuple TypeMismatch
39df9bb188dc58338aaa7e3b63c6b84c85640591 BoolFalse Tuple TypeMismatch
4e3ffa1b2154aa7ef4633e5e7fb0cbbc13205732 BoolFalse Tuple TypeMismatch
71d11f5f24ae48f9a5fd723fe59937354822403c BoolSet Tuple CanNotBeCase
9509f401d5fe4c46d476e98ac4bcfa9da7ccdb71 BoolSet Tuple CanNotBeCase
5f20c024fb380923765425860108fc35ccee44da And Tuple TypeMismatch
830651d4a545726d512423d4f46b2edf58a4fdfb And Tuple TypeMismatch
f83e1dd5da1c2eae9d5619915d56b2ef95599ed2 AndMultiLine Tuple TypeMismatch
baa03c1e7204c20afd305d67f3b2293b43843cc2 AndMultiLine Tuple TypeMismatch
a5aefc3f3dfbab6210d79bcf567ed3c24a627c89 Imply Tuple TypeMismatch
fa2eb1c326b39988337791577bd1358402dd5238 Imply Tuple TypeMismatch
ca50d2f19c232f60870e1cc807f033c93d0a4d03 Not Tuple TypeMismatch
b8f245fcc3f8b09d8cf6ae30a9dee1228d0940bf Not Tuple TypeMismatch
ead180903ac5c42d897d6b49d92a53e4f825949e Or Tuple TypeMismatch
a30855f751042e4401a46271ce8d7354975e50df Or Tuple TypeMismatch
8ce40b0400535ec9e23f140c5ec1d760290f4ca7 OrMultiLine Tuple TypeMismatch
75569f532487112f9339cc8562b5056cf90ae543 OrMultiLine Tuple TypeMismatch
dbf2398ed5add84da45e3bc78d81c3e10143098f AndProp Tuple TypeMismatch
3043757c59508f49809eebb4ce57bb5edc95e4f1 AndProp Tuple TypeMismatch
2f3cf0d92151f292324d660d893af343ee1c1c7f Boxed Tuple TypeMismatch
f8b393ebcb64d453963e5e5cd377cbc9707447ee Boxed Tuple TypeMismatch
7f6258316e771cb73625b17a8769158fec1482d4 SetEmpty Tuple CanNotBeCase
cc5cb8bbed0576ea35ea9bae7263bdd5642b8191 SetEmpty Tuple CanNotBeCase
c15fba15f8c1e412b1184976bea15f5327e12229 Set1InDef Tuple TypeMismatch
cb82df02e1132ba26ff8a722da0568b30a77ea94 Set1InDef Tuple TypeMismatch
da41aa4569032bea236ee76466f6bc105faf2230 Set2InDef Tuple TypeMismatch
6f4c871f4ac3ec07f72d8568359dfe290cc3e411 Set2InDef Tuple TypeMismatch
33d365ab6190dd57e793f7d2e0ad11a449b77166 InDef0 Tuple CanNotBeCase
ed25047f36942d01d52c0afc7a45e1d51097222f InDef0 Tuple CanNotBeCase
71052f43a0e4989e3e0ddec526b2ec3deef2d2c1 InDef1 Tuple CanNotBeCase
1b7f298d10b2a4c5e1228ee30c3923864b8cd18f InDef1 Tuple CanNotBeCase
a1ade93b83c54c4a80f8a4abc052402af735f293 InDef2 Tuple CanNotBeCase
10581513712a910632090733d4439b68a5c40aaf InDef2 Tuple CanNotBeCase
a65039854003d0d1a85aa93cf109683940a74348 FunInDef Tuple TypeMismatch
e0f9c273765bd8cc002f4cfad9956e60ada3135b FunInDef Tuple TypeMismatch
95ccec66cd8e447820a1259a6dcc811de178ad52 Exists Tuple TypeMismatch
731eefadde10281317c88609ce210dc84c4f5c0c Exists Tuple TypeMismatch
83857745577929c035693d591f72c8c55c160a11 Forall Tuple TypeMismatch
649da147b0c7f2bd0ebb348fdb74561e654b5f9f Forall Tuple TypeMismatch
ca1d73d5d9d9ee6c6092c268e34eef21936d2c92 ExistsInDef Tuple TypeMismatch
bf614893d09e64309678817f393d122731527e29 ExistsInDef Tuple TypeMismatch
fdcec1725ab6dd0fdd9f4f6c1c707d1bef596c25 ForallInDef Tuple TypeMismatch
92143e4dcfa1f06fdd3ebcab4239fae3799d33fc ForallInDef Tuple TypeMismatch
f26c88098fccaa968ed70a447cf5976cb177ad93 Choose Tuple TypeMismatch
b9bf4c193d798f587b8a21088d90f54c0e9ee4b9 Choose Tuple TypeMismatch
66676d556c018e2782dd40f403dffc259302550c ChooseInDef Tuple TypeMismatch
1c60c50ae894245a425e8f9b7314db895d5fd37a ChooseInDef Tuple TypeMismatch
f2c69b143bd2cad85ff4616b616b628a9f1a2713 TupleEmpty Tuple CanNotBeCase
a063fa3008800ab05ddb90a5986365ae65de9dd8 TupleEmpty Tuple CanNotBeCase
6b69b8c100833fd2379482b15147485ff8a45110 Except2FunTuple Tuple TypeMismatch
313d9006f5f4f56c13ed189a98b4a52b1c62aabf Except2FunTuple Tuple TypeMismatch
cd68ef6d214c0f3b76cdbfe10fd54dff1ccdcd47 NumZero Tuple TypeMismatch
53f7b7a2c1db6359514eb3cd0bd02de138873c65 NumZero Tuple TypeMismatch
5932c54ed0261cfb116ca200ca7d7f99772738a4 NumOne Tuple TypeMismatch
5bd5446c365228e286052ecc683e80f6fdeb162e NumOne Tuple TypeMismatch
ddbf613a410922cf93585db97837147135a151e4 NumMaxInt Tuple TypeMismatch
3f062823d1667a18d2f00683cb6ddae6bfae3f4b NumMaxInt Tuple TypeMismatch
52414d21e41d9865f6e7baca590ac07256382104 NumUnaryMinus Tuple TypeMismatch
825aec40b7f9f6f77ed60b837819dea0daed75f5 NumUnaryMinus Tuple TypeMismatch
d100111908667d7c134a39fa39d86c2c33523add NumPlus Tuple TypeMismatch
401ef1bcbd74d7c6a8d4970bc578bbc2016a79d1 NumPlus Tuple TypeMismatch
48fb199fa7969293d9e59e038deecde519751643 NumMinus Tuple TypeMismatch
f4ea3c3afb0e5253e92440168a074d069bda3119 NumMinus Tuple TypeMismatch
03be8f3be8bbd697dec8faa9e9902c269240bc67 NumMul Tuple TypeMismatch
fcd53365e8b72ee942c96fa2ed3ad38eed70f43f NumMul Tuple TypeMismatch
2849c7d27a07e377b2d987a56baa73a9f31cf9c9 NumDiv Tuple TypeMismatch
64e68f73610e8613e9a06e98b691b15650c1c2ca NumDiv Tuple TypeMismatch
4c559ac7dba0f6adaafa7b316752dae06dc8578a NumMod Tuple TypeMismatch
3121f8ae6d84191dbccd9a4553a8ac518e96735a NumMod Tuple TypeMismatch
3612b95d47b5f49245ca6b27272afc05a174f08e NumPow Tuple TypeMismatch
33734c988bf0b21375f78c68af652ab169a67335 NumPow Tuple TypeMismatch
ade75106d293f639ea9f1314a7dc593b3c1777b6 NumGt Tuple TypeMismatch
edad7659207274943b553048568ee1b3d6474e25 NumGt Tuple TypeMismatch
aea0e1dc1f7d7067d7e170b61b9af72472b91d32 NumGe Tuple TypeMismatch
8fcec8faa40a32589eed5c25dee314fc98bd9669 NumGe Tuple TypeMismatch
a175039f4bdb93140661dbe0b4c9292026de4124 NumLt Tuple TypeMismatch
963f379fce3ed1ce1f9f266109781da6f3df22ec NumLt Tuple TypeMismatch
b83931eed0daa9c639ae0adb8bda34049e501731 NumLe Tuple TypeMismatch
fdaabbc310b450ee0171692c82028e8c03d20685 NumLe Tuple TypeMismatch
97eedfcda58fcb551ec81567c3c6533d995fe4a4 DefFunInDef Tuple TypeMismatch
99620b9b25139293abe8514ad08670cb8f421867 DefFunInDef Tuple TypeMismatch
b1bdf3370af3d6c97e40821d49ee6bdcde060278 LetDefFunInDef Tuple TypeMismatch
e5569346011a3c9019c3defb6eb01bbd0be12bbb LetDefFunInDef Tuple TypeMismatch
c5a80ed9c7e8e1329b27e73be640a2ae8b4667f0 ConstantModelValue Tuple CanNotBeCase
1123891cf1f3d0bf7a5ff060b0961e1a807e987b ConstantModelValue Tuple CanNotBeCase
21034fd77b63757a1fc78ec4b6e036e3bcdadea2 Enabled Tuple TypeMismatch
ad5f11ed7cd4ae8c4dc081aed3a8a4574bd6789b Enabled Tuple TypeMismatch
76df12fc8fe239cf1b4dbd5fa2bcbdcad9164cb3 Assume Tuple TypeMismatch
631aec12b15ebc4b3c872acd314c2386c3db8c9e Assume Tuple TypeMismatch
fb49c0de2752a17961bbbd9e326357c49f52ba8c AssumeNamed Tuple TypeMismatch
36eb994bbbcef11651db0a8ac73c5071896cc8a0 AssumeNamed Tuple TypeMismatch
1a37ff78879a4e70917ee337038d655880db796c Cross2 Tuple TypeMismatch
844bc694f4b9102ab8b24c27df3ecaa24d8ba296 Cross2 Tuple TypeMismatch
2ba3e7fbd971faca973687a43d058b43e8035c29 Cross3 Tuple TypeMismatch
6630f4ff291a0d9e0911c3141da34c71c1e9306e Cross3 Tuple TypeMismatch
66427290ff27264016e23f2c6db5e5d8693a91a6 FunSet Tuple TypeMismatch
87eb6186e8604847fe9f05585234cad01def7a10 FunSet Tuple TypeMismatch
fa9535605f49e82bd181e6f7c1bb337e5e7b6547 RecordSet Tuple TypeMismatch
a8a82549223567ee6b98ee025de96695ccf4c2ae RecordSet Tuple TypeMismatch
a269c4512c9197706ffd9f6e669f8e9877c51bbe SetDiff Tuple TypeMismatch
cc608bdf531f63397ed912a1dd04067a06a525cf SetDiff Tuple TypeMismatch
b2cf0a5ed4b1266b1719fd3c542ffe09c933b1ce SetUnion Tuple TypeMismatch
93b2e375d40c7157e91bd6eb02c4eb5fff5281bb SetUnion Tuple TypeMismatch
aedf8cb8618c06260c788832573ab8b87cb833dd SetIntersect Tuple TypeMismatch
22ed79d77054e945c776d82dc57f6eb22deb9112 SetIntersect Tuple TypeMismatch
da0f1ef1eaa85bcc9d36e0ffdb87c031dacdb6f0 SubsetEq Tuple TypeMismatch
97707093f31a877655635660f4b439582cee611e SubsetEq Tuple TypeMismatch
caa82872e3d1fdb49c67d3b5cc5b839f3c09ca5c IfCond Tuple TypeMismatch
686359e998c65d773aa9b851eba428b184227c82 IfCond Tuple TypeMismatch
da2a9319a54f9f04f23be0d321f987e94592aacd Subset Tuple TypeMismatch
0a85d3570db39dc005547328b2e3cca6492b9792 Subset Tuple TypeMismatch
51c468bd622d2fbafa65b5f1a1f4a91fd3050773 Domain Tuple TypeMismatch
129c393d391dcf2f75e814aacfe31b531c8bc862 Domain Tuple TypeMismatch
7cbae0360091276c74f500572ccf375ca3999693 Union Tuple TypeMismatch
7945b18da94380d49c255c01c51326df30096dac Union Tuple TypeMismatch
f03c9bd3a7ae8876d935475df1ed163289b4cfac Equivalence Tuple TypeMismatch
bca7b9c47e968228e42b51e2f4be066c522a9b35 Equivalence Tuple TypeMismatch
c100bb2a5ee62e5df3104508986ba3034732db6f StringEmpty Tuple TypeMismatch
e3e354d53171c15e5d6c6f612eb827f51506b9b8 StringEmpty Tuple TypeMismatch
33254f70577315a5229e271247aafc2a95816447 String Tuple TypeMismatch
7078bdd712ddde0afb643a9ee25fa5072aab4de0 String Tuple TypeMismatch
0ad039aae8278359fa3bf1a7f9f694b9a69e6b55 SeqSeq Tuple TypeMismatch
4595ef263a4bcdf3017508ca4ce67f4ce3c0da48 SeqSeq Tuple TypeMismatch
b12705fa0bcb0c28207149f4f116b7929ff18713 NatSet Tuple CanNotBeCase
c5b590c918fd6bd3dba0d5faa72d31e185543ccc NatSet Tuple CanNotBeCase
74c87490e4b8ec66b5371226cf373698d7365ed5 IntSet Tuple CanNotBeCase
e05f587aebc533b1aaff6aca844508e9b5c0338d IntSet Tuple CanNotBeCase
7442a886e863598c7138508a0215ea2b8f7940b3 StringSet Tuple CanNotBeCase
7a70b1d1a29097a369278dc7771d20d8e253d41b StringSet Tuple CanNotBeCase
6abbaac569923d7639945c0eb21bccda4f3a05f2 NumRange Tuple TypeMismatch
58c3f4ee7ad58151c006c2f42dd848a81686e664 NumRange Tuple TypeMismatch
b5abbbe3098ea38d394f51a7e09337f0e43a80b5 TlcExtendFun Tuple TypeMismatch
ad99952a3370385a3e333b3725a84089a7eb2258 TlcExtendFun Tuple TypeMismatch
53b76779393c4d85a8e165a8248770ac087adf82 TlcPermuteFun Tuple TypeMismatch
76c47896301dc272cbd46de158bfc7020b549f08 TlcPermuteFun Tuple TypeMismatch
c28f133fe8e97ce31669ad5084576cecc10ebc32 BagBagToSet Tuple TypeMismatch
e51f86b06bd97d1414557de423e0544e867bc717 BagBagToSet Tuple TypeMismatch
2790984d2d5e161a5032d5c6e96d7c633839036e BagSetToBag Tuple TypeMismatch
795fad939f8f56e91ebb495392c0b31c1081e3a5 BagSetToBag Tuple TypeMismatch
e89b44ebe26b2619c66c95f6fa188629eb8e1fc8 BagEmptyBag Tuple CanNotBeCase
eaa012b5fa57aff978fde790211a7d36294adc31 BagEmptyBag Tuple CanNotBeCase
2b6ec0f1057c95f645dbbb1febe8e59285fbd10a BagAddBag Tuple TypeMismatch
f105bf94d2a1802ad19d2a810131a09590e88465 BagAddBag Tuple TypeMismatch
6ae9f7b457cac1bf35842022d7c140dbd0ddfc2c BagBagSub Tuple TypeMismatch
56cf82ddaff09493995fc95044a3f847aad4789d BagBagSub Tuple TypeMismatch
dd0c8b6d73168356f3c61b4273896fadb59e93b3 BagSubsetEqBag Tuple TypeMismatch
15e3cb321e294f13d3797d9c7c024fda34721ee6 BagSubsetEqBag Tuple TypeMismatch
2bee08930b9071e44ac034d688cf24105406804f BagBagUnion Tuple TypeMismatch
8f13eb315cc8e7dcadfc753bf497b8140c51f647 BagBagUnion Tuple TypeMismatch
ef8ce3f40e9a48708c6615eb790bd568a4e542bb BagBagCardinality Tuple TypeMismatch
638e9e629db1d7bc6ea44a62f089e05c640f4b42 BagBagCardinality Tuple TypeMismatch
0022f2727854320e95e4bb8c5ad5cc5bc143627f BagBagOfAll Tuple TypeMismatch
c43671fdb0ae9beecfab79c42c7469cf2a7a990e BagBagOfAll Tuple TypeMismatch
4f4b92060ca277e15ca7a43154b667cd6007b28c BagSubBag Tuple TypeMismatch
01ca9fec864ef0a8b266fb212ffaa8b42f703ec5 BagSubBag Tuple TypeMismatch
0d7f6739c1c2487e05065c0366145f30af2bb62e FiniteSetsIsFiniteSet Tuple TypeMismatch
b8cd52cbb587ebfd15c67215782d15d5e899acf4 FiniteSetsIsFiniteSet Tuple TypeMismatch
762e0b23e7a0d45ebc601907edd99f3916c025ce FiniteSetsCardinality Tuple TypeMismatch
fc176862eeab59c01b1ef6c194cb55cf10789691 FiniteSetsCardinality Tuple TypeMismatch