Index

Skipped feature combinations by plug feature Unchanged

Id Case Feature Plug Feature Skip Reason
a4d0b5a1b713e7dcc3fdc055cf267975429fe644 OneLineComment Unchanged CanNotBeCase
dc2494dc6afbfe51b2f80511ddd5277233d25a4a OneLineComment Unchanged CanNotBeCase
5e86b2008eef849b4cea10a3e5ac7175f5e721e1 MultiLineComment Unchanged CanNotBeCase
3e0fdd19c2da4ecb181c84b0f8312f6a51478a8d MultiLineComment Unchanged CanNotBeCase
b9e75c87468bf1ca0a84ff26131a6e339313ec2c BoolTrue Unchanged CanNotBeCase
d796e3495844f87e274009775ebd9b15a50307cc BoolTrue Unchanged CanNotBeCase
fc2cafb67a85c449034323e9927585b98588456b BoolFalse Unchanged CanNotBeCase
47ab42929e730f310be3b1383b7a13ef11b747d7 BoolFalse Unchanged CanNotBeCase
c1179f1c4168aeb0c00629a572873e304471983e BoolSet Unchanged CanNotBeCase
ef2ac251b7b1871b19bb5902f65cbb8ce01531e1 BoolSet Unchanged CanNotBeCase
5d779f30619eae0f3415b5fd5aef9ff38c8b2bbc AndProp Unchanged KindMismatch
af3ffed7b18d68874c68ad25806e33f92e6660c2 AndProp Unchanged KindMismatch
f180e49e68593e7570772a871312853a4399b073 SetEmpty Unchanged CanNotBeCase
6189d635c9618d5564e0fa7b00a7f4ac7be75728 SetEmpty Unchanged CanNotBeCase
d45765d7d912fbb8b1101d8a9e6cde89ff0f2ec2 Set1InDef Unchanged TypeMismatch
8e97356aabad08fcbab2ceb6e795d150bdcd0c74 Set1InDef Unchanged TypeMismatch
ecc06c83d27bdf6e01da217300d13fde06e75776 Set2InDef Unchanged TypeMismatch
914fc3e98ff7ad0740f90709ed380a656c36fdfb Set2InDef Unchanged TypeMismatch
2c9e93e7f5ab6e6b81590aad127b62d9dff000c1 InDef0 Unchanged KindMismatch
30d5415d9f3afb4dcec85bb40e9659e7c6556a47 InDef0 Unchanged KindMismatch
ffef9981c4bc3ecbae3fa431f5a3075ae6dbc4bc InDef1 Unchanged KindMismatch
5a0bb1638827a27202bcae87252755bd9fad1a7f InDef1 Unchanged KindMismatch
ad327214e7e313bccc8ebb680d95272f35355d92 InDef2 Unchanged KindMismatch
1021ee7a5a4cb06d163f5bae89fc1a21090c697c InDef2 Unchanged KindMismatch
bd57b86bf51f42077d235dd0fd2fa2027fa35db6 FunInDef Unchanged TypeMismatch
081bf1197a19c194e05f7c2f44e5367efa7090d3 FunInDef Unchanged TypeMismatch
3cecae897656ad8bdfe65871f7ac013496a3302f ExistsInDef Unchanged TypeMismatch
566450170f99739b0140b3e7ba01d5957685cfc4 ExistsInDef Unchanged TypeMismatch
ba6a216b6ce32578a38bb1e4f2beb5f668cba990 ForallInDef Unchanged TypeMismatch
3cc9abd27125ac8a6815159455b61d71cbec722e ForallInDef Unchanged TypeMismatch
10837274b487b80290ef1aab2c38e07d1acaba3f ChooseInDef Unchanged TypeMismatch
a9b9ae82c1bc406a333ef4503608573477961e48 ChooseInDef Unchanged TypeMismatch
952b304c1aa301fe8fa0f06f360bfa0b54c290ce TupleEmpty Unchanged CanNotBeCase
07ec4d49dd3f1a4862dcd12b0f7affd45b0438e5 TupleEmpty Unchanged CanNotBeCase
00e55a561e5d60cb892a4ab1e60a5baf0e13fec5 Except0 Unchanged TypeMismatch
42b9e720b47719306fac52a4707d64547c3fd8bc Except0 Unchanged TypeMismatch
b1729bccd3c057c027c7414f9efee89a019bd94f Except2FunTuple Unchanged TypeMismatch
b9e845e500d729c6152ab3bdc0eb95925bd4de52 Except2FunTuple Unchanged TypeMismatch
416608b321e1164a9502c55dc33fc91bb490cf40 Prime Unchanged KindMismatch
fb58f8e30a98be758d2b80532c6db1becbf9ff34 Prime Unchanged KindMismatch
721b2cc14e563b3753072a7445bd3a1627ab6afc NumZero Unchanged TypeMismatch
22731422569cb10e890f6c64b6d405e009ad9c4b NumZero Unchanged TypeMismatch
28a9d658831a5a6d10366823fe8d1f2dd365eb28 NumOne Unchanged TypeMismatch
e6b64bb9876eebba375dea854f1cbc3b66b89920 NumOne Unchanged TypeMismatch
d6db9ab0f9de0c4a37ff6c4135cc9dad938271ab NumMaxInt Unchanged TypeMismatch
c443bee6b4d7ca9116e34d28cd2dfaa9321fb043 NumMaxInt Unchanged TypeMismatch
4036eb27325744ed4b7e140fc684f68c4ff586be NumUnaryMinus Unchanged TypeMismatch
c19b04d4790cd826769cdefd6a937544364be230 NumUnaryMinus Unchanged TypeMismatch
84feb6c4cc4f18d07cd09ed083508b7a4251b208 NumPlus Unchanged TypeMismatch
9d39813f5456b56562c4f264900cc3d8f92535fa NumPlus Unchanged TypeMismatch
70acc70e97b97948c38ab50349fd93329e4762d4 NumMinus Unchanged TypeMismatch
82c60e9e317a9b5dc559580ab5e55a0c246af1fe NumMinus Unchanged TypeMismatch
a65740907d8e1ca3924147e7ab74e9fa6e91f110 NumMul Unchanged TypeMismatch
09ef141ee29ce4a09bfb005a04766d3e52042817 NumMul Unchanged TypeMismatch
1b53c641703e70f9be1b67c1988447e34fe9b9e1 NumDiv Unchanged TypeMismatch
8fc6767d7b91110e23229d587b65209b508e786b NumDiv Unchanged TypeMismatch
522d6df890fdb92cec8b8c1932dd31b093fa02b0 NumMod Unchanged TypeMismatch
5561163e1862dff64de6c3794c8573df6cd8003c NumMod Unchanged TypeMismatch
9b8159d448b697a1b23c1212fa6ad276ef72b674 NumPow Unchanged TypeMismatch
70ea79a94ca3926a30e4258e8736a4f75b31b08a NumPow Unchanged TypeMismatch
8348d53788b13b7d379c749e020651950b5bce7f NumGt Unchanged TypeMismatch
ec35c2440a2a461fa5dbe767978ff63ef838aa28 NumGt Unchanged TypeMismatch
e2745f0ec0a859ff62521cc32783e6bbafbe11a9 NumGe Unchanged TypeMismatch
a9de49f5cd8267f11e8e8c4b1486bdcaef64d83d NumGe Unchanged TypeMismatch
eb6123f1d2362b8999323c3674e15c4245a5357b NumLt Unchanged TypeMismatch
d1effdcd29be9e187bbec7331c38d0436a442674 NumLt Unchanged TypeMismatch
60a9b66345142a469b4aead6dac7eeffb3f87859 NumLe Unchanged TypeMismatch
2f762ec64c9f177b131cd84ef820c71539d8bdfb NumLe Unchanged TypeMismatch
65da195064ee07b5e9934a13705a17fe8be5a3ca DefFunInDef Unchanged TypeMismatch
76972535015dbc3fb6aa0718a80f8a855db6eeca DefFunInDef Unchanged TypeMismatch
b63d67b0d886d2def9e414d53fe6c26715f0c2ae LetDefFunInDef Unchanged TypeMismatch
940e697f3511a0bb4824f50cb4ed2d277a82fd62 LetDefFunInDef Unchanged TypeMismatch
aa16e409d2df9ad7476ebbd210c1550534cd5927 Constant Unchanged KindMismatch
c0ba308b68f7d7287ecaec3dcd6e035fe63f919c Constant Unchanged KindMismatch
1bbd920dbdec7b859859d62b5c96eedb4f4af7ad ConstantModelValue Unchanged KindMismatch
5c34679612205717da14d47b9791ebdb11a93b2a ConstantModelValue Unchanged KindMismatch
6361faf7d6f0b47ff98924f27b916c337fa20e8b ConstantRank1 Unchanged KindMismatch
bcb2aa0169a430b592621ca29aad8b04ff9a680f ConstantRank1 Unchanged KindMismatch
55f0e1d0cc746e8310659ee78131fcdda5a71950 Assume Unchanged KindMismatch
cc9f59e05fa1f1f8c0ad91099da2dbdf321660d7 Assume Unchanged KindMismatch
4def5579fbdf35b90e419342f2005a10aa71ab49 AssumeNamed Unchanged KindMismatch
890a529871f6d25c306f71ffc68bc0d9bd3f031c AssumeNamed Unchanged KindMismatch
b386d0c0a99586d5ac0bdbecd4f6013e1e5b2975 Cross2 Unchanged TypeMismatch
cfb7e12245508f3e485056e8ce5cda6736caa685 Cross2 Unchanged TypeMismatch
e7c5b94b79ee5b3f2dfa1542a775203f0c11ae5a Cross3 Unchanged TypeMismatch
89d75d94a26447a5c603bc099558a851c741ec64 Cross3 Unchanged TypeMismatch
34d3e0402767780d679e107ec69e4f9e46e0ea72 FunSet Unchanged TypeMismatch
0800bc76f7f12f050e55577e787c9b2c0c2141ff FunSet Unchanged TypeMismatch
49fad03d7a300945964b2a963d59fe83606b8833 RecordSet Unchanged TypeMismatch
f48acd21c2d7b18309ccf525bb127fdd19a2cd15 RecordSet Unchanged TypeMismatch
e641b8add88b228e60aae064a232bd11c08340d7 SetDiff Unchanged TypeMismatch
fec3e0863c912487afb5572076f404cc1670e75b SetDiff Unchanged TypeMismatch
a74e0f768723ac7b7ec62187df22c8da91a1ba63 SetUnion Unchanged TypeMismatch
9c1ca08293f671239322f3548c6125e2fd05d5ae SetUnion Unchanged TypeMismatch
0c850818c610ba09068bb68fb43d1df59c9b63b5 SetIntersect Unchanged TypeMismatch
0aace716383aceeb901345d2d363643d31b47cc6 SetIntersect Unchanged TypeMismatch
bae63168b8caa07ddd4fba6bfa9bf37543771191 SubsetEq Unchanged TypeMismatch
8b96dc8d61b4d4ca8be2f94bf63d8633bbe856ba SubsetEq Unchanged TypeMismatch
f82e72939431c54a2efd2ea72bb8bd34975e1975 Subset Unchanged TypeMismatch
fc0b2c51e3de657351b72228a6ec6834c7b8b4f6 Subset Unchanged TypeMismatch
a6cf034cfc6c6eb513974610e3fb5cc694bee574 Domain Unchanged TypeMismatch
73731c5227eb128fc88bf626f5b812933a2031be Domain Unchanged TypeMismatch
d6269335f9f4a2069b2ad625b4835b0bc467099f Union Unchanged TypeMismatch
389d0eada654d244d452f268ed091a5b432b5a8b Union Unchanged TypeMismatch
8a0f455a77680fc858653ae40129c7f8fcc66a4b Unchanged Unchanged KindMismatch
09fa2a9e45d07e29890dfca3b7ffaee6fb6c38b9 Unchanged Unchanged KindMismatch
1b67b0d6e9385f32daa217bb3b4fab936fb6f124 StringEmpty Unchanged TypeMismatch
7d85c90881f4402f3d87a3874e7dc08d0a1ad88a StringEmpty Unchanged TypeMismatch
33d7d618036285744500169fdfa361daec8befc8 String Unchanged TypeMismatch
bd7d237c6254f5f287c275779761bffe68319c16 String Unchanged TypeMismatch
c28511b1ca7642f2d8b56822b246c11b1408eb99 SeqLen Unchanged TypeMismatch
7e562835442979143e64c90a4eb196f35fc5fdbb SeqLen Unchanged TypeMismatch
ef457e5fb974c1dc914d31d9d93df283f4ea9ba5 SeqConcat Unchanged TypeMismatch
6e932662cd01186a495c2d8a54276126edd96780 SeqConcat Unchanged TypeMismatch
b7746f4d802639840b99741b1b0915ac709fd31c SeqSeq Unchanged TypeMismatch
a98874b4481ea635d1b7a6b6c1fd2d13fcfe7b6b SeqSeq Unchanged TypeMismatch
2d45071f255944f74ef9ce1202a1f03ac8c62e99 NatSet Unchanged CanNotBeCase
a516e674e368cd15accd470a16c11b9a9c65d7de NatSet Unchanged CanNotBeCase
b41006a9a8cb06224618ed6361b06de67bb75961 IntSet Unchanged CanNotBeCase
55f3b914d124d8d85ec2ee57ba32e679f94bcf5b IntSet Unchanged CanNotBeCase
d4c32293ad8f28b57f01962d3a85f02a2935f11a StringSet Unchanged CanNotBeCase
fb3b4b8f781a90fd2e468fa840a0b8f5b8ed7d75 StringSet Unchanged CanNotBeCase
89c6d234a982b05e7afcb41c05138c6d601d55c8 SeqSelectSeq Unchanged TypeMismatch
fa3176178d59b9fbbfe457ac7cfbb9304c0e6873 SeqSelectSeq Unchanged TypeMismatch
2a8383150f8ac05a2a4a1dd61cb4fc28987cd6e4 SeqSubSeq Unchanged TypeMismatch
1a40d6d94478d01d26bc9536588f3b9299659e3c SeqSubSeq Unchanged TypeMismatch
62d372f62cf22aeb98dd2a8d28bb24397486a9a8 NumRange Unchanged TypeMismatch
a89f40deba68aa489c833f0d437912df57482f07 NumRange Unchanged TypeMismatch
d5677dbb4cf6e6f9d3004b58243e4be6b2c7851c TlcExtendFun Unchanged TypeMismatch
0e55e8414dafe7746510bc368d2bfbe319783c0a TlcExtendFun Unchanged TypeMismatch
7badba01a71853f81eb3adaadf9dfc8b1f199019 TlcPermuteFun Unchanged TypeMismatch
a07530200a5b2bfa61fbb9a97c64782ce68e45d3 TlcPermuteFun Unchanged TypeMismatch
4e34bef8b6ce2759af219a6d1448b59f2378e29f TlcSortSeq Unchanged TypeMismatch
a7fd1c46de82a61e879c4726764f92d750deee5e TlcSortSeq Unchanged TypeMismatch
e44d8b4248d72e147f93e476403b4c0a9078109c BagBagToSet Unchanged TypeMismatch
b48d3f7c86e7d6f3d2b2487f5a1eb8c146eb29a3 BagBagToSet Unchanged TypeMismatch
16df8841b5847a0595d05e4fab974a13505d4f20 BagSetToBag Unchanged TypeMismatch
1fdca51cf846d6c03f0ca4e8877d5ac79dd92fee BagSetToBag Unchanged TypeMismatch
795233186d344a874f0e1f64d55268a7e716e73f BagEmptyBag Unchanged CanNotBeCase
06b63c603b6ab22b82f81568ba03d8b51326ee60 BagEmptyBag Unchanged CanNotBeCase
5f71cd8f04dbbe193311ef65f3b186cfd23bf967 BagAddBag Unchanged TypeMismatch
bbf06d120c29f78e72b12d584e3a20ee08e43039 BagAddBag Unchanged TypeMismatch
bf306804a57d2a44d4b69e9ca258a612c301bd3c BagBagSub Unchanged TypeMismatch
d926af89b537ba0b342ef3aa5107e439774c689e BagBagSub Unchanged TypeMismatch
99f349f154c87f10e38b0065daaef28b101c4b16 BagSubsetEqBag Unchanged TypeMismatch
9eab700dead524a7612af63e91cd9a1817e1848c BagSubsetEqBag Unchanged TypeMismatch
c39c2c70ea24bdff7b1538cddc95bb3d45bb55a4 BagBagUnion Unchanged TypeMismatch
4300aa5511cb2bdaa1546510605845887d2f4cea BagBagUnion Unchanged TypeMismatch
fbb9f705ba020492085e1ce40ed031310790f76b BagBagCardinality Unchanged TypeMismatch
5c30914210a96851eae327626bb3b8fd8643fe6f BagBagCardinality Unchanged TypeMismatch
db3fe91a564d519de93dbc8d8e6d92f4dc8d6842 BagBagOfAll Unchanged TypeMismatch
a8fc1cd73398c35b6e962011036e171eb23ad04b BagBagOfAll Unchanged TypeMismatch
215c146dd9f1cfa9b788cbf8e86ace5e20828256 BagSubBag Unchanged TypeMismatch
7307ec906b9ace7e1f6c452b5778f7b2f6e19f88 BagSubBag Unchanged TypeMismatch
138f40d0f3194f4f3c74b318a227c68ef0dc88bf FiniteSetsIsFiniteSet Unchanged TypeMismatch
52494c6ae8f98a738ee99b878898b112b3f79eab FiniteSetsIsFiniteSet Unchanged TypeMismatch
2c8f36d01de19056e90642b7bdc30459fff33f4c FiniteSetsCardinality Unchanged TypeMismatch
ebbd1c4a3e158dbe0613f9e938a1081bc8b7189c FiniteSetsCardinality Unchanged TypeMismatch
589fa28a6de50162110bbb1e1055ef3217c6f55c SeqHead Unchanged TypeMismatch
057054a8203360001761894ec96c93a6c3b8876b SeqHead Unchanged TypeMismatch
4ac20b99df3eadfea28d33e2dc012d011a8f8081 SeqTail Unchanged TypeMismatch
a52f37bfb07d31e7394c91f321a62c5967bd442d SeqTail Unchanged TypeMismatch