Index

Skipped feature combinations by case feature Record

Id Case Feature Plug Feature Skip Reason
b260ad0fe156f4edb21f6c5f3de2f837bf551682 Record AndProp KindMismatch
133f793b05ee848699e1776b07f0fa355303b2e1 Record AndProp KindMismatch
ef9433baa068c908c74eeb8190f2063aa6925410 Record Boxed KindMismatch
86e7f512dd7e2831a7c6ed3bb543176aff15f114 Record Boxed KindMismatch
e16658dcc20461e485478c06dd0b8dcbace9fc9c Record Set1InDef AlreadyCombined
82e511dde99bfcd80781c2d0b2a8b0607a5eb7b6 Record Set1InDef AlreadyCombined
e3eb2ed7cdeee8c18fb57eb08e6d00c6aa21b4a0 Record Set2InDef AlreadyCombined
9be23f6c89ea797b76a40750d2112d2f36f3e5e4 Record Set2InDef AlreadyCombined
45d6a12568d1b0f5ef09726d0761f0b7a72d17e4 Record InDef0 TypeMismatch
b09ef2ae36080ceb47886e7b008541e02a149c99 Record InDef0 TypeMismatch
966e533823fce62cfc9e99d1a56fd3c0960e8174 Record InDef1 TypeMismatch
7b7b6ffec5a50267f2fe7f748a5256358cd9157e Record InDef1 TypeMismatch
43c52281e9f9b7a2932c796234e3fa4151355a30 Record InDef2 TypeMismatch
e98264e16de46eee023339dd042a637110cd5490 Record InDef2 TypeMismatch
e46d32e3c3c6f95cd3fbc73e35719a2d8450afa5 Record FunInDef AlreadyCombined
0e3a70514e1924812322e061d1f550f735d6db55 Record FunInDef AlreadyCombined
b58c930f97788275f32a27693ad26123e1ad0135 Record ExistsInDef AlreadyCombined
83f251ab3ae91e389fe200624187d50adb505929 Record ExistsInDef AlreadyCombined
30bdd3d8b5ea3c6c9eff887ddec77811b0520914 Record ForallInDef AlreadyCombined
85a8e726aae047e71523adc8cdaa42910efd0ecd Record ForallInDef AlreadyCombined
aab7c466f16d5b8f746bf3fe47b8a095f1fa7985 Record ChooseInDef AlreadyCombined
74815f90a67f755c236cca129165d30c6c070e4f Record ChooseInDef AlreadyCombined
0e4d22b09d27f1364ba6d935bf204dd0d7dbeb3f Record Except0 CanNotBePlug
73f001855e857754f6bea8f5c5f6fc9378590390 Record Except0 CanNotBePlug
5f47f997fb801e7911c903f190ef876830e074ed Record Except1Fun CanNotBePlug
e093d02dfaa49994da2355c074495350488636c9 Record Except1Fun CanNotBePlug
cc9210e4f8a08ac18c8f0ca9c3a5f9e228f33e7e Record Except1FunWithAt CanNotBePlug
93c0e1ae5ef5d5984d972f727db796f82ed32d23 Record Except1FunWithAt CanNotBePlug
26bd4aaa67912b6f49c9c23134511233188ab8cf Record Except1Rec CanNotBePlug
30268db77fe2d46c4ceed817b6e11e2d725c546f Record Except1Rec CanNotBePlug
e43217dad2e620bd5e659ac6b8cdc4770533d824 Record Except1RecWithAt CanNotBePlug
f459c97156d5616a6052ae42d2fc50cb7caa3f28 Record Except1RecWithAt CanNotBePlug
879d0a597dbe2d4c94be709ffd6faaac5ac2a4f8 Record Except2Fun CanNotBePlug
1b645ef267b52aa6ecf2a8f5350708c834dab02c Record Except2Fun CanNotBePlug
ef939bda29125e5e172ed980e69360d7d9bbef37 Record Except2FunTuple CanNotBePlug
cbeaf2a05a2132ddc11d6b3709b613b40a4da0e8 Record Except2FunTuple CanNotBePlug
be772961c3cc206a8a62b8db12f6b72bb42e09a4 Record DefFunInDef AlreadyCombined
84127cfaea6d5aaa686699e3f58d58f26e775367 Record DefFunInDef AlreadyCombined
7cd0c7d9d58e9ee1515a55e9b7fb7b4c34e7a4cc Record LetDefFunInDef AlreadyCombined
13adc37ddb8cea0dcd9cf896969a5710ee6c0acf Record LetDefFunInDef AlreadyCombined
c1e89b20015aa10cd9fd98da44b080287af2ca4a Record VariableViewExclude VariableExcludedFromView
80e58cfc064d3ddcb20bfef9cbca8afe5bb1181f Record VariableViewExclude VariableExcludedFromView
16882f47df190949de30fc5f19acd5a72c4637cc Record Assume AssumeIsNotEmbeddable
b801dc5d624550f49a771d9d03660f5e211f0f1a Record Assume AssumeIsNotEmbeddable
38e6676d3a1d0edc34429fea58e36b33c76374f9 Record AssumeNamed AssumeIsNotEmbeddable
4ad8383e77557f7d05782c4eb938cd96b5d7cd15 Record AssumeNamed AssumeIsNotEmbeddable
a29861eafb9fb4fe4598878d7c6e99bbe08c586a Record Lambda TypeMismatch
6dd2d0ce2505420f86a5d043979de510c976d6ce Record Lambda TypeMismatch
c654fdd2cf4c58303580c91803d577123b723b28 Record SeqSeq TypeMismatch
00cf96d9baecc94dc0444f4b9558bb97c0fa6555 Record SeqSeq TypeMismatch
7f23b3e96e88fc65851ca7926eea4990fc1175df Record NatSet TypeMismatch
ab76e2c8fdef8ffaa9173ff3334b9fb120e0686e Record NatSet TypeMismatch
8fc70d36f0d3e6b01bb159a068165476c6cbd503 Record IntSet TypeMismatch
873bde31ad9d0d0facf2c14cabd52dd749245f9b Record IntSet TypeMismatch
a9e55d8c5754d79c2db248bbebdbafd9b1ce8bf3 Record StringSet TypeMismatch
0abba0fdab1103aa983d0b1b95e467eea6ab7cfe Record StringSet TypeMismatch