Index

Skipped feature combinations by plug feature ConstantRank1

Id Case Feature Plug Feature Skip Reason
f8d8c6c461006277167e94f0dce3df24bec5f94d OneLineComment ConstantRank1 CanNotBeCase
b33679e34d30df32378cad237b2bf8204b0003e9 OneLineComment ConstantRank1 CanNotBeCase
1d1803ec51dec5fb2b7f4d68dfe1acb5de870c4d MultiLineComment ConstantRank1 CanNotBeCase
7fa29ce69beb291b520c11e205ac0cf674c1ad66 MultiLineComment ConstantRank1 CanNotBeCase
583f558bb5a6324d10491e11fc7c67421a486513 BoolTrue ConstantRank1 CanNotBeCase
82e29c56058021172f464ebb5f8dc1c871ef6468 BoolTrue ConstantRank1 CanNotBeCase
e75d742ea9c9cd8b2255efbbfab6dd5a6cf2b199 BoolFalse ConstantRank1 CanNotBeCase
1d44e72388d052183883a6a52486976de925a3cb BoolFalse ConstantRank1 CanNotBeCase
4cdc00cdffbad3a4f0c075572579842ba389aa37 BoolSet ConstantRank1 CanNotBeCase
ca8070d77ae7da37dae5ef3c98f96a8ff5458850 BoolSet ConstantRank1 CanNotBeCase
3e3a91785f59e503e7c2fa888b3904cc489c7bc8 AndProp ConstantRank1 KindMismatch
8a3dc72b9e331076dccf79cfd032c6cbab721507 AndProp ConstantRank1 KindMismatch
81af097c1891c9c6588b5f3baf72d20c72fba323 SetEmpty ConstantRank1 CanNotBeCase
9774b05cbaa0910f4e58d189697dd3b2e6659eb2 SetEmpty ConstantRank1 CanNotBeCase
a0501820708afbbbf8bf9b01ed8597bb9905ad8f Set1InDef ConstantRank1 TypeMismatch
d2dc59d09807e7ad89e45e219698e54bd042d68c Set1InDef ConstantRank1 TypeMismatch
306b354519e63b9fd31468fb7a5143075fc24df2 Set2InDef ConstantRank1 TypeMismatch
1dfb513541576bc07219794c7dae892d24415426 Set2InDef ConstantRank1 TypeMismatch
4cd3774407a982cfd946a276ba61900f2825c051 InDef0 ConstantRank1 KindMismatch
4e0b7b77a25760bd1d7b677acfbcead48b8091b0 InDef0 ConstantRank1 KindMismatch
01e54a3664ae5e3db4ac01e2a7fed1972e3c90db InDef1 ConstantRank1 KindMismatch
209fc6baa5ae70fe7c6b43f51e4462984a386181 InDef1 ConstantRank1 KindMismatch
1f16ee6e0e512e0bae0f986e11c2eb529b316019 InDef2 ConstantRank1 KindMismatch
782aa0d0e15bbba86b32b82bcc99c26792e5a4b6 InDef2 ConstantRank1 KindMismatch
7d6e4d3820138774c825f1879f22419729213625 FunInDef ConstantRank1 TypeMismatch
60c94223fe6cc65ad9b65ec22b2ae2d62e45c5aa FunInDef ConstantRank1 TypeMismatch
b2fc401597a052de544d200c47eec7810cdd8419 ExistsInDef ConstantRank1 TypeMismatch
ff213edf3d226440f2fd9f98dd137c55a72076b8 ExistsInDef ConstantRank1 TypeMismatch
3d299ed17abd7f28d5e796e9abcc110c85fc82d8 ForallInDef ConstantRank1 TypeMismatch
c6c81df14bbf3460666118866252f71ca978e1d5 ForallInDef ConstantRank1 TypeMismatch
4f24719b80c04b4984389a738eb43e00f9b45718 ChooseInDef ConstantRank1 TypeMismatch
473959a9e7efef6c8512d3142e90639f5388d2af ChooseInDef ConstantRank1 TypeMismatch
8b5a80464030f53d63f2bfc5b2ed65337871b2a5 TupleEmpty ConstantRank1 CanNotBeCase
2010381e0913fb3033517607dcd751048c030c26 TupleEmpty ConstantRank1 CanNotBeCase
f7398a57b352a0cb09060d53e80419a6a70b82cb NumZero ConstantRank1 CanNotBeCase
84b77cdf4ed9e16da9d32ab77df38839b15b7c17 NumZero ConstantRank1 CanNotBeCase
31b906eda7ce3b5e6791d20117136efe8f06544a NumOne ConstantRank1 CanNotBeCase
8ceae370708cb2b8b9eea4e6f8b22c90e2180936 NumOne ConstantRank1 CanNotBeCase
6fac702faf8d7c0fd10f8eae86ac619578079f74 NumMaxInt ConstantRank1 CanNotBeCase
9d34ee9b58a60cd96a5b4a8bf90acd73ee667e1e NumMaxInt ConstantRank1 CanNotBeCase
6f56bbd158ec4312daa284a13867ba8f4f4ccc91 DefFunInDef ConstantRank1 TypeMismatch
9ebe14f18002d3b11c0c86aeda7357388a7ab8ac DefFunInDef ConstantRank1 TypeMismatch
2486b28c1df263983502d107b555033dfeefd58e LetDefFunInDef ConstantRank1 TypeMismatch
9a82a7235fa9019f3d6a6a33f58b6b69caa643d0 LetDefFunInDef ConstantRank1 TypeMismatch
07db42eec7153196da048c98c469f57551e6b87b Variable ConstantRank1 KindMismatch
7c64f6c3f43f11ee2874c888299a1e947e817e34 Variable ConstantRank1 KindMismatch
277b07c2a33aa9a5b9ef9b4daad8e87d01911a35 VariableViewExclude ConstantRank1 KindMismatch
9ea78e7772249ea4a60752a7239303379e0e539f VariableViewExclude ConstantRank1 KindMismatch
ca830b038621cb95772c6a7ba5e4e9df9b143570 ConstantModelValue ConstantRank1 CanNotBeCase
d540eafd181bb9d655de521b6715e3a0f361ad9f ConstantModelValue ConstantRank1 CanNotBeCase
9607d33f2a1ed70fd7a56313922e131f85517e49 Unchanged ConstantRank1 KindMismatch
fe4d0a2b7aa7cf7e64a5ad2158b56813871293c8 Unchanged ConstantRank1 KindMismatch
2927f7d3b649a3be41b9285963fd1a3fa723772a StringEmpty ConstantRank1 CanNotBeCase
b482b894e00ec23d4da991712ba8cc96c6422bb1 StringEmpty ConstantRank1 CanNotBeCase
4574143dd7ada70583eba3a99275fe252e9f1943 String ConstantRank1 CanNotBeCase
ecddd419f80c69909fbd80013b37a59b86c4a99e String ConstantRank1 CanNotBeCase
67b3bf8e9dca6c7096ff47acc63d747deb4aad7a NatSet ConstantRank1 CanNotBeCase
d4aa80f8969ec7bc623b78f4c8a5acb7c542524b NatSet ConstantRank1 CanNotBeCase
fc7591adf68b8dc46fb6fa9767b86fc22fdb4160 IntSet ConstantRank1 CanNotBeCase
a5f97d1afad3f810417aeb079dd6e4964a6c71b3 IntSet ConstantRank1 CanNotBeCase
551f48ce396ec61fd3aa1787d0a10eb6021a6efd StringSet ConstantRank1 CanNotBeCase
d2e7c94eb70cb57b76c522613bae0a027962108d StringSet ConstantRank1 CanNotBeCase
791ff7a882ac541a3346ca4f2df45d1a68a37b1f BagEmptyBag ConstantRank1 CanNotBeCase
199cda9cb3ff9be2a4ad5e0cc815f222a32c4a97 BagEmptyBag ConstantRank1 CanNotBeCase