Index

Skipped feature combinations by plug feature NumMul

Id Case Feature Plug Feature Skip Reason
6fec42fedb2f00edec3e4c979f6fc1814b0c0591 OneLineComment NumMul CanNotBeCase
b72ffb6118e327ea4246184f4d10da007818a4d5 OneLineComment NumMul CanNotBeCase
a58d3db79329edf7ab7fb7b0706fd5dc0bcdbacc MultiLineComment NumMul CanNotBeCase
86c6067f587a6d91e644e9e00c55ced92e1a5b78 MultiLineComment NumMul CanNotBeCase
89a947409822461edf334c3b115dd7ce9f373feb BoolTrue NumMul TypeMismatch
5477752609531a445668baaf7b26a1b5d47b4cf2 BoolTrue NumMul TypeMismatch
1db4227c1e84dce2f853b7b5ac8778a5235fb586 BoolFalse NumMul TypeMismatch
8260be5c336ab612df90392ecf46a0b600b31aba BoolFalse NumMul TypeMismatch
62cb8369c5676e5b7471115662069cbb70390635 BoolSet NumMul CanNotBeCase
5bcb061291ae46ac49ce0497c9da5fb903d21c0b BoolSet NumMul CanNotBeCase
c34787e88a6d22887e714e02d84be1b02ffe3caf And NumMul TypeMismatch
da221b63df89e40a07288ad37422145b7d47a795 And NumMul TypeMismatch
69cc02c1214e9422ca17297f1c3b52cb673bd7d9 AndMultiLine NumMul TypeMismatch
805b306491049be8f043f1d0a87f29a1667e4a51 AndMultiLine NumMul TypeMismatch
9556bb9bd3003e924805c1101c76565d6a48191d Imply NumMul TypeMismatch
af8ad7d46aa1c6fc065dfb953ddbb6649136f4f5 Imply NumMul TypeMismatch
ac2471af1a236d9c01cb99356d304dd56a37db17 Not NumMul TypeMismatch
4fa3ca324c2f00dfc4e3d4413fb5a6526d6d1a40 Not NumMul TypeMismatch
42e28807fee780e25a845e4e01f5b8b21c6b2c22 Or NumMul TypeMismatch
b218ceaa8c7f53e40fc8d590c237e2f0140255db Or NumMul TypeMismatch
24abcf2c2d40b1d599fbe19c94fc8ffaa950671e OrMultiLine NumMul TypeMismatch
b17520bb14d41ea3f0c585a8b874bbdf9a3e8043 OrMultiLine NumMul TypeMismatch
0213ae6c0bdf755a34e4af887d46cd540405a7ab AndProp NumMul TypeMismatch
b36fb2915050dc1ae8e3fa1bda0f76edf79365d8 AndProp NumMul TypeMismatch
ac8ab43ae88b7aa83b6e83776b8423435e538d73 Boxed NumMul TypeMismatch
c1731326336ddb8a5a2bf285f112ff6a32521108 Boxed NumMul TypeMismatch
d8310226a8bdb70cc4a00028386fb8a6b702706e SetEmpty NumMul CanNotBeCase
51f6e04161cfe73d99cce5fac9c3b9069adf37e7 SetEmpty NumMul CanNotBeCase
f0209544729a1e5572fce224bed27ed3c6c924e4 Set1InDef NumMul TypeMismatch
5a98c051051b90daaff2ec27b8c0c37fe5a01258 Set1InDef NumMul TypeMismatch
2b65df561dd45bf9004a12d6e32a9d51d2039974 Set2InDef NumMul TypeMismatch
621de07446a622797713a8b0e4ebc27cdf8ce74c Set2InDef NumMul TypeMismatch
a783cb7def0d719555434b41a6400e8b8740bcf3 InDef0 NumMul CanNotBeCase
197ec12dcf47e9e348ecfd5da71107d6c64564f3 InDef0 NumMul CanNotBeCase
b80da825b127d00a8361a87167fed97dd73a6d55 InDef1 NumMul CanNotBeCase
3865ea7c4825fe92608c3e49cce3f35994f29d20 InDef1 NumMul CanNotBeCase
50d759a92a898e703145b98c8b9b1e96719ddb12 InDef2 NumMul CanNotBeCase
433fcfe8b186cd66ce1e963006e6333709397040 InDef2 NumMul CanNotBeCase
18550fc573b060e9493e1aa8246b2934654d3575 FunInDef NumMul TypeMismatch
827194a4901567bd85486bcf24dac0a234464aca FunInDef NumMul TypeMismatch
c62eb980133f38abe56e3e873686d87530616a84 Exists NumMul TypeMismatch
80a670f4661094d482acc3b3f84eba78951aad33 Exists NumMul TypeMismatch
4f1838c49133395f70441d723a8cc73f91bf0f08 Forall NumMul TypeMismatch
6d48e569a16ed0f69ea09fcd75a6fc5e80e8ddda Forall NumMul TypeMismatch
cc957cd3c8a13e13ef7bc8f2bcdde309d8ba5701 ExistsInDef NumMul TypeMismatch
3e1aaf546c7e6321574f7c5d46738f49a1aa7425 ExistsInDef NumMul TypeMismatch
6d0c6bd652fb8c4b7aa3bf290ad7b44de46909af ForallInDef NumMul TypeMismatch
2ce3e0569dd48864df03f03cddb9ff08af27f77c ForallInDef NumMul TypeMismatch
7beaee577646067c2ce7d234efafdd577e593bc6 Choose NumMul TypeMismatch
2a26f6f4cc026a746e805828bce4442ff8713ca8 Choose NumMul TypeMismatch
f2b84fca4ae05431130e79bb11c3ebfefd4e55ae ChooseInDef NumMul TypeMismatch
b9e6012b645162970845635f7153eeb7e7af065e ChooseInDef NumMul TypeMismatch
33cce1f3189fff93ae5ba7aa29d3a3762b76ce27 TupleEmpty NumMul CanNotBeCase
48c96e6fa7c63c0d18e4414912db5921b48247ec TupleEmpty NumMul CanNotBeCase
67069c02990b8e18c2358214a6c11927dff29d93 Except0 NumMul TypeMismatch
8a32855946e36fd6fcb2edf88349c06cc50fe421 Except0 NumMul TypeMismatch
c00bdbc862fd37d7245566679042e9d3a5a9ff74 Except2FunTuple NumMul TypeMismatch
835d3e84cbd0a7c359f10a595a3edf953201bcb5 Except2FunTuple NumMul TypeMismatch
6d351b5c113f48dc6bc84bcc944209a73e16ccd0 NumZero NumMul CanNotBeCase
5252f4a336990755807f115306b368d91d04b706 NumZero NumMul CanNotBeCase
706292add762a8a0832db5b46222442d96a23911 NumOne NumMul CanNotBeCase
447c9cc2da0c4385df4de9c5f99d955d26498c4b NumOne NumMul CanNotBeCase
ac9f88988591ee2c5438f8ba8c0e484217f9982c NumMaxInt NumMul CanNotBeCase
ae2c7a1e1fe515422923e4f9a52040196588529d NumMaxInt NumMul CanNotBeCase
afc29a246f1048724976380d7c1f0bb7907e6d2c DefFunInDef NumMul TypeMismatch
1b9857a7a17ed2ad61e12b54012e88b8b5e996e7 DefFunInDef NumMul TypeMismatch
46b635965718200ab48fb6b3454dd86bdea3befe LetDefFunInDef NumMul TypeMismatch
bd924250bb46838ae0702ed49a718b1f68c5ef54 LetDefFunInDef NumMul TypeMismatch
475354f59b83b5fa353c91758727327525ebef53 ConstantModelValue NumMul CanNotBeCase
d93335ad5af7011bb2fd3927ff08d33463a9ee84 ConstantModelValue NumMul CanNotBeCase
34b5bc3e1bdf6a1df0c4f051829eb603ba78d18d Enabled NumMul TypeMismatch
682a6fb6abe9f335981aa2e1d2cacedecdd27b4f Enabled NumMul TypeMismatch
dad0c1d84b2d3f9cab90123bdb9f5d1e4c1af189 Assume NumMul TypeMismatch
c3092528d3b9907b8f165f81ac8e1631006ec9fc Assume NumMul TypeMismatch
0ee86d8740ae96eb4c05274b99973eba0c138c81 AssumeNamed NumMul TypeMismatch
249d19a58569d83ec4eeff304481743768449119 AssumeNamed NumMul TypeMismatch
080748276cf1253c076b157b86179cffbd15fd33 Cross2 NumMul TypeMismatch
e535509ab83be0d45895a68449c179117a10f115 Cross2 NumMul TypeMismatch
6803f9cc2f2fe1ee8035a5e9612700ced1d307b1 Cross3 NumMul TypeMismatch
4727bf248f232e463ff562c7768dec9ccaf08c9e Cross3 NumMul TypeMismatch
e7ec5578a0774a66e71b6f3ad29ca046bc0a499b FunSet NumMul TypeMismatch
7b56d380bf920f2cb176d6bcb435a2afd28c73bf FunSet NumMul TypeMismatch
0c9e056b72e04856c7620d9ef6ac3b59c70755b7 RecordSet NumMul TypeMismatch
8e6f57989cef2fcd799fccbb96b77d4f16053bd3 RecordSet NumMul TypeMismatch
c2a03238bf1f22686d0d20505dd6febd34110674 SetDiff NumMul TypeMismatch
85d4885e407b1a0eaafbfa0ed564097a469a828e SetDiff NumMul TypeMismatch
471d6fd03a57008a187b1c96d5d4cee237e61722 SetUnion NumMul TypeMismatch
9d970842c67c1640320e6fde6e7aed358e7e99e0 SetUnion NumMul TypeMismatch
6f7d11709a1496562c1c829aa0e225b0d3411571 SetIntersect NumMul TypeMismatch
8e1ee7262fd29e76b750cac9ac9866dde4ad2794 SetIntersect NumMul TypeMismatch
02862da5c675bbd1004d0570a23ff2277b606acd SubsetEq NumMul TypeMismatch
7181d8e2dea5cc37589c35c447bb9af3d65a50bb SubsetEq NumMul TypeMismatch
306a04e5a2333ff6f2b130b0a62e3df34191f87e IfCond NumMul TypeMismatch
7421234f5022be61731b20f6d7f8cffa145122ff IfCond NumMul TypeMismatch
fd7450dff6ea2b37df1511158714e54148c76d37 Subset NumMul TypeMismatch
5dd3ce4b650489b7754142ac82f96cbb85aae94c Subset NumMul TypeMismatch
2127d1b54432b23847ab7246bde4bace81eb25fb Domain NumMul TypeMismatch
06d69db6f5ece0ee503e0ee4c3a64b038a15539d Domain NumMul TypeMismatch
394e3c64ebbcd19b28883b7de771f7ac221c702a Union NumMul TypeMismatch
98791de9c2d0f5357f525b82e8b2423baa12e46f Union NumMul TypeMismatch
4a2d9fb2aacfe9aac62c821a7dec432c3a407108 Equivalence NumMul TypeMismatch
3d46914dde0118028d8c68a51811e21d820efc0b Equivalence NumMul TypeMismatch
989c1e8741a413f7fd75d03b99be79fa965267e8 StringEmpty NumMul TypeMismatch
8db1f378fc395134cfdcac67bc721df71ad1998c StringEmpty NumMul TypeMismatch
3a51221f5bf2644b71cc9c33e4794dd9edd98bae String NumMul TypeMismatch
c2020436414927673f829014a1957a27a1c91b71 String NumMul TypeMismatch
13a9d67d2c09d993bcb1d6ae26840f1224ef71a1 SeqLen NumMul TypeMismatch
3d85cd492eb8b0014d3d3988b09435ccbbdd707e SeqLen NumMul TypeMismatch
43a211e98d61b7210d222b4db3b42e938579e16e SeqConcat NumMul TypeMismatch
fdc347ad5e3a3f9e34cccf45df7c9583ad79ce07 SeqConcat NumMul TypeMismatch
bb85a1101a03b6486cef59ecf4e8ee8b7d50137b SeqSeq NumMul TypeMismatch
790cbfdac0b5dcee5d00a26f6e9fb7dffd2b70f9 SeqSeq NumMul TypeMismatch
6d4306a6a8cd4c21f372b2a7e88d4d6ede1f1976 NatSet NumMul CanNotBeCase
38741ee47680a56863aacc48b4bf5cb9b56b8c1c NatSet NumMul CanNotBeCase
c6fa94e33188dbca4ee88013b62c42c318699a3e IntSet NumMul CanNotBeCase
0eba48ca654cd9e7f4eabfe20faba323773fcdce IntSet NumMul CanNotBeCase
fcd2cf79d4f64bc7020a656a70f6cb0761d9f333 StringSet NumMul CanNotBeCase
9dc4fa1ff8997238c98ce7d9bd1a036edc69c9ce StringSet NumMul CanNotBeCase
db421781a9d4c7924dca4a5949b256734f33c789 SeqSelectSeq NumMul TypeMismatch
411cb8624fcece9827cb4c7c93468ec37b1f42ea SeqSelectSeq NumMul TypeMismatch
7444cb10216fe41bab7ffb979f8f50e08b611dd2 TlcExtendFun NumMul TypeMismatch
454defd4c04c145ecccb51434dcfa0d8bf6ca15a TlcExtendFun NumMul TypeMismatch
44138d3c52da61c7bf2907899d65e5f5b8896b54 TlcPermuteFun NumMul TypeMismatch
fa685427ba66e2d48355eb982957015f7899d30d TlcPermuteFun NumMul TypeMismatch
8669adc3375972c8b23312b8fd9cb9cdb6a8e640 TlcSortSeq NumMul TypeMismatch
c14cfe762b1ef654f6830ed12499cf3201c33deb TlcSortSeq NumMul TypeMismatch
f8daed10966275665447168ac07f86a5136353f2 BagBagToSet NumMul TypeMismatch
fae9ea0e6765f65b93352aba81be3dcc4648e513 BagBagToSet NumMul TypeMismatch
6d65ce3ddb6ed0ff9f0f18bd04d948c3849c4469 BagSetToBag NumMul TypeMismatch
690de8ef43a021a1fb99c81be0dd977c51ac33b2 BagSetToBag NumMul TypeMismatch
2ef6ecbbde47eeef6705d42e34efb0e0f47a795d BagEmptyBag NumMul CanNotBeCase
b2798e8b652d1cd6c4f28f896617596055670e9c BagEmptyBag NumMul CanNotBeCase
b33c7d5e1460e4f172dc93c94f3ffc4fb4079ae5 BagAddBag NumMul TypeMismatch
b9056caa0ad3596afabf22f414fbc4cdba97df81 BagAddBag NumMul TypeMismatch
fc02e07de68fd3672d7faf0ebc7af2c8ddd67648 BagBagSub NumMul TypeMismatch
cb8ffeff4aaa3fc24d5fa75a310473f0c04780d2 BagBagSub NumMul TypeMismatch
c0605494d5f1bfe33ae15ca299aa7efa5507610f BagSubsetEqBag NumMul TypeMismatch
dfccffa6cdc9448488a9c8530faafb0331a3adee BagSubsetEqBag NumMul TypeMismatch
bcbf6f0e1300ba6305b5d3c859825cf1ac55cad4 BagBagUnion NumMul TypeMismatch
07241f7531c2960143c0cd682ca43018ad3eeb06 BagBagUnion NumMul TypeMismatch
6c90ba4bc75355a9b7a49483a5b7f4b89a9bde78 BagBagCardinality NumMul TypeMismatch
cce2a34514b069a1e448946344e7cb9639a95eae BagBagCardinality NumMul TypeMismatch
7b6bfd601071b94f5dbb288e2bb0b18177668f48 BagBagOfAll NumMul TypeMismatch
4ccc486be4b4fa90fc45b290eb6ed1c1410912f0 BagBagOfAll NumMul TypeMismatch
13c7efda68b5501b670971233f79345baaffe8fd BagSubBag NumMul TypeMismatch
ae9f4c8bbedbefaeb702a9068057b6d4c9ac34df BagSubBag NumMul TypeMismatch
14f7d30a5df803294685514fdb7ac3a88f6b6fc6 FiniteSetsIsFiniteSet NumMul TypeMismatch
bec2a664d7c30324e1dd46e4c32eacc1e5999efe FiniteSetsIsFiniteSet NumMul TypeMismatch
f7137f42e92c4a044f1a4ddfd899f01d3898702e FiniteSetsCardinality NumMul TypeMismatch
9cdaa2caf0d774e1fffebd2796b8b196edcf83ed FiniteSetsCardinality NumMul TypeMismatch
179b88585b062b3e4ce085d3892a81aea9909e0c SeqHead NumMul TypeMismatch
a42d3895449fafb9f4c5051dc9f0702957e9b3d6 SeqHead NumMul TypeMismatch
7e4f07eb3cdded567988084b391785f108265920 SeqTail NumMul TypeMismatch
577dfb7e90bc0cc5fe6df140f13bf6d19e8c971e SeqTail NumMul TypeMismatch