Index

Skipped feature combinations by plug feature Domain

Id Case Feature Plug Feature Skip Reason
65d116f908d31468dd914c2f2da5388c2379902b OneLineComment Domain CanNotBeCase
689ead8f3229c7d72027a765c9db1c3ae7efa5cd OneLineComment Domain CanNotBeCase
d81708e874759811dfd6d593d1d646be8e2d1076 MultiLineComment Domain CanNotBeCase
d74e6a4ff90022323f54ca344757fffabbb1263e MultiLineComment Domain CanNotBeCase
59ac3844aaf5a0e39b960d3a60373c293f8f34b2 BoolTrue Domain TypeMismatch
d2e4f1af5ca44f2543186f99cfba85163218fc6f BoolTrue Domain TypeMismatch
a0093a3cfd7e1b1cb5bb537cb0a9f22932060370 BoolFalse Domain TypeMismatch
c01dda3fdc745da564afe1b828a0686d3eca4fd4 BoolFalse Domain TypeMismatch
1673cf6ee827910c18a5c0f0070306ff80ba089b BoolSet Domain CanNotBeCase
df98d7a7343e7ea56956274a5b696be68311b4b4 BoolSet Domain CanNotBeCase
4bd3ee4fb95fa767fb9eadaef2ac600926d1c958 And Domain TypeMismatch
52a4140b0edaf433f1563dd92e136b94e76a6615 And Domain TypeMismatch
e3344c9ba63b773206a3c98bda1781ff68341c3e AndMultiLine Domain TypeMismatch
77175810c17b4128ef739888f819782d0f98a81a AndMultiLine Domain TypeMismatch
8aafccdcf55c63f838175438bb943c64c7bfb9bd Imply Domain TypeMismatch
0aa0c7077ceb96422f8da5bae41ccef37a24570c Imply Domain TypeMismatch
aff48b34dac75d1bcd540753b8be3b8b6fd65f33 Not Domain TypeMismatch
8ee24fdf764530d51385d235e2772701ce30aa55 Not Domain TypeMismatch
e3279ffca99776f48d95a7cf024682c390f172be Or Domain TypeMismatch
341b72e81717db083407d2459aa6c19dd3ba23e3 Or Domain TypeMismatch
abd96cc58acb6c6b97a262c99beb1bd5a1016bf1 OrMultiLine Domain TypeMismatch
f95c71665440c2cd732562dcb35d68fa82bbb00b OrMultiLine Domain TypeMismatch
adc4e155cc8f588a9845c2097c42995c119b9688 AndProp Domain TypeMismatch
300a37a6d26512bd2745b87b7c8113dd87343dd7 AndProp Domain TypeMismatch
111ca800697dc846acb86d46e0e3aee254e2e16b Boxed Domain TypeMismatch
bc72f485327889e3f7bd3a9aed720c1d240fb0e8 Boxed Domain TypeMismatch
b51b2f21237c14003f8aa6bc1b684c291778bbdb SetEmpty Domain CanNotBeCase
950fe2455da69e70395737cfe679614457e2f20a SetEmpty Domain CanNotBeCase
c0af69d0130240ceb5b2af80d11aac6fe2d53472 Set1InDef Domain TypeMismatch
c41e09121faf43e2090db816a730c64aae266823 Set1InDef Domain TypeMismatch
7c9f89ba1a3f3de757fa77fbed5d3ceaf9825311 Set2InDef Domain TypeMismatch
753f94118f4a16ebbb207e8bf9b35c20b74fc905 Set2InDef Domain TypeMismatch
264b581fecfcc29dd6b952277b82216aee0d2228 InDef0 Domain CanNotBeCase
4942edeb1d1d04d65ffc086a19977aed15cb3289 InDef0 Domain CanNotBeCase
5cbdbf11f77e032f9cdc30584dfa5c592f4d0b14 InDef1 Domain CanNotBeCase
245c9f6fd978b6fcb9187b3ad09906d34774d5ef InDef1 Domain CanNotBeCase
11ecc1d313038f65ea9a24d52a12efe1ac033d7a InDef2 Domain CanNotBeCase
e14d3d288ab3e70fdd93c58723dc9e297608ff34 InDef2 Domain CanNotBeCase
7eff989328aa01a5f3945825db38c77e8bf2179e FunInDef Domain TypeMismatch
dcb4b5fa2e21d55fa4438ac60f261322f41461d8 FunInDef Domain TypeMismatch
8407f1fdbba79613b5259c2cf99a2ee6e3c5f04d Exists Domain TypeMismatch
68229a4adef90dac35d8512a459b6412125fe7a6 Exists Domain TypeMismatch
513cb6e3a15b31f745073ddeff0508af4559e84e Forall Domain TypeMismatch
1256929fc3c501a6ad15f014a6bc180652aef5df Forall Domain TypeMismatch
84f555864e14b9772e6a017779866347baec2f7d ExistsInDef Domain TypeMismatch
c8c34ea54eaf9f68083f694f8f29d8e0adc829b6 ExistsInDef Domain TypeMismatch
ac8bd59016725a4a5b8c27253d7092820d955789 ForallInDef Domain TypeMismatch
17fc0f4f7be22012505625c9664ff0108d07bcb3 ForallInDef Domain TypeMismatch
1379c671c320ebda379536a9813f5cb0ecbac66d Choose Domain TypeMismatch
887195362dcf883335110ba04bbb6a292f19ad81 Choose Domain TypeMismatch
6fe763d337a8d73e0d087295f3a0a7bd6c617408 ChooseInDef Domain TypeMismatch
14a31477b89b0dd13c0306e4d437032b1a02a20f ChooseInDef Domain TypeMismatch
5286b8a0c03e211cb60a046746385088567a634e TupleEmpty Domain CanNotBeCase
949531c8a2fefa54012a707f988b0b72031cbd73 TupleEmpty Domain CanNotBeCase
85fc7bc53514ace584926b446205905556a8beaa Except0 Domain TypeMismatch
1ac833060742ae8ca992412e92297484e732077a Except0 Domain TypeMismatch
998b3f519da3ee66fe0e2755bd604ec5306804ca Except2FunTuple Domain TypeMismatch
9207e218cd9b5977a7c6532b836131035087bdce Except2FunTuple Domain TypeMismatch
a4550dd28209c4b1251a15bed04515cd5dc99d04 NumZero Domain TypeMismatch
34d56bdfc218841ccfa9964b9e2e35c58b30feb0 NumZero Domain TypeMismatch
4407af23b1b61c79f6aca65eda01e037b638785c NumOne Domain TypeMismatch
2236110b9626c27b3cdff29f46b7d118062e83f9 NumOne Domain TypeMismatch
ffb4077ee3d57a2c91217fa0eb53678bfd552412 NumMaxInt Domain TypeMismatch
d4d78904ae345fc5dd82c4c3f59d2bee27b0eb6b NumMaxInt Domain TypeMismatch
f74fb6cf45e63ed4ab1e36740fc98876b86e58fd NumUnaryMinus Domain TypeMismatch
774a3ba8c93a5b487301d8ea04b436fa0dfeaf6a NumUnaryMinus Domain TypeMismatch
79778bdd7c0b9c425420adb76cea2eb42ed398b6 NumPlus Domain TypeMismatch
45e9925fb467a7f19291b3f446c47f22c5a7bb22 NumPlus Domain TypeMismatch
3c74294ce03db9fa17dd306829a3cbdc23d3533a NumMinus Domain TypeMismatch
d47177b0ba8429afa5030ec17c12f12d61aac1c8 NumMinus Domain TypeMismatch
d3abae7298d4180b70cca02a70744bba29fb61d6 NumMul Domain TypeMismatch
bc29ff3be559af6729ae88b73d532c6e09c29a7a NumMul Domain TypeMismatch
272577bf6cee80943fb6b07b6ae68c91d67c4bd9 NumDiv Domain TypeMismatch
c07f5d8cc09f9239851b96738ad4d2931cdb9f72 NumDiv Domain TypeMismatch
6286e61293eef8332f0b834411fa1b45599db3cd NumMod Domain TypeMismatch
e67444a93638f18374dd39930dc2a0905a3c0756 NumMod Domain TypeMismatch
37588dccd81835d72bc3ae1d1f601e0bd9679c83 NumPow Domain TypeMismatch
15f8b6e3ea1c5364e7654e6d9adaff398598a30c NumPow Domain TypeMismatch
8895bc98bcb8170168a9d5eebb925ddaba30b4b2 NumGt Domain TypeMismatch
5f01e67095712993b7cac1f9aa3b6bf06c955983 NumGt Domain TypeMismatch
8acbf3758389ae559496d2eaa26b6cb474f0d427 NumGe Domain TypeMismatch
098ce7383efc4abb1bb732ce71cd70f7f06b3d84 NumGe Domain TypeMismatch
b736ed6487dd6c9809c646dc90956da823003798 NumLt Domain TypeMismatch
ebfd6465933f0797af4906bacd9c38c586cfdb1e NumLt Domain TypeMismatch
cbd39f361016bfcb6cf9e92dfbe0535a5c4a0606 NumLe Domain TypeMismatch
9fb4168b8bb7858489316b243808f17bf7bbb5fc NumLe Domain TypeMismatch
25a7f3cba140c15752db7ea050e10f50c3c4de2e DefFunInDef Domain TypeMismatch
9fd17ff50cac0b1caa5f1938b538f6a3e70db185 DefFunInDef Domain TypeMismatch
43eaf45b4af6b1877b79dd214dc1c4b0481c34e9 LetDefFunInDef Domain TypeMismatch
dab15f6290d6a581f9a489909d8659a81ff4f55a LetDefFunInDef Domain TypeMismatch
a04a2428a0a294912294d1ab1847f4874974529f ConstantModelValue Domain CanNotBeCase
9665b35fab6eea18afd5e01386448b5345f611be ConstantModelValue Domain CanNotBeCase
17c8750781d2bafcf34bfcd1f2573f1a76ec4320 Enabled Domain TypeMismatch
091d7371f3d6bcb34dd716826ba47831fa5b1871 Enabled Domain TypeMismatch
59e3117fce49272671b74f329cc7961cb9710185 Assume Domain TypeMismatch
f4e6a15634d56f8e9d0930e6a6e0571d80ee359a Assume Domain TypeMismatch
6c58f59ecbd4c6e2886a15347e44a65daec2f69b AssumeNamed Domain TypeMismatch
9b4e9d3f2e46add38d8ed4aba09a8b738a9c195e AssumeNamed Domain TypeMismatch
212c8530de0a35672e729342fbc9bdda9e192e4d IfCond Domain TypeMismatch
a7af7c54931bd8774dd56ce83ec049fea2cb3b03 IfCond Domain TypeMismatch
047817a463c2e8fa1abe2a125946c7b6f861fbd3 Domain Domain TypeMismatch
4c0aa3b272e2e62bcbf2cfcdbca82a65925681e9 Domain Domain TypeMismatch
8654bb1cee2b335ee0d4c3d3a6daac99b4b25322 Equivalence Domain TypeMismatch
c134273911759b5752e0af77a6d5b668a3ff9edd Equivalence Domain TypeMismatch
7a4ff9de3beb3da6a07abfe3361b2cfec2c3fc17 StringEmpty Domain TypeMismatch
4cee60b51125e16a6fe20525abbe5f99e96845ca StringEmpty Domain TypeMismatch
4ada0bea2964e29eff589e5637ac9cf3f89a82ab String Domain TypeMismatch
307eb7335b263e13ab01f900ecf4e5ed23534e6e String Domain TypeMismatch
b21c5bce6b5e6734545a646b6fc0c3437cff6823 SeqLen Domain TypeMismatch
2ab6e59d634ef1a2a9b3f419429f4442b3f2b356 SeqLen Domain TypeMismatch
fb8427dc967dbee34b840eadabf83f934fc147c2 SeqConcat Domain TypeMismatch
ddc7f0c54dc11f7dcfd95e221e7a17b0fadc927f SeqConcat Domain TypeMismatch
20ad60adfeb68b4d84bb49e74b785f3efec16f00 NatSet Domain CanNotBeCase
690e4efea34244ebd870cb4067d7b7589288f31c NatSet Domain CanNotBeCase
24d1ea12611b216a3aa4d5e87d42d99a741e6b64 IntSet Domain CanNotBeCase
0183885811c0cef25a46123345346657ceb3ee57 IntSet Domain CanNotBeCase
07242ed4531faeb0963c027941ae2da863dab28f StringSet Domain CanNotBeCase
b87e0b990c5dfeca2eb4a22c8558339384834ee6 StringSet Domain CanNotBeCase
0860fc1d863a414f87e02c5066d91c6289014c46 SeqSelectSeq Domain TypeMismatch
86f99d95864573145c9d6cd9998f1f5d58c66438 SeqSelectSeq Domain TypeMismatch
60212d807fcb52531210c00607ccc16e69f3fc79 SeqSubSeq Domain TypeMismatch
b0059858bae4cac99dda0bf8b485eb7f01416a41 SeqSubSeq Domain TypeMismatch
2009bb91a1de085c51b2e7fedce61690889e280b NumRange Domain TypeMismatch
a1e0dcac82f3d2595d1bec3fc67ed5a638cbddce NumRange Domain TypeMismatch
740e794d34f05c5f98713de3c645f2af2f427243 TlcExtendFun Domain TypeMismatch
fa4ebb73dac20c57c5b2de94d241e60a384019fe TlcExtendFun Domain TypeMismatch
ce45eb75d1fbfd2794b0ef4afaa8a613bee69200 TlcSortSeq Domain TypeMismatch
03702b9a7dd4e0bf06a5f1cba4effac71a85ad9a TlcSortSeq Domain TypeMismatch
3fb4689e78ff7d8be7d50282be3051f13d57d001 BagBagToSet Domain TypeMismatch
ea28f6469adb4924be47abab01ad3d66e24a04fe BagBagToSet Domain TypeMismatch
1719fa8238a00e1d933c1c00e247118ac9c59032 BagEmptyBag Domain CanNotBeCase
36f215aea17407d30b040a9cd5184f14eb0b48ed BagEmptyBag Domain CanNotBeCase
f16d15383a73a66d4afbc71acb8ad20cfcc1e9d4 BagAddBag Domain TypeMismatch
6d0d3081839fca5c41d5f8097d9e437eaea628d9 BagAddBag Domain TypeMismatch
20949e815920520fcf7bef76065d8ab1005e3a78 BagBagSub Domain TypeMismatch
e33e72d1a7ded01ebb9c0f68385b5b31a6cca129 BagBagSub Domain TypeMismatch
bb6c553211c832b629f52eb88499ea03f38a7e84 BagSubsetEqBag Domain TypeMismatch
07022765fc966444bf44d219d13323b64b191dfb BagSubsetEqBag Domain TypeMismatch
93ed23f54e9e6450b2d6017c4ab9b06a8cc06aa4 BagBagCardinality Domain TypeMismatch
78d21524ae576d8b5f67415dbe8a2479b342bc59 BagBagCardinality Domain TypeMismatch
6d5f69d13c9d3448c29ef874f41ddfe6968dbe16 BagBagOfAll Domain TypeMismatch
f52efab3be9e48b47c91f973d55fffc83877ae0b BagBagOfAll Domain TypeMismatch
0f294ddb87783549135e2ad3866a0a55d5da80ae BagSubBag Domain TypeMismatch
e3b3315b1cbc51e59a035756ffdef493018ff0d4 BagSubBag Domain TypeMismatch
baa5922f4ce8d909b4b476120becac404e3c54b5 SeqHead Domain TypeMismatch
3920f6f84589b6f2457ca9d02be71165f8b4b6e3 SeqHead Domain TypeMismatch
bfc550342f2393440e05b6f5975df2212abb7b41 SeqTail Domain TypeMismatch
05d51a9058632fc09950edfa5b53ab2f1427935c SeqTail Domain TypeMismatch