Index

Skipped feature combinations by case feature NumRange

Id Case Feature Plug Feature Skip Reason
d214ead697198b6e2bd61ca8e44ac4f1c97a13b7 NumRange BoolTrue TypeMismatch
66e07297ffdd8bd86efe2a2d2bf0bb7dfd04c501 NumRange BoolTrue TypeMismatch
50f221dd55236e3d7295fc830bfb38ca8206abde NumRange BoolFalse TypeMismatch
6aa648bbc5852e2f78703168d732f6d643561cf6 NumRange BoolFalse TypeMismatch
4259e2d09c93fff76387991751376d8f2b1d9147 NumRange BoolSet TypeMismatch
348b00ac26862ba1c030aa8255c3c9b573048fdb NumRange BoolSet TypeMismatch
5dc06f8ab63c941adf111d813fbdbea836ac04bf NumRange And TypeMismatch
2712b4b1f9cdd9e6a0fad2f02d9e4839345bbbe5 NumRange And TypeMismatch
67dfd5e32980ced59eaf589b430866904db7e0b6 NumRange AndMultiLine TypeMismatch
4d823f9683781f9f9cf6f70f8c67c6f367750f91 NumRange AndMultiLine TypeMismatch
fc6bba5f106ee1a6e34e15d4cff64cc119be9afb NumRange Imply TypeMismatch
b29ab7948995adc8d1398b5d9d54ae7a2e80e7a7 NumRange Imply TypeMismatch
22da6e4c99c17cd2a53bf1a8b0a9f4903b54997d NumRange Not TypeMismatch
7203f587944b2226b7dffeca49253b87817f2ce6 NumRange Not TypeMismatch
166b737de1aa792433d1c59119ea29d4505a6af8 NumRange Or TypeMismatch
cbe9a26d4d7394d19cabe5d02a9a1ff4b38848d5 NumRange Or TypeMismatch
ac45b19fd462a7f85fee23fb0271af95660e50c9 NumRange OrMultiLine TypeMismatch
cf13faf1626a3ba7734ef7f3a1dec04ce30b1cdc NumRange OrMultiLine TypeMismatch
1d3d731a1d07f988e84ad71e9e8e1cbe496a3ddd NumRange AndProp KindMismatch
58acbb19dd995afc74c1dba4510610eeb6be7806 NumRange AndProp KindMismatch
080dee9f1c9bc9d7b377d1bb69c68f995bd79ddd NumRange Boxed KindMismatch
127fc91ad16000e1acdf3ea2a6743ea66bfffaa9 NumRange Boxed KindMismatch
c6abc759bdad8a27456d52838214b972f6cf03bd NumRange Eq TypeMismatch
2e63323a7200392d9055df3ab704ec87b239d453 NumRange Eq TypeMismatch
7ac0f7aad44e1053f03061d65f28c3ad945bedf0 NumRange Ne TypeMismatch
ba86f69b60fba6ce8d61f354992ac152f33e213a NumRange Ne TypeMismatch
8e02db2150484158145624c0004b725ce2163f48 NumRange SetEmpty TypeMismatch
366dcde422c60b2f322c83394980783f3990c7b6 NumRange SetEmpty TypeMismatch
b4c3621427f2b941c7f6934b7b19223a103985eb NumRange Set0 TypeMismatch
05a5483d7802e8c86b25b521531dd751748f81fd NumRange Set0 TypeMismatch
a3c97cc29b97b5bd466689b3f7872e1d562bfe52 NumRange Set1 TypeMismatch
1015d828d7465937e673d9e7415dd08cb4ed2340 NumRange Set1 TypeMismatch
38aed9239ad89dc5715086c99e9d054e0fe0381d NumRange Set2 TypeMismatch
a251f572ac6dddb411d8d293f5390bc8d21ad15e NumRange Set2 TypeMismatch
2287eb863e64b6ebb7d7e785a1cd933facd68e5c NumRange Set1InDef AlreadyCombined
5d77313592a75b246096225505bd3c8490cf5c0e NumRange Set1InDef AlreadyCombined
be03f3cfc399cfdb2c785fbfb375bfe23c6ef1df NumRange Set2InDef AlreadyCombined
00f8387e12e4f723c718ab768acf4f748bbdbcc0 NumRange Set2InDef AlreadyCombined
cd3f45c9bb18ccf53695a09c4bf8918b206a2c1a NumRange InDef0 TypeMismatch
3510951670e8b79ebfd38f2196dfbd45df9bcfe2 NumRange InDef0 TypeMismatch
faff7a85388c026102320070a9cfd3748de170e0 NumRange InDef1 TypeMismatch
0d44476d942f4427f4ff2282dfaffff1536e589b NumRange InDef1 TypeMismatch
c177ba88a67d8ca9d91895b6555477a90b389b9f NumRange InDef2 TypeMismatch
29f4a5f343988456f29872f4e731b0c9a36c294a NumRange InDef2 TypeMismatch
5e0e6ee7d68fc2e477d553fc0bdcc64d411a1c7e NumRange Fun TypeMismatch
07ec29af4ee4d85d74d9e61795e575cb653999a2 NumRange Fun TypeMismatch
e9f20f88f5404b2fdaf0fb189bca206df1b9a874 NumRange FunInDef AlreadyCombined
e079dd794b56551f11d9bfa83ead3b763136a4b3 NumRange FunInDef AlreadyCombined
b6c28c311ee975b21b451039da0b56b38f97b5ba NumRange In TypeMismatch
c4ea0a8c31ff9c79203c889c307220fd3a6c228a NumRange In TypeMismatch
00dc6eafc5d73d3d5ef089727c138a13e3ab9230 NumRange NotIn TypeMismatch
8af4cfc1bc1dfe2c47352dd81766c5f14474a6c8 NumRange NotIn TypeMismatch
4ad5bac9011c43464c7726d68f1dbbe008a431c7 NumRange Exists TypeMismatch
38c6b39e112a2b250e1b2befc04caa2f4e2c008b NumRange Exists TypeMismatch
3791423e63426f2e7044a7f09c4cfa4ab4c1bb9f NumRange Forall TypeMismatch
711c5bc9e2f71fe278831051c9d7ba43e6008ab3 NumRange Forall TypeMismatch
28e1972e1818f16d76a7f59d7eaba27d0dbda31a NumRange ExistsInDef AlreadyCombined
e9e4a9551e7259cd4cad48f1f6482e6b6f3e62da NumRange ExistsInDef AlreadyCombined
996f2f0b21d42ab7097eef8d07854ec5227b5357 NumRange ForallInDef AlreadyCombined
10197a3e86a4f57355df202866f7e87102354d79 NumRange ForallInDef AlreadyCombined
f03c0556487732b56ba6ee7d9f32a5cc7733d72b NumRange ChooseInDef AlreadyCombined
8d8f46ab28bebcee2c00e62938a1211a81fa5207 NumRange ChooseInDef AlreadyCombined
c114518319f08b864fe94ca6633a16cb42cf4ad7 NumRange Record TypeMismatch
7880c42453987c533b970e791b8b220102126875 NumRange Record TypeMismatch
6abbaac569923d7639945c0eb21bccda4f3a05f2 NumRange Tuple TypeMismatch
58c3f4ee7ad58151c006c2f42dd848a81686e664 NumRange Tuple TypeMismatch
4d4b7bf0608665223ad9a12a6dda6dcde152f846 NumRange TupleEmpty TypeMismatch
be240108af5583e31f3d14420691467a80a01da4 NumRange TupleEmpty TypeMismatch
19d6b3759a6da532a247554fd128840df39b0997 NumRange Except0 CanNotBePlug
6e6d2de74cfd644a2087d4c23382f7a06f4cfee4 NumRange Except0 CanNotBePlug
abac3e786e5a07c26da50d2e80d0986d747e33e1 NumRange Except1Fun CanNotBePlug
a59b7fca88d0aea5f07f06cc90a6158bda0a6c66 NumRange Except1Fun CanNotBePlug
646dc7487b4c622c112d0520a3ed32aa7813c648 NumRange Except1FunWithAt CanNotBePlug
deb2cad8bffc6a081e988e89ca953af808bfb5f9 NumRange Except1FunWithAt CanNotBePlug
a80ce3c7fa9fd1d3b39e6f9a59f5c130c20ce5b1 NumRange Except1Rec CanNotBePlug
4657eec8ea24966cd86e760e26b8dd1dee31e15e NumRange Except1Rec CanNotBePlug
617ee1c6ffe3009557e871af0e89dbceaecb5dfa NumRange Except1RecWithAt CanNotBePlug
aa6c72d2056ef800ad3ffb1a92af03d6369158bf NumRange Except1RecWithAt CanNotBePlug
bf37879d4aeb78c7fbb98c7efdca4dda6b732bea NumRange Except2Fun CanNotBePlug
721e3a732372eff28bf5c6a0de19e099dd0c3be3 NumRange Except2Fun CanNotBePlug
98a33b768068f0ad2dbac034ac09f47efd35587f NumRange Except2FunTuple CanNotBePlug
d127679c2b4e5a79f33b4c0e57cadf758f7ca8b9 NumRange Except2FunTuple CanNotBePlug
0f109b9475b9909977bb63a471cdb2789859cd9b NumRange NumGt TypeMismatch
b9c02ee2cd4a7cf7e6bc2518034d16dedcd0cadc NumRange NumGt TypeMismatch
53ad5ef6fefb36a51c26384ffb647935eccb5150 NumRange NumGe TypeMismatch
45af6b4e1c7f2f31a0389898b21174fbc6b3ec9e NumRange NumGe TypeMismatch
11a6d64dd5adfec6587dcf69484a0ae55c7dffbb NumRange NumLt TypeMismatch
d39059f0e033316bf795688cf98919c891b4c700 NumRange NumLt TypeMismatch
d48611281d5d0f84f7851502c21aac1a9b98aa7b NumRange NumLe TypeMismatch
dd39af8244d01ab6c44b65ca411507e84ec442aa NumRange NumLe TypeMismatch
776211bf22299982b801729466ad2992c812af0b NumRange DefFun TypeMismatch
c917a16fd552a8bdc494245f540dec877466e5c9 NumRange DefFun TypeMismatch
9d1e9ce4e91ac60178d2bf10ee3978e9258a836b NumRange LetDefFun TypeMismatch
f465e44b088a96ef1adf1f0a3b3b2450581d72c8 NumRange LetDefFun TypeMismatch
c68fa59a8f8f231161d69cea6e4574029a3efe98 NumRange DefFunRecursive TypeMismatch
1e1df96e5eb4fae6152a5c4ae108a67956c8ae1e NumRange DefFunRecursive TypeMismatch
8ed9cc182f22e3201f5e5181f3aebd7298910585 NumRange LetDefFunRecursive TypeMismatch
64f7afcb7a51bc26f07194207a3d2518c60f911d NumRange LetDefFunRecursive TypeMismatch
8ee5e6fc69f680a440a4e1e283925dcb757b4c2b NumRange DefFunInDef AlreadyCombined
abd819b71e68f7821f0ca9b6adbf23088f0a2345 NumRange DefFunInDef AlreadyCombined
a32fbe494119cfc308c52274da90c592d8016300 NumRange LetDefFunInDef AlreadyCombined
78655e5ca809d19c2d94c6166e007267f28d6b3d NumRange LetDefFunInDef AlreadyCombined
f1a2c9bc63e17a6d6639af28fec35919999439af NumRange VariableViewExclude VariableExcludedFromView
ebf1f86593f3601ce799d43f40f260540d02820f NumRange VariableViewExclude VariableExcludedFromView
530eaf250b7bd3af48bf0f1a343dc4699a8a8c62 NumRange ConstantModelValue ModelValueCanNotBeUsed
9a649d1d39e979821146653c945123d7c4056515 NumRange ConstantModelValue ModelValueCanNotBeUsed
f38b043190f779082096d1fe23ac2558af315aa1 NumRange Enabled TypeMismatch
63674470d8fb15750935169282041e436df71e08 NumRange Enabled TypeMismatch
c20a9625d281e371b0d9c21dc724103199b10f37 NumRange Assume AssumeIsNotEmbeddable
8280837da0ae750e6cf9b45fe36947bbdebb073e NumRange Assume AssumeIsNotEmbeddable
76bd8a7be92f1d90d9c3fd8827b799f2b4536ca7 NumRange AssumeNamed AssumeIsNotEmbeddable
f6b8b2ae402963bfa520160c61613edffdd814c1 NumRange AssumeNamed AssumeIsNotEmbeddable
1d57c3db32241b6dbc1064d8987aae438cb66060 NumRange Lambda TypeMismatch
eb37f0218ccba41895634189b067d11972a7b4c0 NumRange Lambda TypeMismatch
c4d4259343e909be7ff65572cb4ac76f5862ae9f NumRange Cross2 TypeMismatch
d43645b9a888e780365769b07893075bdf7ca489 NumRange Cross2 TypeMismatch
5bab029c8f6e800de31ad0d141e3f8141c9bb80e NumRange Cross3 TypeMismatch
567196abad96764e8b0a9f2c9d9865ddd5d61a00 NumRange Cross3 TypeMismatch
24f4fccbaf0f67d3e54cfce943f086cb8ecc403f NumRange FunSet TypeMismatch
c3a645eaed8ecc862ee8808280bde5e55d8cd996 NumRange FunSet TypeMismatch
7cd964ae9f129d26ef864f8a4e42c3e146ddc824 NumRange RecordSet TypeMismatch
f4f109f5e0457b2ac6ec35195e8157ffa762e766 NumRange RecordSet TypeMismatch
9567bace657eba704875bd52f53222579a9fd607 NumRange SetDiff TypeMismatch
194a9b2dcd86590c56d716964f4172f25f54b2a4 NumRange SetDiff TypeMismatch
8420cfefff91bed775157ad491fb517bdda43228 NumRange SetUnion TypeMismatch
a967ea2f2ee77161c0b8ce0d98eb8e4bc5e03139 NumRange SetUnion TypeMismatch
568e6cc1784f0b749b19450a8e7df43be001a0cf NumRange SetIntersect TypeMismatch
7e0e88da632d102f8f5625774c6ee8942e7f7115 NumRange SetIntersect TypeMismatch
620b7d40a74831db17fb79eb5b2759c90283679a NumRange SubsetEq TypeMismatch
1fdca58711af7cc0c97075261331362d92793fd3 NumRange SubsetEq TypeMismatch
111ca6e5809568fbe21f62d5d4516e49d50ec36a NumRange Subset TypeMismatch
cc754fb375ddd2effdb36df559f7315dc557465f NumRange Subset TypeMismatch
2009bb91a1de085c51b2e7fedce61690889e280b NumRange Domain TypeMismatch
a1e0dcac82f3d2595d1bec3fc67ed5a638cbddce NumRange Domain TypeMismatch
9ffcfea922f260278e3713fecbf754fe2ce87ffc NumRange Union TypeMismatch
5ca2d73a5455c138294185715b2f102dac01a990 NumRange Union TypeMismatch
62d372f62cf22aeb98dd2a8d28bb24397486a9a8 NumRange Unchanged TypeMismatch
a89f40deba68aa489c833f0d437912df57482f07 NumRange Unchanged TypeMismatch
6c30003f291bb3a32822f0b07fa37624c8e5b3cd NumRange Equivalence TypeMismatch
377da6a8228e84ae7d984865d88e575308dff4d3 NumRange Equivalence TypeMismatch
89525b1a6235d282695ab6f2c141f65991abbb59 NumRange StringEmpty TypeMismatch
ac7b410ed9af874254e26473fd72cb9fa85238dd NumRange StringEmpty TypeMismatch
a2291b61403db65b386b7aea43f1ade0c003372d NumRange String TypeMismatch
bc76f73ac8ddc7e532bffb58f5397a68eeb0e3bf NumRange String TypeMismatch
f25f71475fe578d543f0f68d64129f2157062207 NumRange SeqConcat TypeMismatch
65345588d3f0573f318c2694285180a73c2328d9 NumRange SeqConcat TypeMismatch
26e06c835c0138f18a785b96de97e177b9756aa3 NumRange SeqSeq TypeMismatch
e4f0ff6b2644521f27b682851363e30b46fb65e6 NumRange SeqSeq TypeMismatch
a68f0b4ba2acb97efd9c194406137338c0b4cc92 NumRange NatSet TypeMismatch
f95ff8f3a008395e0bcff7fef29becbb154ea82a NumRange NatSet TypeMismatch
1fe9ca0f3883ef56e45bc9f468af92d283ab6144 NumRange IntSet TypeMismatch
9baef1bb0cc7eedc4dd10b1ea4407c0496b11bf8 NumRange IntSet TypeMismatch
d607a211d320970209004f34741928fbd3c7bdf5 NumRange StringSet TypeMismatch
81597b0b66ede3aa0a3ded4c38674bb653940b06 NumRange StringSet TypeMismatch
149328ae544eb1f2dab923ff7aaab04dab41ae86 NumRange SeqSelectSeq TypeMismatch
4fc0615f134991712745b2737fbd27cd2da3fa87 NumRange SeqSelectSeq TypeMismatch
86f48eb7a1b2429ef40e771b0584c9f87dd7e64c NumRange SeqSubSeq TypeMismatch
7541c8bd667b77d72021ddb437b6c25b48b2f0be NumRange SeqSubSeq TypeMismatch
5bac942dd503deed73451d118a8f050587449318 NumRange NumRange TypeMismatch
e664be0ef7cf9b3e21c3b6ba1e5d3774acbeef76 NumRange NumRange TypeMismatch
5f343cba0f6e0cefb4cc29bc61954974376a60fd NumRange TlcSingletonFun TypeMismatch
3b15f6f63c91623c3c2409039e391cd109d74f59 NumRange TlcSingletonFun TypeMismatch
841b2401c0bc10ed0d0bf80337748de36f54c3bb NumRange TlcExtendFun TypeMismatch
759a9de3ce5c4674c37f716358be70d499158123 NumRange TlcExtendFun TypeMismatch
fe06502ed7f6d056ec6773f378738ef0b9c51a5f NumRange TlcPermuteFun TypeMismatch
bd26345813e9bedc135998afae94904b76455dbb NumRange TlcPermuteFun TypeMismatch
051c6e02eed4d854e47acd328952c0730478f43f NumRange TlcSortSeq TypeMismatch
a99a5d3f272a6ab80d58b19182c9b0cc58aabe1c NumRange TlcSortSeq TypeMismatch
75b3c1d814b08ec53ea3a5bb0c65077cdd74198f NumRange BagBagToSet TypeMismatch
5abeb90550d9ed9e7770f09b6b56cd047fbffcbe NumRange BagBagToSet TypeMismatch
9a43189d17de5eb51ff4aa664cae3f74bf46b85f NumRange BagSetToBag TypeMismatch
1e79163fe7ccf3d021d602aad1c386d36d453ae7 NumRange BagSetToBag TypeMismatch
ecb587afbb9859445304a1b64ba021c8a3c427d7 NumRange BagBagIn TypeMismatch
6e92c6f41f5251da10cd375d554182d952f2e688 NumRange BagBagIn TypeMismatch
c176af8f0c4acf267c80c8b21febfa3379e01ddf NumRange BagEmptyBag TypeMismatch
2b575ad427bafebe227f0d9c3f5f3512553fb9c0 NumRange BagEmptyBag TypeMismatch
3a2bf88efdbe2195cd6d966b1c53f6ebd4f71caf NumRange BagAddBag TypeMismatch
66e2e9c6ffc6085161dd5239c9eddd0967b540a2 NumRange BagAddBag TypeMismatch
7423937154a24c55cd53cdacce419fd8b6d18d85 NumRange BagBagSub TypeMismatch
756fd34b16c9752126f090aef0bec6d9a241a48f NumRange BagBagSub TypeMismatch
d9a196aa690e7f95b2062c74fb2c70cdab2b55cf NumRange BagSubsetEqBag TypeMismatch
49cebec08d4a6a3bc6c6336d3fbb5bb8e31ba8e8 NumRange BagSubsetEqBag TypeMismatch
c65c3d796c50464e84222d70cd54d8ea9a8b1ff9 NumRange BagBagUnion TypeMismatch
36f4409dbc540d4d6631601183989c8c7dfe5fa4 NumRange BagBagUnion TypeMismatch
a59772db85d697c340ca38aae3c69f31094fea69 NumRange BagBagOfAll TypeMismatch
197b44e783ce6517597d4d36f97295b1e0f71e02 NumRange BagBagOfAll TypeMismatch
ed5b111e56536606c40aa6971180b65b7104b9c4 NumRange BagSubBag TypeMismatch
0fa30b80a9a31cf18747cc00e8d5396eb55c6b50 NumRange BagSubBag TypeMismatch
ba358d6018f0fc4be80ac395c17589a94e708a51 NumRange FiniteSetsIsFiniteSet TypeMismatch
e6f49a4d0a83ae18254cdb8b71afc5fd5ea0e39e NumRange FiniteSetsIsFiniteSet TypeMismatch
27248a37976affc123ac8b2a28baa5dfdb363747 NumRange SeqTail TypeMismatch
b9024bcf4834b0a5c66dea4249b33fe35847dd3f NumRange SeqTail TypeMismatch
d5fd3e01a8698f75ef14774d9519fe68fe88e877 NumRange SeqAppend TypeMismatch
71264271121c5523cc57a2fbcb486a619f11b5ae NumRange SeqAppend TypeMismatch