Index

Skipped feature combinations by plug feature NumRange

Id Case Feature Plug Feature Skip Reason
7858e85f0171ec5069f03d3340777e152a513e55 OneLineComment NumRange CanNotBeCase
640914c5781e4988d16a5a95f8e8af0cd607c030 OneLineComment NumRange CanNotBeCase
f03b29bf892c63c5face0445f7c2e3b10f7095ef MultiLineComment NumRange CanNotBeCase
3e400551fe43bb0d2cc3321b1dd19cd6f7f5d71e MultiLineComment NumRange CanNotBeCase
8520e481e9aac5ae1d2daaddb07e5c7e261a500a BoolTrue NumRange TypeMismatch
e87deadc1fa2921ca8a74cc22f75b9fde60d1389 BoolTrue NumRange TypeMismatch
1e813a547eee94c269f3e3ef6f06a00ff781a7c7 BoolFalse NumRange TypeMismatch
ac9cb531a2db6a4051fe143a8281864778eac57a BoolFalse NumRange TypeMismatch
3990cb48039492faa4d69da6a62b7683542c7368 BoolSet NumRange CanNotBeCase
5f7bc2c013eeb43858cf318bb4a9af46368f9d68 BoolSet NumRange CanNotBeCase
ac01ba80ba745ffdf1788e75f71e94fb673252fb And NumRange TypeMismatch
be44dfea9b78c33280e7637800a0b6c36b1c90c4 And NumRange TypeMismatch
a380cb1fdbb5e5d3e88be410ef13740de64b030e AndMultiLine NumRange TypeMismatch
7254d3645d38fb743620f5091c4e179a58a0155a AndMultiLine NumRange TypeMismatch
6a3a971ab594373c37a0e4b700887b0de9913dc7 Imply NumRange TypeMismatch
e4daa78205a1b742fd12017f95c8bdbf92ee321e Imply NumRange TypeMismatch
b3f0bd06ef5b86e414220e17f6b5fa6350bf9189 Not NumRange TypeMismatch
ed9e1a0ce25dd09be119a3c1be6b2bed7890c530 Not NumRange TypeMismatch
576550c0039e1982a61be86c07c9d2ba9897643f Or NumRange TypeMismatch
8d8916796a76b93ec65d0672036c7d7db7a41322 Or NumRange TypeMismatch
a830e7323672390845900187b63c15e404d39614 OrMultiLine NumRange TypeMismatch
5e7df7a93d287f464dd4b6b30fa0c177136a91e7 OrMultiLine NumRange TypeMismatch
6685bc8d48e4cb6bf256b2c084acb466129b3f96 AndProp NumRange TypeMismatch
29b8158ee8fa85431d6754742480386dccfc81eb AndProp NumRange TypeMismatch
15cdebbf37937ab7cfb6612689e81ae578c7b816 Boxed NumRange TypeMismatch
efac5b599b72cdc3f50031cf3b095f39043b13dd Boxed NumRange TypeMismatch
33d6f64697c276a68d6447d405ab61de95540284 SetEmpty NumRange CanNotBeCase
5c93280c79a42128459dd92af8b0585008c42899 SetEmpty NumRange CanNotBeCase
b504f8c801645f2c508ca92f047552fd205dd633 Set1InDef NumRange TypeMismatch
dfee978a96d92472ca62c8370b31b80c04126cc7 Set1InDef NumRange TypeMismatch
5b13052a5396fd4be5501b9b3891e53098c91166 Set2InDef NumRange TypeMismatch
6bfba4a687ab50f53de0e3944884026733649184 Set2InDef NumRange TypeMismatch
57a246a2a321c5974f297452d06e840938745e71 InDef0 NumRange CanNotBeCase
693e6def891749b2b80d9b9f6369e7d81ddb5e79 InDef0 NumRange CanNotBeCase
54947d0df1d7c63ab8c0acd72bc6344dca57fe0e InDef1 NumRange CanNotBeCase
889af2e118e02f6df0ab942d6f8001f4bea773e0 InDef1 NumRange CanNotBeCase
e6967fd7ab678731ca5a13dc7120ef44998c4465 InDef2 NumRange CanNotBeCase
09898178874cd9d4cbd888fbc95d05be9cbf2ec7 InDef2 NumRange CanNotBeCase
1046fd5b5b1217f3b16116ecf43272d30bdee50d FunInDef NumRange TypeMismatch
541e0fde2ee68b7c15e64baef79667850e14ad41 FunInDef NumRange TypeMismatch
b39c656afe99d19d50b3e6431004b9f281ec90d0 Exists NumRange TypeMismatch
6c1ff6973e1d8571373ba9786fc4a4ee663a925d Exists NumRange TypeMismatch
96d9114c5b9da7f548c7f11c0d613301bed5a91f Forall NumRange TypeMismatch
ba07bc574e66ed42792143eaa725e23f584ecbff Forall NumRange TypeMismatch
5aebb067d40ab6a2476ecfc65be0e871e1158b09 ExistsInDef NumRange TypeMismatch
f985d1bd2a94ee3a88454a43c3b74f661554b262 ExistsInDef NumRange TypeMismatch
a329efdda2afe0a2bf2503626361c9629da86222 ForallInDef NumRange TypeMismatch
566b06e5388da90ce5390ea5477917d3abbef1ec ForallInDef NumRange TypeMismatch
bb065eb2a344f644d80631e2ce8e485abb0ff9d0 Choose NumRange TypeMismatch
b8cd1af40f394453e35ff8db72fe7a3566af3792 Choose NumRange TypeMismatch
0f5ba06d6a79c053852b390ff1f138704b4feb76 ChooseInDef NumRange TypeMismatch
b13d4e01f49d9a5c301a72792b64694f679fead9 ChooseInDef NumRange TypeMismatch
3fc24ebeb5988925671c9eca45bb9aaca821546a TupleEmpty NumRange CanNotBeCase
af87341adf08fcf662936b97e6ded19fd5aa48d8 TupleEmpty NumRange CanNotBeCase
1f7e3b91558165a2ebd72ca22165329f1026d20a Except0 NumRange TypeMismatch
bfb50900e2790d519517acfbb09713ae70756d23 Except0 NumRange TypeMismatch
01e031ae317fd192e64819d92caedab09000b9b0 Except2FunTuple NumRange TypeMismatch
b83aba31c44763d24413e254d5dc42d14ffa2985 Except2FunTuple NumRange TypeMismatch
c54ab659ac7999d180cbe84e6559c37568893c53 NumZero NumRange TypeMismatch
b66ba0a113893dafb6d8a97b68bb645a4d4cac15 NumZero NumRange TypeMismatch
c2641f56885e8c18e8682fabeaf2110afcc9c242 NumOne NumRange TypeMismatch
77f0647730e71c0d1c9a072a29d706e4ead0f82d NumOne NumRange TypeMismatch
8854e1d91c526bc83ba487ad10a90d9fa0ce0f8c NumMaxInt NumRange TypeMismatch
34fbedc8a85e80c492f72a34176f7b7a5b26c6a0 NumMaxInt NumRange TypeMismatch
f25f2657c0e1f7ed5d2d8dab1562f7c4aa6e068d NumUnaryMinus NumRange TypeMismatch
bb159e3896fc1bcf9d6b0daadaad0593531d3c24 NumUnaryMinus NumRange TypeMismatch
4da6849f862507506e9a5d43fd3bc86976eb133f NumPlus NumRange TypeMismatch
f7087419af3df2e733a080f8489323cc8020cdbf NumPlus NumRange TypeMismatch
cf029ca2c4ea1e9bcde9c1d93704f78d377271f4 NumMinus NumRange TypeMismatch
5ed47e85039b8909b3268555387762406578d5f6 NumMinus NumRange TypeMismatch
75379328df167e291b3d09f776995665c24f3ff7 NumMul NumRange TypeMismatch
76a27b3ac2f6335e68899e06f44a4f78cfbf69d1 NumMul NumRange TypeMismatch
16c2922618819fb49c25f916ab5d284bbeaf3b3b NumDiv NumRange TypeMismatch
4fd3984546510aa2227287e1132eeaf387571c0a NumDiv NumRange TypeMismatch
8cdf8442ec1a37cda647cab8f0f0f8ac671f86af NumMod NumRange TypeMismatch
b97a326e52bd9815855f36db1fef928fdc5dfc16 NumMod NumRange TypeMismatch
170e56e7631ec4193048cce586d03141c3e096c6 NumPow NumRange TypeMismatch
4cf74fb14b33a716a3c416f04ebebb6fe0c4374e NumPow NumRange TypeMismatch
19559fa7c35d0acd3491908ec362ea2f131254ed NumGt NumRange TypeMismatch
4206ab9a7b03e597af4d95afe8fe7ae391e56e1e NumGt NumRange TypeMismatch
60fad91ae08c1afc47d3c6ab248316b581de9475 NumGe NumRange TypeMismatch
ca5f4446f7a7b1f9d2597c3fd0f0fd7bd7fff342 NumGe NumRange TypeMismatch
7cfcdec9dfc77a35c1252a7778d44a4550bfe250 NumLt NumRange TypeMismatch
3c928b541984568b9a8f7d7d182f5ae8b7a1dfa4 NumLt NumRange TypeMismatch
cb00a3c85fd195f0ff377c9e58f3d2280d9e6eed NumLe NumRange TypeMismatch
311e26c84f107b023707269ccab07ffa5f10f040 NumLe NumRange TypeMismatch
526a8d67bc3a11d9986484d7f7b8db368f0d20e2 DefFunInDef NumRange TypeMismatch
4e6a0f8ec80f83ec8e068181feb267f8e669e91d DefFunInDef NumRange TypeMismatch
76e4c15426ebf010de3eedf66b2633c86e2fddc7 LetDefFunInDef NumRange TypeMismatch
f0ffdb585992bc9c9d284e5b0d8cb11d345f9ea5 LetDefFunInDef NumRange TypeMismatch
7cad4eaa8b153b1e8f797c0fc180e79787020678 ConstantModelValue NumRange CanNotBeCase
f7d9006868b72dd3b085f064827ff02e8078bd1b ConstantModelValue NumRange CanNotBeCase
5fc2db67cca7255e713d376daca0fc614a259feb Enabled NumRange TypeMismatch
49b0cf6a5922884fb5269269bae4bb166b7b3218 Enabled NumRange TypeMismatch
876bcfa90b2c8a4d65cfc1c936e8f31afdec7e26 Assume NumRange TypeMismatch
941d6cebb7ce7373faa9a9f8798e15005fca53f7 Assume NumRange TypeMismatch
8c832519946ece343a01acd02550ca38ddcf279a AssumeNamed NumRange TypeMismatch
a8f174779c402874530d10812ab1f5ed6b12737a AssumeNamed NumRange TypeMismatch
b3b598699172204459f484aee39833bcaa8eae88 IfCond NumRange TypeMismatch
d4d0b12950e158f123212f1e37e9ae37cfe6d9f2 IfCond NumRange TypeMismatch
180115ebe2bf2ceee8d721539ac608ebded4bc89 Domain NumRange TypeMismatch
b9c569a142f6238b2a1b25ebd192062906267264 Domain NumRange TypeMismatch
1c389c7f7669b0f40fe4faa9e51aade41e6e4eb3 Union NumRange TypeMismatch
1f217e4936cfbe3f874e76a294f1d074faf13ec6 Union NumRange TypeMismatch
c83bac8cdcd6a318f675348fbc271e7e6b02cd0d Equivalence NumRange TypeMismatch
818567eeee1b0688d18be393b673b8bc674cda91 Equivalence NumRange TypeMismatch
0e497d3dc02f335d360910862424d6783144b5c8 StringEmpty NumRange TypeMismatch
1245499fb278fa381a2faed176990b92289d5924 StringEmpty NumRange TypeMismatch
94927c085b967611f017a140a44c5b1a75487de0 String NumRange TypeMismatch
e1fd017da4998d6c680b33a4cf26a617064ac1d3 String NumRange TypeMismatch
38009eabf28965800ee9f42842bf6620d039d2c8 SeqLen NumRange TypeMismatch
eb209cb9516f9365242c9ee85bc79949ac28d255 SeqLen NumRange TypeMismatch
9c6e7abb26fb1b283ccb2ec923766dbfd41b0c51 SeqConcat NumRange TypeMismatch
cde35ca06d5f9a336a2fc4fb632d72ef0dd0afc4 SeqConcat NumRange TypeMismatch
e6a81d9a3c775cf400392eb7d9b5a614e6d4a977 NatSet NumRange CanNotBeCase
6f4b36af3dc928124262ceb714156f18e7f0c19d NatSet NumRange CanNotBeCase
1adb0138889aa2ee6f926c6518c8ffd2e4af43fd IntSet NumRange CanNotBeCase
d5c635ae3f557d3d885415b74cbc70aa4afd116c IntSet NumRange CanNotBeCase
38e1fe7b4f29a5b24dd6d878115da0682baba69f StringSet NumRange CanNotBeCase
3ad7f654d9d9fbd9d6ea1818d790bfa951f6493e StringSet NumRange CanNotBeCase
375b0103df21ec4e4c0815bbdea2a8409ae29a0b SeqSelectSeq NumRange TypeMismatch
53e5220764c3caf6e0f3cdd7cc6a3ae8eb611c06 SeqSelectSeq NumRange TypeMismatch
cb642d5e5cc117a3b97126996eace4bfabd2432d SeqSubSeq NumRange TypeMismatch
67c0750aa0a16f1cbff30118a42cc9e1b4a4b7f3 SeqSubSeq NumRange TypeMismatch
5bac942dd503deed73451d118a8f050587449318 NumRange NumRange TypeMismatch
e664be0ef7cf9b3e21c3b6ba1e5d3774acbeef76 NumRange NumRange TypeMismatch
7de6578d8651a91006e9f21f159baf61c061cb94 TlcExtendFun NumRange TypeMismatch
d23e388252a8879e5cb8a6663a79200ca325d9b0 TlcExtendFun NumRange TypeMismatch
aa1875b8ebd94823983245c79b108faaccf3c7fd TlcSortSeq NumRange TypeMismatch
8e22ff2866d597d9011d940753570cdf52966c9e TlcSortSeq NumRange TypeMismatch
7b74173f49d029c423f03d07a07f3ae59219b11b BagBagToSet NumRange TypeMismatch
246a4ed5691ce472e3774e6747c44ce32c70675f BagBagToSet NumRange TypeMismatch
22aa863c07f5e9445563b3007ac5ade265bd1a0c BagEmptyBag NumRange CanNotBeCase
841c8f53e25d46f9ccd3fc0ad4628dcf99aadd7c BagEmptyBag NumRange CanNotBeCase
df942702303a234e2c5cd0ef3a906482ffd48822 BagAddBag NumRange TypeMismatch
d566677cb2121b7feb39d615924d9b8858cf6fa7 BagAddBag NumRange TypeMismatch
b78c2c868398979db4f53d9eb7ff965a0bbe4637 BagBagSub NumRange TypeMismatch
3a85cd501e6eae28b95bc8df445e4bc3b1c366e3 BagBagSub NumRange TypeMismatch
f46c569cacd5836582ddbfbbfe68e22410c2e976 BagSubsetEqBag NumRange TypeMismatch
9db8e7eac958368d96ecab0040e2e4490bd9c217 BagSubsetEqBag NumRange TypeMismatch
c28a7a77d2eb786c773d62b9ce0fdccb1934fbbe BagBagUnion NumRange TypeMismatch
8ede497126a874ddc4ee72806ed0bd002bb9d356 BagBagUnion NumRange TypeMismatch
06f7b68d8d98b17abec949244c6d97b4669d8d5e BagBagCardinality NumRange TypeMismatch
41347fbf50043f1ffd63809d60c57a47ee03c703 BagBagCardinality NumRange TypeMismatch
e6b9dfc321bab7547d2b7b58c6a2099e5972c21c BagBagOfAll NumRange TypeMismatch
9733df8d2fc45d9bcd7489e1d32890c076bfac78 BagBagOfAll NumRange TypeMismatch
55a377fc3ecf794adc116645c83e1525a24c2c49 BagSubBag NumRange TypeMismatch
b65c2044283c1883d0b2ca66c7299d30d44f7935 BagSubBag NumRange TypeMismatch
e208c56ed6c068b145aff9cc8edfda3c396c8d6c SeqHead NumRange TypeMismatch
0072235b3c4c3bd8e20397a2e7414b9ddd7ad61f SeqHead NumRange TypeMismatch
4a8db6a420eebc727e0ba232fed054fcc89aa8d3 SeqTail NumRange TypeMismatch
808914551dca29aae26f9c4501d692fba4613e5c SeqTail NumRange TypeMismatch