Index

Skipped feature combinations by plug feature Forall

Id Case Feature Plug Feature Skip Reason
ba8f1efed583eb84818e5ce759bac9e5e470de29 OneLineComment Forall CanNotBeCase
fc686fa30201b50ca4298359e82e30f1eb6c1d0e OneLineComment Forall CanNotBeCase
8f9cb89cc6b0bc52213898a3c4c290e53d0699c4 MultiLineComment Forall CanNotBeCase
2237f137ff2560d54988bd80d47f6772b62be3c3 MultiLineComment Forall CanNotBeCase
0648407bbb93c96bd0d754d7490285df3df84123 BoolTrue Forall CanNotBeCase
1a1de12f4427c00b2bbf933aef6da1751cfe2ad2 BoolTrue Forall CanNotBeCase
98195f50917b083651df7d797b0d196abf642ba8 BoolFalse Forall CanNotBeCase
b802f8c385a19aad3e1cde25780075f3610b0f09 BoolFalse Forall CanNotBeCase
676fb2abb589598f0cf9534b97bc838b484b2573 BoolSet Forall CanNotBeCase
1db17aac85bd775167affdd476f716039007e583 BoolSet Forall CanNotBeCase
2fc2e2d1dbfe75ec60d946d73bb8cf3c80c6599f SetEmpty Forall CanNotBeCase
eb851763286ea241bf79ca336946935593524802 SetEmpty Forall CanNotBeCase
1dc51ed82a4986e479a2eccd0263d618dbf97008 Set1InDef Forall TypeMismatch
f83c3277e3ff08d0d190783c41c577a64241c963 Set1InDef Forall TypeMismatch
46a6adbb228f6f875a52721653e15d2d1536d0b0 Set2InDef Forall TypeMismatch
a3705a38a66d4266ad965564c4e3512683a8349d Set2InDef Forall TypeMismatch
efafec875a417d5f65fd835b42dd5cdd72c664e1 InDef0 Forall CanNotBeCase
4e360ccee427b857002cb3a19b0c69e880c55a77 InDef0 Forall CanNotBeCase
7b1dd014917e87c13be9eb9cdacdc0b51a32096c InDef1 Forall CanNotBeCase
5598f42a77a163c72daca6fb71592c338cc1ae67 InDef1 Forall CanNotBeCase
5c917086e9534db0d478c7a78228a3640d0c922e InDef2 Forall CanNotBeCase
ecaa3f873b6ecf6c8a001da6eb7ae6328853cb67 InDef2 Forall CanNotBeCase
48a30ead0a489fbd0823e607454e311cff41ec91 FunInDef Forall TypeMismatch
5ae4ec9a7e1b8e421ca1520e40ed87ea2ed09e58 FunInDef Forall TypeMismatch
f08aec9b52d5300a6aabd48f6158f0259f502d1e ExistsInDef Forall TypeMismatch
4713bfbc48a2eb4bca6ab855120b140726359e65 ExistsInDef Forall TypeMismatch
2286bb499c561e6bd3becd4ebd3d9ccba40c24bf ForallInDef Forall TypeMismatch
27e89c8ca0d8a28e47fb06208bdab27e1c43021c ForallInDef Forall TypeMismatch
0849b34e8d1e7cf36d823d2864bad2d5e4ed4986 ChooseInDef Forall TypeMismatch
482a933b194a0650d224758bea2612b1b7d8c80c ChooseInDef Forall TypeMismatch
ede9f62baddaea3d8fecfcff199c631e2fbfa2ae TupleEmpty Forall CanNotBeCase
61db90f58609c9fa83a8140f1914db83f0dee765 TupleEmpty Forall CanNotBeCase
31730e037bb79c5d7ae5f2c0a22bef64cd42b9e3 Except0 Forall TypeMismatch
7eeee8be71ddf6d6a01ba4f2cbdaf5b12f4979e3 Except0 Forall TypeMismatch
4f960718d7ee96c7c32212ec39267b1c038f9899 Except2FunTuple Forall TypeMismatch
2b3fb8ca6a181b92a01fa18428733613caff671d Except2FunTuple Forall TypeMismatch
fffa7524fcf7346ce295f03d0107d36f04c80578 NumZero Forall TypeMismatch
e275626039ac7e30b2d93d3d836096bfabf6077c NumZero Forall TypeMismatch
ac526d0af5e491369835b1e3e8a6684a8baae142 NumOne Forall TypeMismatch
eb53c0157b2552471a1d092e91cd7d5e5e44fdcd NumOne Forall TypeMismatch
95f2bf7fe8a4647baf2ea3ae32061d0b1d536bc6 NumMaxInt Forall TypeMismatch
52aa48f425fb250a92205b5f41c15e27d4ff2afd NumMaxInt Forall TypeMismatch
c5230bd63624314686c9b460a67f7795efd216cd NumUnaryMinus Forall TypeMismatch
cb54a8ab72418a3b1be2caf66651846cf5fee034 NumUnaryMinus Forall TypeMismatch
16fd2954f47af395af8602d10223f6121c5cbbbf NumPlus Forall TypeMismatch
9487fc20e6e94d598902b044dbf9244d1a5abb06 NumPlus Forall TypeMismatch
7060decc6a1286d08a4b80f6dd8f0b7bef93d1d1 NumMinus Forall TypeMismatch
0706549b5feaabad8585de1f0867b6fc7fb2b493 NumMinus Forall TypeMismatch
756aa89907bfdbdf9d32d412c9fd84a2e3228bb2 NumMul Forall TypeMismatch
ed91e47317289f653012ae177ac200aba3b9eabc NumMul Forall TypeMismatch
a73d745a28a3e232bb3490b7828e1b383be7f15b NumDiv Forall TypeMismatch
adb025f8210f712a06b2cb23b5d3af18755c386b NumDiv Forall TypeMismatch
4165fc1e0c99c3e4ef18b2cbf8b1d717fc9af7ce NumMod Forall TypeMismatch
38227c86f2ca2ab2b928acd5440571748b809328 NumMod Forall TypeMismatch
4274e95c48a49d789774797fcb6590deba3194fc NumPow Forall TypeMismatch
56d3881f8ebc2e02967164d5b692c0db3b98d749 NumPow Forall TypeMismatch
b6ee12cf4a0cb46b9e9611a07d7cbe4f435a1246 NumGt Forall TypeMismatch
fecf710b7545896870d223eabd49b74a2f884c24 NumGt Forall TypeMismatch
37064e084bac1f751f44d9c5541e910481193291 NumGe Forall TypeMismatch
9588e93d2948e91ae37751d190992f88716d437b NumGe Forall TypeMismatch
5b03279c887f7647b7bf2f9198ca7da23f049f01 NumLt Forall TypeMismatch
98ab1a6130aa4fa75c57b25e812bc065722c066d NumLt Forall TypeMismatch
1b70a20671fa8afda16c41bb0f5f79bd4839b1a6 NumLe Forall TypeMismatch
b1e45bb971cf08db6ba47ea82586c1ae429e88a8 NumLe Forall TypeMismatch
90a2b02084fe89fd81e94829502d649f406e1282 DefFunInDef Forall TypeMismatch
cb44f34bcc8cf6ecce47b3ac07cdc06cc88c2c1f DefFunInDef Forall TypeMismatch
84aeca2764925a04412a9f3816d172315e93e6af LetDefFunInDef Forall TypeMismatch
cca8dcead13d7cc03666243646f2d21f7fb21ad5 LetDefFunInDef Forall TypeMismatch
5ced8e30278ae50bb7014baab9c0fa7963af7381 ConstantModelValue Forall CanNotBeCase
24772540db4bd5a46903a3fed38b2b2c569a27bd ConstantModelValue Forall CanNotBeCase
0f5346b851e8feeb26c6aaa46aeb7ac82640b006 Cross2 Forall TypeMismatch
b83fa5ca5f96a00b673d46628cba7547ffc179d4 Cross2 Forall TypeMismatch
ca3c368584e97249bd0a2bc445e38f54071ace21 Cross3 Forall TypeMismatch
9eb171428d12c45953686aca3130353dc2eeaa0d Cross3 Forall TypeMismatch
59fbb775583be27c7cfa91d5296a46766a82d9f8 FunSet Forall TypeMismatch
8c12b091ce1de3c1c984a4c2f357313c1db5264e FunSet Forall TypeMismatch
d4d10bbcc2635c0b599bd8bf1d8ed717468415f1 RecordSet Forall TypeMismatch
cf0b882b62b586e5b784230a25065927c0e23bf1 RecordSet Forall TypeMismatch
f4e975aada1ac247117dce7eab29eb4db54231b1 SetDiff Forall TypeMismatch
8f9e7b07157b897560002ac8a72f5e8fe511a8b4 SetDiff Forall TypeMismatch
c75faa1d40ae09998089abb25d2e7b6e8bce569c SetUnion Forall TypeMismatch
46781204bdcb58aac3c4a3532e5c7ee0925c93bc SetUnion Forall TypeMismatch
d19c828fc3c2a40eab52a5f1a5a4d0d9383f1e45 SetIntersect Forall TypeMismatch
b5dd17cc69f2f9a7177ad33fcdd41b9e2895b268 SetIntersect Forall TypeMismatch
6b967a269808c578db1a6b7ededfed75db86a038 SubsetEq Forall TypeMismatch
9229ad6e717425ff91660ebf9930e398bb7f74c8 SubsetEq Forall TypeMismatch
af4c7c174aaed901149903111c087733f4ca458e Subset Forall TypeMismatch
b673cfc46dd1bc16c1a786068b90eb70e34319d1 Subset Forall TypeMismatch
451a1163573dd7dce7a435d1e5979370b091674d Domain Forall TypeMismatch
27d8d27caea238a019d077fbb4bbb3716fb2ef84 Domain Forall TypeMismatch
468219190f74854ab65395e9b57d908349b67ccc Union Forall TypeMismatch
92816eff2b0c106345341e4e9e2c626c33546b0c Union Forall TypeMismatch
e0800923f6ed5cfbcf9c39ac403daaa9ad68f684 StringEmpty Forall TypeMismatch
ecf24d8c293f46bdeb7158a51efa3f762e0a94ca StringEmpty Forall TypeMismatch
6eb1cc724f82e8811c256c30638c154f3d9afd1d String Forall TypeMismatch
2785622d39442d466f581e0dfc18b9b8ebf894d4 String Forall TypeMismatch
7c63eeee8146d7bbda1f1cbcb72be9ef01fd7082 SeqLen Forall TypeMismatch
18480945630e54b8177d830d4df99934c8f61c2d SeqLen Forall TypeMismatch
97fa55604fa411b255c2134d57413dfb9f5b4adc SeqConcat Forall TypeMismatch
aae64dee5723ea7185197ea7b18e65911f2bb0b3 SeqConcat Forall TypeMismatch
a4d9d704dc2baf6e380cef8349c0aced88ecf173 SeqSeq Forall TypeMismatch
f96fe4572106783d72c127a5cd77b5eceeb06117 SeqSeq Forall TypeMismatch
5f00f46e9c5a513484fd9e003ca45a36c4ff94ea NatSet Forall CanNotBeCase
85a317a9f0ceea5f1f520b586457c54072eea567 NatSet Forall CanNotBeCase
e8b2073e6067cf680d28227e932e2a90cc91ca08 IntSet Forall CanNotBeCase
758d3e08c62bd33f943b4fde67c22c36889c1ad0 IntSet Forall CanNotBeCase
396784aa75600fa175b1ddee307315e834c2db8d StringSet Forall CanNotBeCase
2ebb8626eda6a049a8c7c9a66c0c35c2c9ff40df StringSet Forall CanNotBeCase
3b355df0b4fed349521b800c32b5d530e8bb8237 SeqSelectSeq Forall TypeMismatch
19a08f8662a2dbf629618e34308c3122951c3e3a SeqSelectSeq Forall TypeMismatch
cf143bf82855161c03a3a4f52f864f0f7abc92cc SeqSubSeq Forall TypeMismatch
b35f0967135020103f2c1f46580221df8aa9c5b1 SeqSubSeq Forall TypeMismatch
3791423e63426f2e7044a7f09c4cfa4ab4c1bb9f NumRange Forall TypeMismatch
711c5bc9e2f71fe278831051c9d7ba43e6008ab3 NumRange Forall TypeMismatch
fce8c4a4b082740582ac7f7624570b2098ddf78a TlcExtendFun Forall TypeMismatch
02050b8388a9a86e1a612c370676cacb57a706a6 TlcExtendFun Forall TypeMismatch
4a28f90b4d679bb40a180dd2d3c66e24d8d19567 TlcPermuteFun Forall TypeMismatch
b8076a4995de7cc0745fd4d4b2e315b4ec2ad9a2 TlcPermuteFun Forall TypeMismatch
1bfad51f8983057317b58ae515c47783bb58e8a2 TlcSortSeq Forall TypeMismatch
cd9da90cfc28422575d255c93d564fd1d20a85b5 TlcSortSeq Forall TypeMismatch
d49207258919b33042c965d31ec6c2bb8d176859 BagBagToSet Forall TypeMismatch
b9027234599cb3a7e9965e7839861ac54719eb60 BagBagToSet Forall TypeMismatch
dd5e02615c9fb811684cbdc0056119605b9344fa BagSetToBag Forall TypeMismatch
21673e29dc0f062fd0b58574c0137eb722bb7a82 BagSetToBag Forall TypeMismatch
55265fedd9d1290e7f955c671d487d3df9ab5ee2 BagEmptyBag Forall CanNotBeCase
1024709fc2502e5ccea7a197c58ce77710605ba9 BagEmptyBag Forall CanNotBeCase
6afc704eedfabee3fe3022c187f0d9255c79eaf3 BagAddBag Forall TypeMismatch
5a5bcc2fdbbcbaf6be4c7d43bd16e136c0e05a6f BagAddBag Forall TypeMismatch
189199e7610ff799d22fb5c9bfa19e63ddf37b66 BagBagSub Forall TypeMismatch
852477950474030dbfa8124dbe8dd7cca8c6ca71 BagBagSub Forall TypeMismatch
74c3c3c466742ecba8e9c0303f487bc311562a8a BagSubsetEqBag Forall TypeMismatch
22695cecddc1e47d996fc183f85546008805ffc5 BagSubsetEqBag Forall TypeMismatch
5540b4e7f422029ae0633161fc61e7af49cd0364 BagBagUnion Forall TypeMismatch
5fd80dbb9a98efde8ed716b91e357d0b9998c0c9 BagBagUnion Forall TypeMismatch
d77fc7fd722e0f8c4267f00ace4747c991043935 BagBagCardinality Forall TypeMismatch
b1e3b324a83c06ba846fc7b003fb683d4a15e24f BagBagCardinality Forall TypeMismatch
7c8563b3e53ad1fd9320d91339c609f4c1a9d17e BagBagOfAll Forall TypeMismatch
d5aa65ae2a7100f77a496ee558c117781596739a BagBagOfAll Forall TypeMismatch
54ca871e6e47972b4b4fb8715cc6abf0e65dccda BagSubBag Forall TypeMismatch
8f8a86cb6a337be4f4d1b97fe8af1d813865d851 BagSubBag Forall TypeMismatch
80345310fa6535ff51a7ef1dc36cb25a20521bf9 FiniteSetsIsFiniteSet Forall TypeMismatch
cdbe5b054164fcece85fa474cfdda661f1f3f47e FiniteSetsIsFiniteSet Forall TypeMismatch
dba38c935de4cd3a4606560eee6ae13c824a3550 FiniteSetsCardinality Forall TypeMismatch
f7ffb127477411a02015dfd7e91f5fbb27ee6711 FiniteSetsCardinality Forall TypeMismatch
a549995c53d18397083508052995837a48cb9c74 SeqHead Forall TypeMismatch
a802b1373b2491c5107be2b0f1e3594b22f52ef1 SeqHead Forall TypeMismatch
b7a85dfb5e32a789bc347402ea43dc75efeb373f SeqTail Forall TypeMismatch
25575acef5cfb93a719e216a520c7ea05f7a7482 SeqTail Forall TypeMismatch