Index

Skipped feature combinations by case feature RecordSet

Id Case Feature Plug Feature Skip Reason
c72e3b7fcd064aa45d0ed85250932ea5b5db2158 RecordSet OneLineComment TypeMismatch
d26955b835e55491e53dff43aa05194cc3f02b4e RecordSet OneLineComment TypeMismatch
722eac0cc8195e37bebd964083e80828af4815b3 RecordSet MultiLineComment TypeMismatch
c1400353703059fe67f2b723ab451a9dbf0f566e RecordSet MultiLineComment TypeMismatch
498aefafbb404e509188d334da88f57308413f80 RecordSet BoolTrue TypeMismatch
0980bf020541401279727b5402851f3c985f5cf6 RecordSet BoolTrue TypeMismatch
ce464ba3795e1a39000c2048646aa58af613950d RecordSet BoolFalse TypeMismatch
10f368c8aea84fafdda837e365c09fd3709e7caf RecordSet BoolFalse TypeMismatch
2423dd5741d15d53810fb5f7db8d50b7ba462c90 RecordSet And TypeMismatch
e1e143061c5139195e95e075d756272df91e7902 RecordSet And TypeMismatch
1d83383766336425bfe626c32215904935404a4b RecordSet AndMultiLine TypeMismatch
cd5e08225b0dfdc8ab314309b488591d3dc962bd RecordSet AndMultiLine TypeMismatch
38aeb3f98a574eb360e23e14eb2c40b5032e09dd RecordSet Imply TypeMismatch
28d353cde06b9de4c57c5a23c7f919ce7af61361 RecordSet Imply TypeMismatch
32027207a0c9d3214fca31770d3176a2232f67ed RecordSet Not TypeMismatch
899920ceeeed40742c9247d8e0df255539ebb2e5 RecordSet Not TypeMismatch
6c898a310ea51b5e0de3038c69937176304895f7 RecordSet Or TypeMismatch
e820e6cdc32dad6c85b0dce7df35e2c4f6e32528 RecordSet Or TypeMismatch
a73675df39d270de428d98205efd2a2de8a98238 RecordSet OrMultiLine TypeMismatch
5fc2bac1fab96682441b485ae99e81b400a7e107 RecordSet OrMultiLine TypeMismatch
6390cdd2b5db3d2dd11e062b8cee136c0c816756 RecordSet AndProp KindMismatch
1f04d1dd9d8ebc73a0e8bb259f424b35774b9d5e RecordSet AndProp KindMismatch
871f80e37348655e445113eb4d697cb3c5a6646a RecordSet Boxed KindMismatch
9d108917661da6351fdd33eae2687b16fca46f85 RecordSet Boxed KindMismatch
d19d025173265096b6589cb981357128622d886e RecordSet Eq TypeMismatch
1c985ef8b86141f1c4c9b1f50b5a0557e44b238f RecordSet Eq TypeMismatch
03f4574e6c89bed61dbdd1c11bc95be6571fe61e RecordSet Ne TypeMismatch
e7f535ad802960ae734e32ff30f0c0b1e3e4f433 RecordSet Ne TypeMismatch
49048bbf894052d82c44923e1ff9624f775341e2 RecordSet Set1InDef AlreadyCombined
24009851bf8442388dcee2c78f70cd16ade559f6 RecordSet Set1InDef AlreadyCombined
f866a7fbaf694b736744d348a231eaa3193c93b1 RecordSet Set2InDef AlreadyCombined
6077da93e7938d8f186750496dc2a87858ab3281 RecordSet Set2InDef AlreadyCombined
c5e800a29bc6741a7d66d4f89c53077e8d16b7a9 RecordSet InDef0 TypeMismatch
e4b7f29ca15f0e8b89cb94e1144313072e8a104f RecordSet InDef0 TypeMismatch
c77d9031f334bbdc751c1dc4553c2acf2ffef286 RecordSet InDef1 TypeMismatch
501746d9a48b33a8833745190c150b70a382aebe RecordSet InDef1 TypeMismatch
3e2d452aad4deba2a86f78e19b85d09e17f6f262 RecordSet InDef2 TypeMismatch
ab653818c06b2d865e31f96585e6febe244214e5 RecordSet InDef2 TypeMismatch
1f14d4573e8d57ca1052547ffa17d994d25680fd RecordSet Fun TypeMismatch
e63ffa4ea3f5a953ef6dde41d288e9cd52d53032 RecordSet Fun TypeMismatch
b8a4a6a25279bfc9dd0b3488d120b4018a54644e RecordSet FunInDef AlreadyCombined
ad88fb0eae9bbb2f35a5ac66320d4ef87e9ae707 RecordSet FunInDef AlreadyCombined
b57d184dfbe559b8e435a6a4877b3f69fe1b8f57 RecordSet In TypeMismatch
1ca6cfbdd39e4c750de2605925c0c37d9b0e295d RecordSet In TypeMismatch
d367e744c69308d27d3527e44977e7a301741981 RecordSet NotIn TypeMismatch
2e0af8fc11d5555921f2e0a0a9a5ced91cef59bc RecordSet NotIn TypeMismatch
fdc30acb0f137f763c3162cd0572ca4452f0acbd RecordSet Exists TypeMismatch
bed68206a4846135fc47a365f3cf0b856339a6a0 RecordSet Exists TypeMismatch
d4d10bbcc2635c0b599bd8bf1d8ed717468415f1 RecordSet Forall TypeMismatch
cf0b882b62b586e5b784230a25065927c0e23bf1 RecordSet Forall TypeMismatch
735347083e229eff3521de97abc883b841e886e9 RecordSet ExistsInDef AlreadyCombined
3d1ec74dd015b8fed5305056acca9468dc42031f RecordSet ExistsInDef AlreadyCombined
f148f8bbd5808a2da2e82935753d585da8b669d4 RecordSet ForallInDef AlreadyCombined
7a8c87416eb10e54c6c1d06bdef14cdb6031c4b9 RecordSet ForallInDef AlreadyCombined
0aba21b1fdd15912a731e0c1214bd55c485c72d6 RecordSet ChooseInDef AlreadyCombined
36152915aca7c50ade442cc5411c64718447ca04 RecordSet ChooseInDef AlreadyCombined
73ace2760e37dc837cd77188dbc7e3ef7f5a4aa7 RecordSet Record TypeMismatch
f926fea3c7151af98658e691844fc83e98617b03 RecordSet Record TypeMismatch
fa9535605f49e82bd181e6f7c1bb337e5e7b6547 RecordSet Tuple TypeMismatch
a8a82549223567ee6b98ee025de96695ccf4c2ae RecordSet Tuple TypeMismatch
6699c7a3596fdb23c2c88e0d74d4fb1fb74337f0 RecordSet TupleEmpty TypeMismatch
21a103a8ce9ac7938048972180cd8f852b860c31 RecordSet TupleEmpty TypeMismatch
5f4e86c47201f49e78eacca0b8404b19974df64c RecordSet Except0 CanNotBePlug
2e01d63ad23b2c21e433561763a948bc2cdc4bc3 RecordSet Except0 CanNotBePlug
0f6485a2150dcf7d6347fec6f8e8c820999593fe RecordSet Except1Fun CanNotBePlug
827d34777a5f6aec429f20f51ef52c428c0fd8ba RecordSet Except1Fun CanNotBePlug
6f5290e6e38a178306c36ccbffebcd0a3e5caa92 RecordSet Except1FunWithAt CanNotBePlug
2e81baa3a30d4a7445db14ae44925be51e3327e2 RecordSet Except1FunWithAt CanNotBePlug
9098456928ff2e26e850bc48ebad24c14fbae82b RecordSet Except1Rec CanNotBePlug
e86293c91d8c6bd3c059d616f4421ff777482221 RecordSet Except1Rec CanNotBePlug
9834470ced7694805dd4624a15accd3341cd678e RecordSet Except1RecWithAt CanNotBePlug
5b5a42e071db91f0c652e99c461f0ea7a6f6e1b1 RecordSet Except1RecWithAt CanNotBePlug
36011fa50a847028b06b1244b2546934c7b26bd9 RecordSet Except2Fun CanNotBePlug
09ee5dbbeeb7d012d7731fed03d54e248d1e67bd RecordSet Except2Fun CanNotBePlug
047aee1e0ec5c7d65f49489f780669c4cbe1ea01 RecordSet Except2FunTuple CanNotBePlug
063758531f106e4c081eff7fd6d7c2c6e7e27cea RecordSet Except2FunTuple CanNotBePlug
5125fb7195c8a7e911c7e195c1bb1b7f73d850e0 RecordSet NumZero TypeMismatch
59c4328ed9b911c1cd0ebeef4e839c4039bd3f48 RecordSet NumZero TypeMismatch
1d2494edac256dfd5b48f45cea6ab03613bd09fc RecordSet NumOne TypeMismatch
7c61576ab576fa93423c8b1a495852578bf7f5c9 RecordSet NumOne TypeMismatch
122adba53ae161c3df36032b4d9e307172f51e56 RecordSet NumMaxInt TypeMismatch
d13a51a5caa4558773f3b1b5fe419968154822b5 RecordSet NumMaxInt TypeMismatch
f3976cff9a9619a2d5ac0581d2f92b7473612b7c RecordSet NumUnaryMinus TypeMismatch
0e38f1f824e3cdcbcb188a9d3403a09a48af4817 RecordSet NumUnaryMinus TypeMismatch
5ec91da7d4abaaec72146f9e19ada049f4d64fb4 RecordSet NumPlus TypeMismatch
45621162e829a5e0521b36d2344b1c1eed9f5b47 RecordSet NumPlus TypeMismatch
044142d12b8833eeeb91e07bc0c569ac3ae84146 RecordSet NumMinus TypeMismatch
38e43aaf448bdc0be4e2fef61dd898e7efcac900 RecordSet NumMinus TypeMismatch
0c9e056b72e04856c7620d9ef6ac3b59c70755b7 RecordSet NumMul TypeMismatch
8e6f57989cef2fcd799fccbb96b77d4f16053bd3 RecordSet NumMul TypeMismatch
cd482bc9275823aae27028e2feff4611223e2894 RecordSet NumDiv TypeMismatch
7505539e1f1dcdd502098dc63b91d2188a7ede8c RecordSet NumDiv TypeMismatch
564149503954f381bc85cd74fdb2a72901c9be6d RecordSet NumMod TypeMismatch
4fc3d446aedcdf1732273464968ee3f569bcd6d7 RecordSet NumMod TypeMismatch
622da96ce21af4a9a5f5c0697af0db233398e296 RecordSet NumPow TypeMismatch
7d5993267dfdf2f43be53d4d175b93e3c0e50357 RecordSet NumPow TypeMismatch
745b8dec202835b4f62dd6e45ebd8357d89d188e RecordSet NumGt TypeMismatch
9328e7cffc9a1a2f7157f4da6dbc02ad9c93cb39 RecordSet NumGt TypeMismatch
3ff13206d3b78d64a2e432c02c15697378b50563 RecordSet NumGe TypeMismatch
7d38500a0fd171b36cffaed30d4a9c0c5c3c3100 RecordSet NumGe TypeMismatch
e8fcd1afc1bf295ed4f931163df6f92596e77545 RecordSet NumLt TypeMismatch
6a0e82d2731358d5813da058dbe5220678c04a93 RecordSet NumLt TypeMismatch
cc7d72e0b36d58029c01053700e6332d889f8b8a RecordSet NumLe TypeMismatch
9ce20a67410cd288bb33cb2402f44cf7564ed464 RecordSet NumLe TypeMismatch
031a41255fafea250a00aefc35dd4e53f0058ace RecordSet DefFun TypeMismatch
60b4219d3762c02f56859fca6eab3a8b34482ce2 RecordSet DefFun TypeMismatch
13e773b1a0d18cc7861e9e71308c789b058f77a0 RecordSet LetDefFun TypeMismatch
3ba3faa40656c2fa05823f889229fef318bca7a7 RecordSet LetDefFun TypeMismatch
0bdde1471dacf646a3bca103a6857e9d80a7d490 RecordSet DefFunRecursive TypeMismatch
e42399192df64f68c7ba9a6b6dbbf6ba97eaad7e RecordSet DefFunRecursive TypeMismatch
c284686f34570642d752694695b104cfce21248a RecordSet LetDefFunRecursive TypeMismatch
6e733e69139a1c7899cfb9dac47817cdbb2354e7 RecordSet LetDefFunRecursive TypeMismatch
a53927856db1b8da0da1bab03d1649ed523a5302 RecordSet DefFunInDef AlreadyCombined
7a7e33e89e88018126a9bb045a9f6e18d15e265d RecordSet DefFunInDef AlreadyCombined
09a6ed525e22a170efb078ce932055011a3b7dba RecordSet LetDefFunInDef AlreadyCombined
c1135a502d56b66797edb9383b6e40cd00963589 RecordSet LetDefFunInDef AlreadyCombined
c1267655157230b0f3fed17a367b3ff9af646b71 RecordSet VariableViewExclude VariableExcludedFromView
5382aa76b33f34f7d601d9fc11481b2132bb2e10 RecordSet VariableViewExclude VariableExcludedFromView
262cb888eae41c5933786ed80065161e87519072 RecordSet ConstantModelValue ModelValueCanNotBeUsed
5ccca01d46725a5383106bad186abf314deea47b RecordSet ConstantModelValue ModelValueCanNotBeUsed
1a5fe47cf8bfbf4a629b0e38752f76e261eb6d93 RecordSet Enabled TypeMismatch
803b5a4ebefd9f4a7135d1121baf64f2dc829a54 RecordSet Enabled TypeMismatch
32353c36fcbde5045fab96d6b842488bba2d47dc RecordSet Assume AssumeIsNotEmbeddable
0888dde4457747f2ece0f427333b9906bce29219 RecordSet Assume AssumeIsNotEmbeddable
e62589ac9e1181134e52f36b77ecb0f5fd6614f1 RecordSet AssumeNamed AssumeIsNotEmbeddable
e8bf0e6f31fea6be54680dde43d4d06e49635302 RecordSet AssumeNamed AssumeIsNotEmbeddable
199534b60b1be1bd4ad1117f7df7e7ec724a8b66 RecordSet Lambda TypeMismatch
97777ae445b8bd20337e8d2e5c1296a4d0053c5c RecordSet Lambda TypeMismatch
cd07eb70bb83ea6d7714ab9cc44df16b7d261c01 RecordSet SubsetEq TypeMismatch
2c68bc2b5063c7a3ce652dcf7d4e5038034d8e5e RecordSet SubsetEq TypeMismatch
49fad03d7a300945964b2a963d59fe83606b8833 RecordSet Unchanged TypeMismatch
f48acd21c2d7b18309ccf525bb127fdd19a2cd15 RecordSet Unchanged TypeMismatch
c59a40545afef81ba3b874bffdc75f71ab202cae RecordSet Equivalence TypeMismatch
1e7072d439aa9392171cad73ab7d090d8b641f43 RecordSet Equivalence TypeMismatch
bf8ae380d63fc013d5ba1268a9df8786ccd174da RecordSet StringEmpty TypeMismatch
b7f1af85be61de2b13cbe0c5edce113f4f29dcff RecordSet StringEmpty TypeMismatch
6eb8470b814625e0543d98f43f44e044f37fd23d RecordSet String TypeMismatch
d649f0369dbb0fa5209106599faa979bc6a0987c RecordSet String TypeMismatch
e3d294974dd9de1088da2a9ffc73daad5855572c RecordSet SeqLen TypeMismatch
bfedb889439945c11a2d2e1365210c399b91d100 RecordSet SeqLen TypeMismatch
e6c7cb1ee751a9b66efa68bb691ed4c6c6f0bb94 RecordSet SeqConcat TypeMismatch
4031ec1924f9b12a28ffc08f9db1cea0fc43de6c RecordSet SeqConcat TypeMismatch
c32fa67ee1451fc73ebe85a2ad1cf5df4cf644da RecordSet SeqSelectSeq TypeMismatch
da9c9e1f9d91679e55e38b183bbf7d97a36a2483 RecordSet SeqSelectSeq TypeMismatch
8ce466a3fc6eb6e11f6af26a6be18d01909bf74f RecordSet SeqSubSeq TypeMismatch
8ddc0b32cfea7ad5af0304936e359bd7ef2c6ead RecordSet SeqSubSeq TypeMismatch
40866fd857af76e7e815352a0cd93423bda4b027 RecordSet TlcSingletonFun TypeMismatch
410d740cb8f2a8061c0fb584d52763c3c3308cf9 RecordSet TlcSingletonFun TypeMismatch
92942ecdd3d71906f651c68a412ec2bb91aeb509 RecordSet TlcExtendFun TypeMismatch
84f1756cffb1f4d36f8590c0d0c30483717a4a6c RecordSet TlcExtendFun TypeMismatch
7810852cfbbd42bef5f56c342b2a5e54efff2465 RecordSet TlcSortSeq TypeMismatch
9ef69cb190c9f18caed034a024488164d9f2a302 RecordSet TlcSortSeq TypeMismatch
3a67788436b3a21cbf88256889c1213126f7a85d RecordSet BagSetToBag TypeMismatch
4abae584afe022bb34a98397f72c168c123986ca RecordSet BagSetToBag TypeMismatch
7c56a811d9719fc3bdee90c0d71f43ce6f5f9a56 RecordSet BagBagIn TypeMismatch
8d45af6740e119025529334cdad5569490e29b50 RecordSet BagBagIn TypeMismatch
883d699745fe16fe5ac1bb1553cd48e2c1924844 RecordSet BagEmptyBag TypeMismatch
fd8ec2ea3a3902e6dc5616da7a9984cd04dc404b RecordSet BagEmptyBag TypeMismatch
0aa8d34884aeaddfb6eedfb4ccc8871ac78594c9 RecordSet BagAddBag TypeMismatch
4fbde84fefa51f4611ccb3caf2a48cb7349c12c1 RecordSet BagAddBag TypeMismatch
8506c5b6c8c5a972402ea8e151d9df2f6ef019cc RecordSet BagBagSub TypeMismatch
d468cc2f331e038af51a3c24b14f8628d68dc086 RecordSet BagBagSub TypeMismatch
f4d86b89ef6ee43d3e8bc5b5275bea6c11e68ad5 RecordSet BagCopiesIn TypeMismatch
10346e09cbaba8f1c70aa1c3e3b151fb7befdc7e RecordSet BagCopiesIn TypeMismatch
1970a6c5c6a34fb53900b4462202ca0045e226b3 RecordSet BagSubsetEqBag TypeMismatch
79caf40f529811a83aebac5d366151eaec426cb9 RecordSet BagSubsetEqBag TypeMismatch
4a221f226d41c43e5e815866710bdd07444aa3a9 RecordSet BagBagUnion TypeMismatch
b33fc60457ad77994a6c5cec7c6c6b7713d90b09 RecordSet BagBagUnion TypeMismatch
75dffa8058a68ff96a6bab83a46c1e1049e43ced RecordSet BagBagCardinality TypeMismatch
883f8a7835f4354f7eefa176b75e1ac6674e9fa6 RecordSet BagBagCardinality TypeMismatch
e54b4b07180a2045b340a5f1dc273632083a5d75 RecordSet BagBagOfAll TypeMismatch
351a18568e2383ab839ca12d74641b814ae3a117 RecordSet BagBagOfAll TypeMismatch
b7e1ca4fe605ef6defc423d8c0d82002646b0221 RecordSet FiniteSetsIsFiniteSet TypeMismatch
490045b17bad2069c3d102b4fd9028bf74537012 RecordSet FiniteSetsIsFiniteSet TypeMismatch
1b9ae3f21a4bee1c1c9138caa3dd27d0d547a424 RecordSet FiniteSetsCardinality TypeMismatch
44032cbfbe5eb3751bde1cbb825bfea863e6515b RecordSet FiniteSetsCardinality TypeMismatch
83ababbd44d9c42af88b3291374cc5b82571693d RecordSet SeqTail TypeMismatch
daec58beea72550b9eb8db46434ffc6d84253ab8 RecordSet SeqTail TypeMismatch
b2da54dd7cbe74388bc1e2f5607c29b0b0768d70 RecordSet SeqAppend TypeMismatch
3b0762f8bf10e278205b42aae261c54b69ee2f8a RecordSet SeqAppend TypeMismatch