Index

Skipped feature combinations by plug feature NumOne

Id Case Feature Plug Feature Skip Reason
412785019ad7c4db3fa5096ead4ff7a23bceb1de OneLineComment NumOne CanNotBeCase
483a8440972c1edbcb196ef5788d5e19a3d9d649 OneLineComment NumOne CanNotBeCase
959fd7cdb67426c556e38f1b5da15a466ee9ad46 MultiLineComment NumOne CanNotBeCase
f9d61763faefbb197958802bbf4723c3d360e61b MultiLineComment NumOne CanNotBeCase
efbd7d48422e00f76eefd0d6b037f47264db12a0 BoolTrue NumOne TypeMismatch
e484677de00b485e568fa705a9221681a7e54acf BoolTrue NumOne TypeMismatch
7386c94f49c6b989950f320643f1c0942314e1f6 BoolFalse NumOne TypeMismatch
9a66104e34be653aac863ffd5e530511a3b15db0 BoolFalse NumOne TypeMismatch
fe5e63a038f67bec91b369884fce79e501fb9a35 BoolSet NumOne CanNotBeCase
55aaf4ec5cf16455c4885f15b9953fb35dcde9a8 BoolSet NumOne CanNotBeCase
c3000008069a3c3d188a0abbc51f462a465dfe72 And NumOne TypeMismatch
e397be6bf3f389bb909ecf1185163ad571337f2d And NumOne TypeMismatch
084899d16ea8bc2e3cbfbe03f5f014b961e0b7ab AndMultiLine NumOne TypeMismatch
9f6ac2633759099ee7b391b304c437323a65fbdf AndMultiLine NumOne TypeMismatch
43e5d1c967d474bc2f1bf62b407c5027ac00fa59 Imply NumOne TypeMismatch
050d352977bfaeb785fee33100924de8cc068627 Imply NumOne TypeMismatch
67d84f45546c7780737d696dfbc04de6e7c58ce3 Not NumOne TypeMismatch
50d6bbd3c503e9a7fb1956490ff66c2b6c99a29d Not NumOne TypeMismatch
3d823a9bb612e559fff95c9a9cf1e321d0d118fa Or NumOne TypeMismatch
d312c8e48a670b159a015a9e4132747c3008ba61 Or NumOne TypeMismatch
2038bf84a6c783b0e38f4f2ac44d06dcb63c43f7 OrMultiLine NumOne TypeMismatch
f6c855a7b8451cae20be2785c60f10db31c0f001 OrMultiLine NumOne TypeMismatch
5d287dae73a2d2223009a920d20ce63a983b49c2 AndProp NumOne TypeMismatch
4c5d90489b99d29a1dbe9178a4e84404b4b7a6db AndProp NumOne TypeMismatch
9853eadc8cfe24f5279159cc0442ef2c1303de40 Boxed NumOne TypeMismatch
9f0e603443fa9b17f3bb844514b0a34ec895b808 Boxed NumOne TypeMismatch
e0888005c734328fe8ae9ec0a324e82bb74431a4 SetEmpty NumOne CanNotBeCase
bebbd9e91fa62345f8eba079c01edb125cbdbc10 SetEmpty NumOne CanNotBeCase
3c5b538445ea52fd3dd6861aa9f0aa51fba8a3cd Set1InDef NumOne TypeMismatch
23a98ea9b1d7dbfcf7ead288ad197ab48d09777f Set1InDef NumOne TypeMismatch
043c753920d011df42b29aa675726e2aeb48877c Set2InDef NumOne TypeMismatch
b5c9cd5fdc2e94a8246e7b66cbbf52e080800c96 Set2InDef NumOne TypeMismatch
5190809bf7418dbf4a3486a1c8d6149ff7d27610 InDef0 NumOne CanNotBeCase
f68fbc5d24bb8e81eeb5bac90da70ee7c691e82c InDef0 NumOne CanNotBeCase
3fc1fff6902e5af52b0509e256df5f219ceec820 InDef1 NumOne CanNotBeCase
5b0fcb81f39d4c0bf2b42a1e24f1d80a7ed5f6fc InDef1 NumOne CanNotBeCase
728d9dde51f8c0fd510da0a94e403cc0fbdf1c08 InDef2 NumOne CanNotBeCase
31dd8329e235622c0ed10cb3aec3ba2e172f7e9a InDef2 NumOne CanNotBeCase
6e6e383892d5c66f22419adda78667b40cacd23a FunInDef NumOne TypeMismatch
fea5d25bba065a82a2288e3896999ba368d76edc FunInDef NumOne TypeMismatch
6566e594b9732a5974a7b02bb09e3aaf73f37dbe Exists NumOne TypeMismatch
5f288977a19c30c77e1505c0520dbc6d87fdce40 Exists NumOne TypeMismatch
2535d03bddb3af2fb9f6b97434926ceff1f89060 Forall NumOne TypeMismatch
7d12c79c718aca11e4ef742b49e8a9634e7b88f5 Forall NumOne TypeMismatch
8795d259832571a1d691245ce91caf6034324e54 ExistsInDef NumOne TypeMismatch
f3dd0ece1c4508d4832ac7a27b97d9c642f1fe54 ExistsInDef NumOne TypeMismatch
edd6971cd397b02dce19c834418bce4b427b438d ForallInDef NumOne TypeMismatch
6bf11ee23a03a486e01b4a3faa55b08ad6687eca ForallInDef NumOne TypeMismatch
8beb471b1325779c373703c71a50a8806977005e Choose NumOne TypeMismatch
d53be86566929785bda90580ca2d4fee01805e84 Choose NumOne TypeMismatch
502d4789f0352cb2798fc7f7df5f174abfd8a520 ChooseInDef NumOne TypeMismatch
07e8ef0919f879c03128243750c85d2d84a3b7f6 ChooseInDef NumOne TypeMismatch
2674de12b0d4d5595f93676d0eaaf6edd292836a TupleEmpty NumOne CanNotBeCase
629322e9006be45ae49c510d6c932bbda5014b34 TupleEmpty NumOne CanNotBeCase
d932f5c6be9f173a9b76c0843aeae0567d49575c Except0 NumOne TypeMismatch
885919c9b6155721431f8c50327a90282c443ddd Except0 NumOne TypeMismatch
5d599ee18e95c23bd245f5209ed7338495508032 Except2FunTuple NumOne TypeMismatch
68d84cbc3b2ee84c9210489f360585e81f42b143 Except2FunTuple NumOne TypeMismatch
6761cd5ead29de832f1223923ff671bae5c87418 NumZero NumOne CanNotBeCase
11956228421814a1a23b58c76d7f08e5d06ee7ab NumZero NumOne CanNotBeCase
943e84cbac563b86a260795311e2b10b726d0da4 NumOne NumOne CanNotBeCase
a82c9530b5cef498a78f240cc319c28a96c9c54c NumOne NumOne CanNotBeCase
1b348ce39be5e90481a63b4486d3adef5dda621d NumMaxInt NumOne CanNotBeCase
911b67f5c6361c2d1d55852f5d54b6648d64d9b0 NumMaxInt NumOne CanNotBeCase
a106b0c4118d5e5719aa971116d6258e8cd5b871 DefFunInDef NumOne TypeMismatch
fcc8fa14d97f2f92c50966dfbe192a753a147293 DefFunInDef NumOne TypeMismatch
c2ae35cb4278b7c36e49e9c83b418f351eba445f LetDefFunInDef NumOne TypeMismatch
ec6267ec9c5db8509e7d486adf01ac4283920fc6 LetDefFunInDef NumOne TypeMismatch
0341eb994b08d6ba1e8dbb5dd23063b71cf998ff ConstantModelValue NumOne CanNotBeCase
959adcc5bf9fff1e13388f73d8bd083a7c46fd32 ConstantModelValue NumOne CanNotBeCase
919f72c62061d18eb314414aad72b158714a9097 Enabled NumOne TypeMismatch
dd321129d171442d25fcf2003cad60e722ecf995 Enabled NumOne TypeMismatch
298ccadaac48f720b4a16224eb069267dba8a88a Assume NumOne TypeMismatch
0120aa80ebe974f54de842bb4fbe67daccd987fd Assume NumOne TypeMismatch
df88a8e8d57b5b0b1a9a04dae999c4a9ac67cfde AssumeNamed NumOne TypeMismatch
72e028f11b528dc66c8e971736e6d8d3558f4ac2 AssumeNamed NumOne TypeMismatch
93e270c3851db689830bd7e4730062f2cf037d08 Cross2 NumOne TypeMismatch
b326d7e4d77f4a94ca9ae6fc29c2fa6b083ce0bb Cross2 NumOne TypeMismatch
b8672d353ec583fbf2de3eb25d9146759df46bfc Cross3 NumOne TypeMismatch
47632b01f1525c3e43aa6c257bb046545fd06d7f Cross3 NumOne TypeMismatch
50f87843ea9a8ce59d4c7f58211e313fc50f0795 FunSet NumOne TypeMismatch
e088351505f9cd798b69732e7634f53c3a02837e FunSet NumOne TypeMismatch
1d2494edac256dfd5b48f45cea6ab03613bd09fc RecordSet NumOne TypeMismatch
7c61576ab576fa93423c8b1a495852578bf7f5c9 RecordSet NumOne TypeMismatch
0ed00abb3a3e364a9ed87530e0b464aef2885555 SetDiff NumOne TypeMismatch
cb86059f42ee792ba51d7b514fec05b13b6e55fe SetDiff NumOne TypeMismatch
5a3abd549fdc3ddd0e42a5ce86d05ef5d1aacd64 SetUnion NumOne TypeMismatch
2c131e8bbe0020a1f3362a03dd2c00ee66d69b02 SetUnion NumOne TypeMismatch
229aceff523b50a65df6a6bb36f09a20e251d5da SetIntersect NumOne TypeMismatch
96bc49b003188c39f7a8d5ed1de6eb7d221338a9 SetIntersect NumOne TypeMismatch
98f642c3c94551e7762d3791221b0fcd57df18f6 SubsetEq NumOne TypeMismatch
18ec442337be2730482fd128833f7cff8356462a SubsetEq NumOne TypeMismatch
d894ec35f15770cc1e4767e46b0d4af7df6ac4e3 IfCond NumOne TypeMismatch
12a140f6a4c20472685cfa3556d805ec60503b50 IfCond NumOne TypeMismatch
a5fa63c3f1ab6cc20a2b172cfdb39a2e3b0447cd Subset NumOne TypeMismatch
230d6753b22269a59c02581300cd07c7e87dc590 Subset NumOne TypeMismatch
6a6a74189fd8cb5dce84d8fe4d45fe741305e76d Domain NumOne TypeMismatch
537ec01e006611394dd0672eee3ea8255338335c Domain NumOne TypeMismatch
4bfc511c7f54232db129ecea53f9ae28e76ebdc5 Union NumOne TypeMismatch
218bc48a270defb89eb4539c3a6b0507f40a5464 Union NumOne TypeMismatch
d1cf91999afa88c07e67ec5a0035c54373c2b650 Equivalence NumOne TypeMismatch
0ac68e788f4dcc6c3b207b314a97cb8676c7759a Equivalence NumOne TypeMismatch
30d630fdc72333385144b1369ea6321345d3f03a StringEmpty NumOne TypeMismatch
55a146b6488bc6d2888448a031fa635b31bd02d1 StringEmpty NumOne TypeMismatch
3401dad71ed07d302d9e74bcd656ea3b213def3c String NumOne TypeMismatch
6a49cdfca1c4157e4ff12367012ed03ce33f3068 String NumOne TypeMismatch
8e3cf2267d527b22db14ab63ae6e1b5f458c8845 SeqLen NumOne TypeMismatch
0781cec40f98dc0ff48afbe33f134f0d951d8b01 SeqLen NumOne TypeMismatch
9ad47d569374e5d2a383c540df2c35b9f5265582 SeqConcat NumOne TypeMismatch
d35b1c8f82bb09580f1a3aa48e261ad55f7addf3 SeqConcat NumOne TypeMismatch
8d59b66bb96e41def3b10aac3dd8944f1d525832 SeqSeq NumOne TypeMismatch
a728e5eb69f0b27a953957cef53475e9c0ab7682 SeqSeq NumOne TypeMismatch
c14953232bb1261e9dcabc9a8b7eeeb3031f20d9 NatSet NumOne CanNotBeCase
b58525fe3ecc4d484ff17c5751b8b28f0def250e NatSet NumOne CanNotBeCase
5211e535f733760cb0211ec4ddcbd8f40ef84c9d IntSet NumOne CanNotBeCase
c0f1920fc633c84da1b1813affb5d2475d612fdc IntSet NumOne CanNotBeCase
26a6801e04e10fa6e03cebf4baeb3fbaa015db2f StringSet NumOne CanNotBeCase
84e970d82bc1480fe8a40b9eae7c5b99a519122b StringSet NumOne CanNotBeCase
1199699b5cffdad702c4c6f3028c74d09409ac4e SeqSelectSeq NumOne TypeMismatch
a95d9080f7866c495a2d1eef6356357539c7d994 SeqSelectSeq NumOne TypeMismatch
e74c93859456cff224bf8378ecdf3345d2381bd2 TlcExtendFun NumOne TypeMismatch
3e10493bb9ada1b7564a09128df6b4d60021d429 TlcExtendFun NumOne TypeMismatch
21648941bf075a0afa9bf2af99ec0397aa78c2cc TlcPermuteFun NumOne TypeMismatch
4dd1a99b2af10c8b7c3601fc0ddaa0a2ca7edaf7 TlcPermuteFun NumOne TypeMismatch
112038fd9e128b24da29a8c4f19ba1148bff12e3 TlcSortSeq NumOne TypeMismatch
a642e60eba65d1b3ceb7ad5eafd1e267a527c199 TlcSortSeq NumOne TypeMismatch
24ee2ea18d7234bb8c2b2f7442459d948962d23b BagBagToSet NumOne TypeMismatch
80b180539014a92e6905935335ca98f94b25cadd BagBagToSet NumOne TypeMismatch
90ea5b5f18bdf311ca37ddaca5c0602841cb1e73 BagSetToBag NumOne TypeMismatch
42eeefb1e09c5209eed3bb7061c301c3d1ad1f64 BagSetToBag NumOne TypeMismatch
916a4e07445550b484ae1e79c4226c7852f87998 BagEmptyBag NumOne CanNotBeCase
cf0b877088e25ee2df45fe73a515ae574100cada BagEmptyBag NumOne CanNotBeCase
986f4b88dbdd76b702b6f1aae3f917bc56e5dd20 BagAddBag NumOne TypeMismatch
265c549206af8d79691cf092db9a36e76aab56ea BagAddBag NumOne TypeMismatch
f267bc1e05454871fcf7558dd0b27302cb686958 BagBagSub NumOne TypeMismatch
efbb070bed5a2e4a67ced4cca0c77ff56437d584 BagBagSub NumOne TypeMismatch
d3a4b947dd0365d20e2c0ed512918750345de2f3 BagSubsetEqBag NumOne TypeMismatch
617603fe75e0fc63d8a441cfffeede8dc007a05b BagSubsetEqBag NumOne TypeMismatch
255c1310df3fc1a7bd1c156d7fdae77d3e39e323 BagBagUnion NumOne TypeMismatch
06451197779f748dd1be6cd750ec929ff8d28d98 BagBagUnion NumOne TypeMismatch
ab556205b2f33cbff2e47a679444651b4155ff78 BagBagCardinality NumOne TypeMismatch
5c387cb8982ec9c1e1c0a293b48763023f20405d BagBagCardinality NumOne TypeMismatch
1b669c196ae1a3c94da34c6a5a4f249fe5e2bb55 BagBagOfAll NumOne TypeMismatch
142b9f06bd64efb516c0ada983fa7df080a15857 BagBagOfAll NumOne TypeMismatch
0b72b5833685c97cb96f8a13c8aa5f156cd46dd9 BagSubBag NumOne TypeMismatch
0f9b6bba3eb5d87e36d73980f3171b4a94c26dea BagSubBag NumOne TypeMismatch
dcb85a8af47b1c9b757f32908132aec41f8c0eb8 FiniteSetsIsFiniteSet NumOne TypeMismatch
2798925d67add3416cabc28bc4635eade6126e77 FiniteSetsIsFiniteSet NumOne TypeMismatch
0e6d1a8521b708cb301512b1f87178e8dd9b964f FiniteSetsCardinality NumOne TypeMismatch
86cf0b89be9ab90a90a58d4b80196e9d9d6642c9 FiniteSetsCardinality NumOne TypeMismatch
b882d60e2ca0682b97b1b441e5581631c468bccc SeqHead NumOne TypeMismatch
7f118bbbbdff643694e6adbe12c6b1a65e5393df SeqHead NumOne TypeMismatch
b501615c608aaa034a0c0e73e441b1c55a4e2111 SeqTail NumOne TypeMismatch
e104c62667d26fbdd63197fcda845ee9c2110e6a SeqTail NumOne TypeMismatch