Index

Skipped feature combinations by plug feature Not

Id Case Feature Plug Feature Skip Reason
bf9ed9290db4b71a1bb0169755e648dd70c12149 OneLineComment Not CanNotBeCase
8b8e543ba81831c8aa6cca1c7fdc6119057de0c4 OneLineComment Not CanNotBeCase
84c3084e02a9848645a50b455a30c7bbd8af49e8 MultiLineComment Not CanNotBeCase
91b87ece6c57c66bb6bcdd1fa171dfd516e64542 MultiLineComment Not CanNotBeCase
62c314cc4ab4012c40b2afca5f8baf3735fd19eb BoolTrue Not CanNotBeCase
3e1b39a3a87b91b70cd82d79ac1376c14f0c49e2 BoolTrue Not CanNotBeCase
1cfdebeac76cc49377f57dfd389d91c82bd316e2 BoolFalse Not CanNotBeCase
49f4985ced80a04d73072a5304758b2d9d0a16c7 BoolFalse Not CanNotBeCase
140e264b37decdfc580607789841b58557ce6a2c BoolSet Not CanNotBeCase
3c833a739e8c49f82b700e1d847fab9bf5469836 BoolSet Not CanNotBeCase
5d20cc35af76f7945dbb05f79dc4cbf3d2b2bbe4 SetEmpty Not CanNotBeCase
ce6a8272b990173791a10f1546c9f3df013b90e1 SetEmpty Not CanNotBeCase
eeba6b9d6d1ec6c13bd3faa675c26f758fa01424 Set1InDef Not TypeMismatch
54369e9746aafa8ceae2e0977f6d3e95bc085e1d Set1InDef Not TypeMismatch
2b16de249e8548fc5a8becad66666e8a0c56d794 Set2InDef Not TypeMismatch
f5d335a26e2997fb05d893b76270b6dda244b45d Set2InDef Not TypeMismatch
ed20f829aaf221ec663ca0d53daebb078667f354 InDef0 Not CanNotBeCase
6903c28ba00507bf1458ee13cd0519c1d2cca65e InDef0 Not CanNotBeCase
ffcb8b40a86463e2728619b1bd52e921fe2e41c2 InDef1 Not CanNotBeCase
afe60821d2bf0c5b658e5f6829eb65587d3a5133 InDef1 Not CanNotBeCase
674ef33c3bcd853e4b82ac37d34eb788530133a8 InDef2 Not CanNotBeCase
0f2f5b8fef93d9f77b68b303396cc6f7b857994b InDef2 Not CanNotBeCase
2dc0559bfdb9dca55628d35a6dddcfd9fe5b1fc7 FunInDef Not TypeMismatch
0b6b82cd838fa1a62bcf10c37fe5541c85d2ee12 FunInDef Not TypeMismatch
974af5d18b4d2dc0cb1bbd1ce8596edc788ae589 ExistsInDef Not TypeMismatch
940b57163533e36704666153f7ae5dc0a0d53bf4 ExistsInDef Not TypeMismatch
c003b3142f5951cee186ba8e3c2e8f57e43e8a7c ForallInDef Not TypeMismatch
e24924650039bf7656748a661c31046b327484cc ForallInDef Not TypeMismatch
b2472f780d7830ba91e404bf388a7788f17f3fca ChooseInDef Not TypeMismatch
0531d81e35dec131a5d0609762545ea87f859532 ChooseInDef Not TypeMismatch
9eac7aeb858424f9464f9757f4ce2902e7aa9105 TupleEmpty Not CanNotBeCase
076addb7788079026d07e3cddf5e8424caad494c TupleEmpty Not CanNotBeCase
13c4d0cde48ac681217eeab90b8907d85e3f1f07 Except0 Not TypeMismatch
8a298fa5b95b3ff09fa11da6eb69ede85c8dfdbf Except0 Not TypeMismatch
19f4bb917f08e81ed2afdef6849cc2b576db9b12 Except2FunTuple Not TypeMismatch
9be91298e3a720d8ec07710982fc71fd8441716f Except2FunTuple Not TypeMismatch
cdd134d6c8529906346c74b8f2ed65d65429bd9f NumZero Not TypeMismatch
9d1edb1a838b0948f2ec5751fd19d27d449040f7 NumZero Not TypeMismatch
094bb4c9e01c346923c2ef387bfa508186b8ceca NumOne Not TypeMismatch
5488ba57f9132be1cd29e6a57e2298c2899a859c NumOne Not TypeMismatch
bdeaf3c3f674397473cc6c6de71751400dbb4594 NumMaxInt Not TypeMismatch
dea83ccc0015942e8779f2d0deaa50d0a9a45e7a NumMaxInt Not TypeMismatch
8c0385fc34946a49a42ecd10a9d036d9c605734d NumUnaryMinus Not TypeMismatch
00f0225da463baf5b57b86d399a759b4e545628d NumUnaryMinus Not TypeMismatch
a183c76dcba7dd5c32c9356e49f34a68988e81d5 NumPlus Not TypeMismatch
2fe93d4a9e8fe611529fd6caa9cae48f1843c578 NumPlus Not TypeMismatch
247a4f7ca8c76da526158a95f076ba7c3359dafa NumMinus Not TypeMismatch
640cdbb1da05210ca2adae8b0598420c95bcc503 NumMinus Not TypeMismatch
78d5528d329af052754afd86b6ecc207a396ad26 NumMul Not TypeMismatch
1f9024375698a49c30f55d865fefe3082aebd0d6 NumMul Not TypeMismatch
084c12f761c11b428b29146bab956c3801be6023 NumDiv Not TypeMismatch
7769562eafd996f80acef3bee031e1718e3ac5ea NumDiv Not TypeMismatch
344cf0d64766d0a79ecc4f836de93263d1cebdf0 NumMod Not TypeMismatch
a6186689533091d9bc42632be3e0a7e0fec3c1d5 NumMod Not TypeMismatch
70e848823fc4ce027c4d39d0fbd86e841bc726e6 NumPow Not TypeMismatch
3af963fbfdab228a81b3d290a5336b2f79f9f3ce NumPow Not TypeMismatch
65235854943acf3c5b6d29d6397918544c0d1a0c NumGt Not TypeMismatch
80d5f14dfcf1c7509961e61cc482d43e494baa1f NumGt Not TypeMismatch
ae92223bd37118c24cd86abbb6c5d2aff82e9f6b NumGe Not TypeMismatch
bea3d3c61d2e3ee072fd6082f0b1533f6b5dafa3 NumGe Not TypeMismatch
6d1d76d898ed691b6ee7fd5f0c963efb3571bab8 NumLt Not TypeMismatch
b3a5ca87e4a81d6e212da4dd15b8ba61f5464927 NumLt Not TypeMismatch
84ff708920400828dfa8c18d01b2ea770c7b123c NumLe Not TypeMismatch
edf63a12b6d163b0f2f7e238527497b242c97519 NumLe Not TypeMismatch
b7c972df64cb56f27307d1ae706922ff64fed836 DefFunInDef Not TypeMismatch
919be7dede43a58a6c9b7f0f0bca1df1c00f0aba DefFunInDef Not TypeMismatch
74ac43955e9d5bfce4da7926a9a7ea066c4e8d3b LetDefFunInDef Not TypeMismatch
b48a5097979e3cc4990a8141e489f89eb3372fb9 LetDefFunInDef Not TypeMismatch
7c8b8c697e6b083616400140e84cfcaee9e90dce ConstantModelValue Not CanNotBeCase
b24a54927ec810fc9c8cf309bae36c4f69b84af8 ConstantModelValue Not CanNotBeCase
dec2a311bad9c125c02596d13e3db202ed301285 Cross2 Not TypeMismatch
670727684db80ae16a3c5af9cee94f2ffbd60814 Cross2 Not TypeMismatch
13827048a79fe03e0e483d7ada633d9d153b5233 Cross3 Not TypeMismatch
637ba0681a7be1ab3da67c430abd29a667ffee89 Cross3 Not TypeMismatch
f8b9cee5edd6aabb7601a86eaa120437149d0a90 FunSet Not TypeMismatch
17415fa0b9e63c2d8f6639b946451accb93e1e08 FunSet Not TypeMismatch
32027207a0c9d3214fca31770d3176a2232f67ed RecordSet Not TypeMismatch
899920ceeeed40742c9247d8e0df255539ebb2e5 RecordSet Not TypeMismatch
c0430002cfeaa2d75119de70aa4924d7e6debba0 SetDiff Not TypeMismatch
77fe34c3895718a9a589c49527ea839763473cf6 SetDiff Not TypeMismatch
cc785f8c2ba984c67fc8e3b59eadf42a773fbe9d SetUnion Not TypeMismatch
ee44609c1e5f1b118bc44cecf21144ca72cf70f1 SetUnion Not TypeMismatch
b0d48c4724b8be14a0ae7e066716941aa95f3202 SetIntersect Not TypeMismatch
7f126eaa0a2744ee52c057090d0d5a5a5c325a94 SetIntersect Not TypeMismatch
a7c475c21177ca7458396f4f95530d14f9396452 SubsetEq Not TypeMismatch
8bc3f7f9821c273fe987b2b14d58bebc13ac7c57 SubsetEq Not TypeMismatch
707592c93ff4907aabdde819aac94550d11825dc Subset Not TypeMismatch
4e58885970dac19e2406eda784f47d902944cad4 Subset Not TypeMismatch
1273af220fd06c0706c202d5a8dda6fd24baf1b9 Domain Not TypeMismatch
3d1f6a0f32f26fd98c9761aea21355957d5a8b4d Domain Not TypeMismatch
d7d618bd0f565b7e3991fdb9b60062cfedf016ee Union Not TypeMismatch
22a3ec224c9e7f989f0dff2e0027c121d29831a1 Union Not TypeMismatch
e80358d566f1339f5e836e632724d72eeddb4665 StringEmpty Not TypeMismatch
89cd138135c202b3cfda96e0b27aa8c47c954359 StringEmpty Not TypeMismatch
c442ed30e9d367c6fa9f7b3d1f264b33dc68f45c String Not TypeMismatch
6a7325ea3ae334bfec2a622612150e1bde575336 String Not TypeMismatch
6814515641262db57e7cac038793bd5d7861555f SeqLen Not TypeMismatch
2b460e50df15c8e9049604eab8422338e268fbf3 SeqLen Not TypeMismatch
5b9eb9fd76467da7abcdca471494b59ce6bc9755 SeqConcat Not TypeMismatch
f2f96fb97877b35318ba89d9399e71ce56bc4689 SeqConcat Not TypeMismatch
0108e46789569e90823000073082c04b8eb4c6c2 SeqSeq Not TypeMismatch
e02e264c1acfe990f132d32319cb046a06a2bdcb SeqSeq Not TypeMismatch
4c1a15a646bbbbaca9484022f36db57d99dc4201 NatSet Not CanNotBeCase
1c4593383f0e5f0da41284af2a4832a9f9fd0679 NatSet Not CanNotBeCase
8df609331196419ab258db3e9d5873cacc497362 IntSet Not CanNotBeCase
9db30c78f7982cb8b86e8b3d4b80f8097f6d9bb7 IntSet Not CanNotBeCase
1e3bf1d2c8249a44ef300aecd352510ca3401489 StringSet Not CanNotBeCase
bcae122408463e2b6fdb6fd9b5f1ce142d343f4e StringSet Not CanNotBeCase
3d5e17ccceb7403b570ec5cb3f69502b1c3d93ca SeqSelectSeq Not TypeMismatch
2e00bb6407a953f8d741fef9afbd19712c18b889 SeqSelectSeq Not TypeMismatch
5fd5b59e62cb3abc78575f9ec3d1712084ac0009 SeqSubSeq Not TypeMismatch
2df9223cc68beec92a768f6bb5c2dfe5e24f06a3 SeqSubSeq Not TypeMismatch
22da6e4c99c17cd2a53bf1a8b0a9f4903b54997d NumRange Not TypeMismatch
7203f587944b2226b7dffeca49253b87817f2ce6 NumRange Not TypeMismatch
b8a009c44c746e7df35835d7259ab869b36b2c48 TlcExtendFun Not TypeMismatch
e63afaa26032496ae95774456cdef8821b12f67c TlcExtendFun Not TypeMismatch
38d7af3692d2b08c5f758e059b9400ad965b97ee TlcPermuteFun Not TypeMismatch
50c988dcebf40c86291ece81109b65f6116bcdaf TlcPermuteFun Not TypeMismatch
db01befb23d4bb0c85436a2256865b500e4deb3e TlcSortSeq Not TypeMismatch
3c4a7aec7d6e8b730c2b749f65131a9dc1377517 TlcSortSeq Not TypeMismatch
7cc0029af020c78c797161bdf44678e749e87b80 BagBagToSet Not TypeMismatch
7c96cdaf44527a34f7e1fcdea04e0fb5c70dd1c3 BagBagToSet Not TypeMismatch
76cfbabcca506c346b1badac3d4730fbab91604e BagSetToBag Not TypeMismatch
3106c23edbea20ca93bde05eba933f67ce5cbc82 BagSetToBag Not TypeMismatch
113d6a4dcd58e12ac7b9e387b8da173a92796bfa BagEmptyBag Not CanNotBeCase
58246743fe8faba14298502f4dca6ba05b34e7f3 BagEmptyBag Not CanNotBeCase
5a794f5bca2ec938c2b5e95bb37ffd404adb05f5 BagAddBag Not TypeMismatch
28ee5a77fd69e665c0ec3cee0a300c4086a89591 BagAddBag Not TypeMismatch
e79b00affb256893263bb909d58d5485b97e78fc BagBagSub Not TypeMismatch
44e6f6ea568d4ec90c9383b3275d817157fcdf06 BagBagSub Not TypeMismatch
2e0c35b8bffdbcb7f8990de9d8edc3a613ff3023 BagSubsetEqBag Not TypeMismatch
db30ef9a9cc33c095b3be91522bc22921c563fbb BagSubsetEqBag Not TypeMismatch
3ba1640d724f96d30a10ab640eb27d6b7156ced2 BagBagUnion Not TypeMismatch
c28b1687efad26a935ed0dd22398b18752e8a328 BagBagUnion Not TypeMismatch
4011f48866596a190b985fbc4c1a0b0b469e1cbe BagBagCardinality Not TypeMismatch
3923372c379ac17c5a1f005a42409082d15115be BagBagCardinality Not TypeMismatch
312821bea599b246c844faf896d6164146bf4d80 BagBagOfAll Not TypeMismatch
1a2a400d44472d8e4c2d93a8cd5dd45787f987b3 BagBagOfAll Not TypeMismatch
6b87d90340baba4e8249579757f60f612a667d22 BagSubBag Not TypeMismatch
00d06930a20230ca9a941e038f9a7d9c0b39c890 BagSubBag Not TypeMismatch
ab1706d6b6da9bcd960aa48a2c5c23395e36176c FiniteSetsIsFiniteSet Not TypeMismatch
4210ccb37795eb90cb1a5a27af9444a175d280dd FiniteSetsIsFiniteSet Not TypeMismatch
2698ed7638040b35ae4d151c29ba542b44d95b20 FiniteSetsCardinality Not TypeMismatch
fd24eaad2cfdbb61d9013f028efbbecab39f7ae4 FiniteSetsCardinality Not TypeMismatch
b63ce1b816430981372a531e38b888c52d3ef552 SeqHead Not TypeMismatch
938cfe61d8b8a6788d9f286ca02ae9119c2f0755 SeqHead Not TypeMismatch
b920aae1c495c17d7591e9b31169ea77c7ea633f SeqTail Not TypeMismatch
5fa4b9100c8e8463a79ba5450278342eeed1e41e SeqTail Not TypeMismatch