Index

Skipped feature combinations by case feature SeqAppend

Id Case Feature Plug Feature Skip Reason
4b3a286fbef87023c9603647c52782fcc75931d8 SeqAppend OneLineComment TypeMismatch
c6d724b2e1aef3ea1d370cf4dc41406a203eb9cb SeqAppend OneLineComment TypeMismatch
2761f17370cee6c3d77b4d3d9e61a4176841c9e7 SeqAppend MultiLineComment TypeMismatch
f957b061699ab018823cb8d4b8a7b1c563537ea1 SeqAppend MultiLineComment TypeMismatch
ae63dfc3cb30bd17583887267922aef01704e322 SeqAppend AndProp KindMismatch
8eaf274eaab9ad7da66dbf1e3fbaca46cbba3f8c SeqAppend AndProp KindMismatch
7011a2a803d5d22b5490964b19a5d23eb8c20286 SeqAppend Boxed KindMismatch
0f94db1c7aa72d9a716b0a20b43093d156da2db9 SeqAppend Boxed KindMismatch
c2b2ddd05da608a5b3a0067185d0d281b4be5d41 SeqAppend Set1InDef AlreadyCombined
4d0555ac2723bd19bfa0d4e5b20103550c8af0b3 SeqAppend Set1InDef AlreadyCombined
1ad1029e1559145ef169a32b8041399d36cd5475 SeqAppend Set2InDef AlreadyCombined
78ebd27b306d65a19fea27198523a957ab4bbeb7 SeqAppend Set2InDef AlreadyCombined
083552a1727b45ec13dec32ef4e3b9886cc021dd SeqAppend InDef0 TypeMismatch
b8847f309ff650d5c47e8a9cd973a02bfbcb31e4 SeqAppend InDef0 TypeMismatch
4ae0a30a359bcc372c88f283401d0523c038084a SeqAppend InDef1 TypeMismatch
c334cbef1c7497966d11926fd5617c38dfc5aeb1 SeqAppend InDef1 TypeMismatch
134aef67cca6c26a8753100a7af6fd793aaa06b3 SeqAppend InDef2 TypeMismatch
e84c5165b76af259469273f0010c030ea07a7c08 SeqAppend InDef2 TypeMismatch
98eff2cd64d315fe2b51cc9242e988b9ca3df84c SeqAppend FunInDef AlreadyCombined
5dc7539012256ec1784ed3dc845581c21500a296 SeqAppend FunInDef AlreadyCombined
9b5b781cbf00b82fca4a3c35d5fc22aad4b8107b SeqAppend ExistsInDef AlreadyCombined
9c101c6ec11281f5db2c5314a24a7b395669dd4e SeqAppend ExistsInDef AlreadyCombined
b7ae3a4238c1840bf2536c7ba0b33ca11d91f234 SeqAppend ForallInDef AlreadyCombined
f0d970606bd26d08f7df21a65625cf15f843d957 SeqAppend ForallInDef AlreadyCombined
76ed67cceb1eff06ae081c6aec397c942c37067f SeqAppend ChooseInDef AlreadyCombined
1b8447090c16d54b4aa639c6124b4b200efef895 SeqAppend ChooseInDef AlreadyCombined
f381ffc7db37f1ab5b1c1c25f5987a140c7a6af5 SeqAppend Except0 CanNotBePlug
00c9eb25b44841e9fa7b46e292ae8d4838787fe9 SeqAppend Except0 CanNotBePlug
8989be6983983d68e07edef01635259b7338b8fe SeqAppend Except1Fun CanNotBePlug
817cf33f5010799ae630129a7425f78b7f6ae50b SeqAppend Except1Fun CanNotBePlug
efd2deb53e1dbbb518f7acde5ba54351e41be8d3 SeqAppend Except1FunWithAt CanNotBePlug
283237beae4139e8250a26c9d29dfe5807e132a4 SeqAppend Except1FunWithAt CanNotBePlug
bb289c2e4b6e344a69e0216a79b20b7e87ff3430 SeqAppend Except1Rec CanNotBePlug
6d3b400270aeed57e2037233811730a1f6842a02 SeqAppend Except1Rec CanNotBePlug
900b8294a20d9b024ea11c2cd50e30e9f450ff84 SeqAppend Except1RecWithAt CanNotBePlug
81e142318bc110498d950ca4eb8067af20f15fb6 SeqAppend Except1RecWithAt CanNotBePlug
2fe2a0f1cab43c2af6cfe6506e0028a62a0987e5 SeqAppend Except2Fun CanNotBePlug
4066f20fca1ec82ed6816907299ae647e03cc370 SeqAppend Except2Fun CanNotBePlug
c9ac640d0e2edba226c98661eb05fb6d6c4c7809 SeqAppend Except2FunTuple CanNotBePlug
e16871b98f43d3175a83144afa6dc3047ec4373e SeqAppend Except2FunTuple CanNotBePlug
68d802d9a21fdf254134bd01684bd9152d7f2fd1 SeqAppend DefFunInDef AlreadyCombined
d28d699a0246f38490af399b81ceacb1451bc5d6 SeqAppend DefFunInDef AlreadyCombined
7c044c620ad2c2b210f4b441e721aac6e2f82906 SeqAppend LetDefFunInDef AlreadyCombined
72d42573ba143788d703a33afea6504960ca5ff3 SeqAppend LetDefFunInDef AlreadyCombined
8b047752bfe718e24a8bef8edd54f71c0d658c49 SeqAppend VariableViewExclude VariableExcludedFromView
e7c18066c39e5ea8b03135146ee1c5cfe662e059 SeqAppend VariableViewExclude VariableExcludedFromView
8565291477370740f541d2cc5c5cd3071a0ba31a SeqAppend ConstantModelValue ModelValueCanNotBeUsed
6638611eb0c3022125802b2f3d25bf458495dbf5 SeqAppend ConstantModelValue ModelValueCanNotBeUsed
f4fd5e99fd3a3723e140d8bd1f265e14479552ca SeqAppend Assume AssumeIsNotEmbeddable
035fe5e6c697335396b8bdbde6b569a09984a531 SeqAppend Assume AssumeIsNotEmbeddable
5dcbccebd078df97c70affefc76040893533b16d SeqAppend AssumeNamed AssumeIsNotEmbeddable
0a1a527f4abf070f6e9cc2c50201fd1a7f2b0df9 SeqAppend AssumeNamed AssumeIsNotEmbeddable
20d3d9b868fe106b991f906cdd105b126aec31a1 SeqAppend Lambda TypeMismatch
4dc619b39c56c6c858ec438a10fdceef80cb3637 SeqAppend Lambda TypeMismatch
42f78646a56610faf6032a3f726029524fc0ae38 SeqAppend SeqSeq TypeMismatch
edd2e8cd5d3e3b84561aa3317e720bb6b08bf57e SeqAppend SeqSeq TypeMismatch
6e76e3af99e0dff82f9b84e750d824094793a673 SeqAppend NatSet TypeMismatch
df1217d851472908f9d02de9087e56f3077706a3 SeqAppend NatSet TypeMismatch
96e31c7e2457df68e25cb8d1a1b0434a8282bf15 SeqAppend IntSet TypeMismatch
ada6a10135fe5bd12639f17f5f3cfb53403a33f9 SeqAppend IntSet TypeMismatch
eb176ddf5053ab2d69899acd80012e4ee78894c4 SeqAppend StringSet TypeMismatch
477e6cb4292255d5701276980193b90dae7e11c5 SeqAppend StringSet TypeMismatch