Index

Skipped feature combinations by plug feature NumZero

Id Case Feature Plug Feature Skip Reason
eb0b54996108504b04f357a13e4efda1d4fc687e OneLineComment NumZero CanNotBeCase
56d9e36eb20da4a03e4a5d402867f7704cd9928e OneLineComment NumZero CanNotBeCase
93ee3075281e9f82649543568788f883c1e6100b MultiLineComment NumZero CanNotBeCase
9a741a8a36c6632f5cf48e247ffcaf25ba247bdb MultiLineComment NumZero CanNotBeCase
d8d4fe48bbd85e0b634957cb668069c0a8daae42 BoolTrue NumZero TypeMismatch
bc31f24873611cfd96b13e288e2cc729233ca2ba BoolTrue NumZero TypeMismatch
6e13aa01e2f6f9ace736c338d55714a699aa4563 BoolFalse NumZero TypeMismatch
f17cfed962ac485189437cc10cabc43b5067dbf7 BoolFalse NumZero TypeMismatch
59b4d3d2fc4edd4ef5eca9e261895e1e31107d4e BoolSet NumZero CanNotBeCase
aa88481682e273c6e9ec3e07415a2947749fe96c BoolSet NumZero CanNotBeCase
e60ad86b6e56cb93fcef26a7d866b6656cdaf5fc And NumZero TypeMismatch
5e94cb6c44da56e89109cb5bb44bcec02e5e8851 And NumZero TypeMismatch
d9d8b22d32982fea7e3885588688f9277a7096b7 AndMultiLine NumZero TypeMismatch
76b8968886b57861f7547dd60562602d2675a3a8 AndMultiLine NumZero TypeMismatch
4ed3e72ecf6265526fefc8391224a7ba9cc86290 Imply NumZero TypeMismatch
05a174d44ab0bcdbf79ce0ea9c500f4be86c35e6 Imply NumZero TypeMismatch
a9cb37793f9260c8f2907dee35267f250952198c Not NumZero TypeMismatch
3890f09c6da1b44b8891c01f1171bd4e495f2a79 Not NumZero TypeMismatch
c177040a508e48ecc0509e654b416d76ed50e6c7 Or NumZero TypeMismatch
efdf46b2c6d2e19bad186aae186328faeec5d558 Or NumZero TypeMismatch
d7fee23e27e7daebb6c497e8f0ce121b082d1614 OrMultiLine NumZero TypeMismatch
423e834b82713be643a34f2f268a24b1a863bd08 OrMultiLine NumZero TypeMismatch
b58951b1b1a24e20f9d0036d9551d17f0c93adf1 AndProp NumZero TypeMismatch
3647fcc3706ad00b52a1655414087f36dbe0b819 AndProp NumZero TypeMismatch
1c067b48b4ace013b8ce04d76e4a4a2005011e46 Boxed NumZero TypeMismatch
6ec1ace8dfb892c9ab44dea8d81c41aa1df9dc17 Boxed NumZero TypeMismatch
028b860149602856fa49c53a7fb56b8ba575730f SetEmpty NumZero CanNotBeCase
9bf9bd61c1f36c755ee8383b455fa9291f37b589 SetEmpty NumZero CanNotBeCase
c80b4aed5db28222d0a72cf3d0cde96fbe62811b Set1InDef NumZero TypeMismatch
fd0cf0b40497243d8dee39d9fd4cdc89cd3a4990 Set1InDef NumZero TypeMismatch
644a9d5cd8880e33c7a987409ea137356cb222ae Set2InDef NumZero TypeMismatch
6a187c5e28b841d042d440f98e9848f2715c6693 Set2InDef NumZero TypeMismatch
f71c88ce72a1476c125a0e1bf3a5f2a5fe5f6971 InDef0 NumZero CanNotBeCase
545dc01e3f49edf40569657584eb2583fe1fd788 InDef0 NumZero CanNotBeCase
cff16d5f1ed40eb69bf53f6ce35ae0c3fe9b0f33 InDef1 NumZero CanNotBeCase
ca6cb53da08d1ced4ec92a444d84c2ef0873b145 InDef1 NumZero CanNotBeCase
04ad4900bbe9a3813ba3a03e8ea371236ee6b60a InDef2 NumZero CanNotBeCase
1b241adf5c4bfb063b9b8844a07771bcd4055e24 InDef2 NumZero CanNotBeCase
6e1ca824111dbd3c4027df735cae97e04b81f3fa FunInDef NumZero TypeMismatch
d208a0f5476c3cff214f7642544a49638bf3d795 FunInDef NumZero TypeMismatch
1e52687f325d461de3ec49aff95ec3b6008a0f6e Exists NumZero TypeMismatch
293c50ff9ca19df0c5e7ed0a57bfa26d29c2d6af Exists NumZero TypeMismatch
220c8a6f117529a58ddd59995769de6594985e26 Forall NumZero TypeMismatch
15a35af7488660bbd2cd06e11f98a131156422d6 Forall NumZero TypeMismatch
9222c40766eca6a0c2eed2009cb1ebac1178fb01 ExistsInDef NumZero TypeMismatch
2d6de5bc616ee61def5ea885760481fecdadf78a ExistsInDef NumZero TypeMismatch
a18871e18cb0149a91131837190c2b4f39c80ddb ForallInDef NumZero TypeMismatch
fe1390eafd29ed6eabcfe5e00843c25efd49df38 ForallInDef NumZero TypeMismatch
28aed464bdf537f90f84ff30948ad1c49a47518a Choose NumZero TypeMismatch
b3a008aac7d0b40347ecf7c0a7e0646dda0c857c Choose NumZero TypeMismatch
f2299ed00e87cbcf60b5e5a0afe9068560733aff ChooseInDef NumZero TypeMismatch
f4f1bbc643c32b85a4848b5c34c16b18a944ac79 ChooseInDef NumZero TypeMismatch
1a37ffd31f68b074f3c1792c4eecec427d7705d6 TupleEmpty NumZero CanNotBeCase
fd3093a8e5a14283c0a96d8e1e5d709ceafd44bd TupleEmpty NumZero CanNotBeCase
010d44f99256c04598c8f1f8a6dbacd8b61cd42e Except0 NumZero TypeMismatch
e071f739abdd0c24a0b14730a87f955bc7d41e50 Except0 NumZero TypeMismatch
4422b53dd5306993f7186e6329796b4ed0d1763b Except2FunTuple NumZero TypeMismatch
4d18efc619203d121d7a2003781bf3eb2cb0a367 Except2FunTuple NumZero TypeMismatch
4104fbab7c7ddc3bc5d6de943950471ac1652720 NumZero NumZero CanNotBeCase
ce1595a5067c3b8f6fcaf178b9065e3558f55b65 NumZero NumZero CanNotBeCase
287b50820d08f2de352417d1ee526d00231bd15f NumOne NumZero CanNotBeCase
86ba05d480ae694c267918d99f10cbfa2876b775 NumOne NumZero CanNotBeCase
6884cebab5bd5a1aa39cc437e065bf9d8f9c4e06 NumMaxInt NumZero CanNotBeCase
1fbada04afc072c02fc953e72de818f82f17d561 NumMaxInt NumZero CanNotBeCase
2cbc73eb4c7f9800cbb43fa8831b61e0e749495d DefFunInDef NumZero TypeMismatch
f285b79977ce28f3e9b2c785253427551216b3ee DefFunInDef NumZero TypeMismatch
08dd584904ce2265c1a537e4d02ab6569ec75945 LetDefFunInDef NumZero TypeMismatch
e64c4b7994e75cbba79e0a12c819f52633706947 LetDefFunInDef NumZero TypeMismatch
846f7ea3691664701f4bc7130939a8bd2e2c4026 ConstantModelValue NumZero CanNotBeCase
25bfc66884dbd6d49b6a19970169735ff51b8a2f ConstantModelValue NumZero CanNotBeCase
6be64da42ce745f57d8a8e867a63b22cedadf91c Enabled NumZero TypeMismatch
44fe1cdaf6d38c9848263a156e49821983ec506a Enabled NumZero TypeMismatch
9b5f00b9da24f09590b417bcdaaf1ca27eb4e0e0 Assume NumZero TypeMismatch
e3dd32cf236d671b7f919d54228567b9db4d82a9 Assume NumZero TypeMismatch
294163d22ba5f304c3c1e358cad881cbac0bc12c AssumeNamed NumZero TypeMismatch
95f2553cdcd31197e4b23b9bb4615bff559b0307 AssumeNamed NumZero TypeMismatch
3bf4f386b47f0459e3b1f4e029a26a097861fe74 Cross2 NumZero TypeMismatch
441cb00272d55a114257709168b022f2cc8805d0 Cross2 NumZero TypeMismatch
212d865cb2d2f1247245fb13695207b8f42dcd81 Cross3 NumZero TypeMismatch
64f85e1923b6e51ea931c1f01bbc5a160aa47d82 Cross3 NumZero TypeMismatch
b898b3994717b9762fa9b4261c0ce079e6ec920a FunSet NumZero TypeMismatch
4d1439ea0823ce57add1263c9faa36d0b34c527d FunSet NumZero TypeMismatch
5125fb7195c8a7e911c7e195c1bb1b7f73d850e0 RecordSet NumZero TypeMismatch
59c4328ed9b911c1cd0ebeef4e839c4039bd3f48 RecordSet NumZero TypeMismatch
976aec6a13f740251fb82adfa61b2545d41b8d20 SetDiff NumZero TypeMismatch
706471a98dc17bb425383a93c0dfb3e5f6d6b852 SetDiff NumZero TypeMismatch
3e60ec5dc8f1eb94e4d20c5ac1622a38b3c8be4e SetUnion NumZero TypeMismatch
b66b62f41435217f05f2e1e97d5df2c2022ee6dd SetUnion NumZero TypeMismatch
e4d5a1abaf0679544517fdb42d17b457863fb605 SetIntersect NumZero TypeMismatch
d34812168225ecf319552da7a3bc68f2a2d425e0 SetIntersect NumZero TypeMismatch
6bd6117a0da27398f6c27def3ff57884d27f720a SubsetEq NumZero TypeMismatch
791901c6362d7cbd5b20f18c3e79913d633f4da5 SubsetEq NumZero TypeMismatch
0ed93f8d246e08b64b82c5706d74926c852399fa IfCond NumZero TypeMismatch
72bc7e5783ccdf6555a8d27fc166e4e811ca6fb4 IfCond NumZero TypeMismatch
a8274eac7bd2d9be002951a87cb5b535fb2be56a Subset NumZero TypeMismatch
6e0130182482aaef2d27da3c294e27ed12b0628e Subset NumZero TypeMismatch
8b301aa77d873538dc86d4bd25d3ad89d25979ee Domain NumZero TypeMismatch
63dc70b74c5f9796ce453b2e693ec348f75593ab Domain NumZero TypeMismatch
f37dacbd79ba5160f001a79b7b72ee87b0fe5fab Union NumZero TypeMismatch
589665229c24c75c4f8f1d97350ac75f6bd4f969 Union NumZero TypeMismatch
0c74cdb0526d29a23cf77e83d5f06b49c1cfce2d Equivalence NumZero TypeMismatch
95ced2fd4a1a1f4bdfde3dd8f2fb2f734cf3f622 Equivalence NumZero TypeMismatch
a9c3c6139e36823f5463fcfece305002368b48cb StringEmpty NumZero TypeMismatch
8303be5b44e34a6211b54e62e3a08e4672c7ebc3 StringEmpty NumZero TypeMismatch
fc85c882bdf0b9b2a290d107a47e8e221abd2536 String NumZero TypeMismatch
bbff9b8460a7b8720e208918b4b3a93e8bee2ff3 String NumZero TypeMismatch
b755f8fdc135294dca55a15e977221058804299f SeqLen NumZero TypeMismatch
deb911d8148e3598052f5013867958bfa1c8b89f SeqLen NumZero TypeMismatch
6fe4ef0ac8db18985ac463512a9b876cfc7c3e23 SeqConcat NumZero TypeMismatch
2ae93f40a51cdca9c3ff1c3e4269097209e6df7a SeqConcat NumZero TypeMismatch
8aae79802140804d18ebebf585bb640eee3bf8bf SeqSeq NumZero TypeMismatch
e7f100353c5d3d3c79b00d7e4d738a9f3a201158 SeqSeq NumZero TypeMismatch
f46b82dd1e2b93981a41827c7bd5c40b9035185d NatSet NumZero CanNotBeCase
79008df92bca2f6b9717bf3731b561e14f9ad10b NatSet NumZero CanNotBeCase
edc65534d2d14dae7d1f1dc45b0961e7aa63abcf IntSet NumZero CanNotBeCase
6b6b784e208065f0e7432bca4714481b1aad73a8 IntSet NumZero CanNotBeCase
7976ec317b302ad2165171d0b2983637a08e443f StringSet NumZero CanNotBeCase
862bf5fe7477653973f20fcb985238eb2e5e76af StringSet NumZero CanNotBeCase
ed278dd6e447d7131e4b4dc010c0ce2c860f14b1 SeqSelectSeq NumZero TypeMismatch
67363470acaca4798c544385f310a359c40079df SeqSelectSeq NumZero TypeMismatch
62a0714bf6c3b3982a8c763aa45fbef67d6be8b5 TlcExtendFun NumZero TypeMismatch
cd6adca73f8444146912b034f88ce2393df50429 TlcExtendFun NumZero TypeMismatch
dc2a8a9b75a3158480f5a3b0aef46b05483c5f59 TlcPermuteFun NumZero TypeMismatch
e79c51ddeef4ad615fe1ad0f5b8b271d08a74033 TlcPermuteFun NumZero TypeMismatch
0bad375a2ede9f3145ee7ece158499c04b1e8979 TlcSortSeq NumZero TypeMismatch
9c2eac7f5503aea47760a273e826de0cfb9b2ad7 TlcSortSeq NumZero TypeMismatch
0a2ac1c031471ad8d05e00dfa199d4f8b9299449 BagBagToSet NumZero TypeMismatch
cde18eac3ca0d9a43feb966a5fc95ee1ad825c1b BagBagToSet NumZero TypeMismatch
9fb795b4b84e67c338874983c176b25b967fcfc1 BagSetToBag NumZero TypeMismatch
0aab6b77e49fd2a287c698bfe053a868434cebc6 BagSetToBag NumZero TypeMismatch
9352b99d1d1700bcf888d72da3e758cbbc0df5bd BagEmptyBag NumZero CanNotBeCase
4ce1336d9a4891ada4ceeeed65be003bf579a967 BagEmptyBag NumZero CanNotBeCase
a31d7a9957c7c736a972d51b13661953c18e9c9d BagAddBag NumZero TypeMismatch
11435c0128f868cdd3270a091f845c574ae3a3e8 BagAddBag NumZero TypeMismatch
542768c487845811f27e66f4a52e1c37dc0296b8 BagBagSub NumZero TypeMismatch
72521b9a202828f8dd1002bfecd42548f9054dc4 BagBagSub NumZero TypeMismatch
7809eeec8fc70fa3f92164055a2aac2fcad1890d BagSubsetEqBag NumZero TypeMismatch
59c7cec68fa0ba7cce603b84d518b70e729df202 BagSubsetEqBag NumZero TypeMismatch
751ed8a1b2d03a5c949f8bdf20615073950872f9 BagBagUnion NumZero TypeMismatch
428b8984f882c3ebbcc6993884b94847a2fa2eb6 BagBagUnion NumZero TypeMismatch
27dc462071d46878df02b193221765fbe787c3d3 BagBagCardinality NumZero TypeMismatch
38a9f473bd44ed6ab0afd4e2e0fb528e2b4cc179 BagBagCardinality NumZero TypeMismatch
467a8a22133787eb9b8e5b1998b976a26fa56c2b BagBagOfAll NumZero TypeMismatch
aa47bd1f3c652a2421c3844f0c5ccc15e051b6b7 BagBagOfAll NumZero TypeMismatch
592b316c2f757a20cbcdec36d45520d04fb053f4 BagSubBag NumZero TypeMismatch
44cc0edc3562bc4bed92177087648235f6ead1a6 BagSubBag NumZero TypeMismatch
3c05eabf17f5868866697433b3b01f99fba9fe1f FiniteSetsIsFiniteSet NumZero TypeMismatch
4fdba10865e328b0059a8b947e1babf6694266d8 FiniteSetsIsFiniteSet NumZero TypeMismatch
af724653b773f38ecafb0e873cd35d3a3760bb0f FiniteSetsCardinality NumZero TypeMismatch
3f8712c6adadb6fc32ee60e4f73d6e752f9b866b FiniteSetsCardinality NumZero TypeMismatch
dabad24859f14bc3260b8d56f68fa0a36e967569 SeqHead NumZero TypeMismatch
80c8499927b31ad6176b1954ecb9d86059cd5ce3 SeqHead NumZero TypeMismatch
e0f8d40bcdc953f377e8aa53e168d7bf7c79a6c6 SeqTail NumZero TypeMismatch
ceb4e967a0bc77c8a62f4fc56e062dce7ec3808c SeqTail NumZero TypeMismatch