Index

Skipped feature combinations by case feature FunApp

Id Case Feature Plug Feature Skip Reason
1a7b9ac09d2ae49984a7d6bfae2b666e32bd93af FunApp OneLineComment TypeMismatch
36dc652f8b8a73cb84c60f9695f9a5f2f6e21026 FunApp OneLineComment TypeMismatch
c22c7e263585fb8d92699f9f88f1f70395bc1640 FunApp MultiLineComment TypeMismatch
d80f41e58ae65bdf63af251665243d10f80e6843 FunApp MultiLineComment TypeMismatch
1a9b7ecbdb7d9a0d2d61c9733e94011a60bb5e64 FunApp AndProp KindMismatch
306d028091989ac8bca77244b6c69c5d75a8a00b FunApp AndProp KindMismatch
2becc2f41af81537ee1a19aa13ae63fbeb4f4309 FunApp Boxed KindMismatch
7d113fda67dcfdd93e57d75a6a2707a47618c6ab FunApp Boxed KindMismatch
9809d3b35fde46b6748b23c0761c970100cab8f8 FunApp Set1InDef AlreadyCombined
8b4cfcb0980af2de1a0e70f0dddceba871738de6 FunApp Set1InDef AlreadyCombined
d54888600ee0b8388aa283e858331bfe32375446 FunApp Set2InDef AlreadyCombined
2c14cd1e9415e6bc91f260bad23e381a195f7231 FunApp Set2InDef AlreadyCombined
d8f97bedb2c53f8f25a79c5ed9fcca6ca722481e FunApp InDef0 TypeMismatch
9bf1c235b038f1bff8eeea55262a3d2959fba938 FunApp InDef0 TypeMismatch
456083a47e37218054e92d1f87822f7a69102b60 FunApp InDef1 TypeMismatch
50c3c2eb854f68822b19945acf29b6d65637ff63 FunApp InDef1 TypeMismatch
72c7162e25298878967d3a02c7b74dd0d8dbd049 FunApp InDef2 TypeMismatch
565acb2b8375d95f28d7d007e4798d1eb0b45663 FunApp InDef2 TypeMismatch
f1e1c432230daf6d8c8059c735eb36f3d95a7059 FunApp FunInDef AlreadyCombined
a990a50f7671007078364a09ede317b10f5eca4e FunApp FunInDef AlreadyCombined
2a943c5c5aebc08005fdcc803d6fd51ccef7efb7 FunApp ExistsInDef AlreadyCombined
1b9bcc354e7f5b5a383cf3487eb5f5efc32421fe FunApp ExistsInDef AlreadyCombined
6979eeba4ff3ff5abd0472907bec7d36d9e1c28b FunApp ForallInDef AlreadyCombined
c82e1788938e4288bed9b8cb580ef57992b25d69 FunApp ForallInDef AlreadyCombined
ecfb6b4ad521b0ca8fd16eff8f16f65312913ea8 FunApp ChooseInDef AlreadyCombined
2e1b8b96b4ded351d6c3552efa3f2362bc8efaf5 FunApp ChooseInDef AlreadyCombined
b5961190617b9b31c6daf3504c469c28c10716de FunApp Except0 CanNotBePlug
4f5ae9996b7bc4d78502c3e0dd29e7d7ea3b1c16 FunApp Except0 CanNotBePlug
ff776459b610c21df9106a0713de7f718e8353c6 FunApp Except1Fun CanNotBePlug
c89c426825168f73715bdc43a7ec7874e4f18ff2 FunApp Except1Fun CanNotBePlug
c7f944269dbcbd98e86f9de42105067de4e94e7c FunApp Except1FunWithAt CanNotBePlug
79b033acdf5892461761b03ccdbc7ee45841b1bb FunApp Except1FunWithAt CanNotBePlug
6a9ea472d1aa286bba7eaf9607710c6b25f48f33 FunApp Except1Rec CanNotBePlug
6d18caaf152a561b9da78325f92402ecc2d612e8 FunApp Except1Rec CanNotBePlug
fd3e64405cc58bb5da19db9c0f22ab4501638fd6 FunApp Except1RecWithAt CanNotBePlug
fbd90797b5ca14202c74da803dc0f65593089395 FunApp Except1RecWithAt CanNotBePlug
d9227569c35b0f82b820216bd1ae492fda1efb1e FunApp Except2Fun CanNotBePlug
0eb1a9b4bb80707287c92e9f395e2ff0a1d920a4 FunApp Except2Fun CanNotBePlug
4dad4e084154e4cc52509519a873933871cc2c1a FunApp Except2FunTuple CanNotBePlug
0ae46f2d8e4060c0382a95b41f7409210106f90a FunApp Except2FunTuple CanNotBePlug
f445f8c64692269052f20d2a477ee77d52532fcf FunApp DefFunInDef AlreadyCombined
61dd9825ee214dbc6595f685cd33a52f51a5bff7 FunApp DefFunInDef AlreadyCombined
3894b2b2b4b2de3d908bfe820e23298e79882c39 FunApp LetDefFunInDef AlreadyCombined
fecf91352d51fd336ec63e2624febf96c02bb93b FunApp LetDefFunInDef AlreadyCombined
ec91189ab83d37a045b552af955e64d72c96169c FunApp VariableViewExclude VariableExcludedFromView
df4c5b35b5adb124fa7c6585347c94e522280964 FunApp VariableViewExclude VariableExcludedFromView
ea77e7fbd671d0fc9fe209634a0a485ea432d9ae FunApp Assume AssumeIsNotEmbeddable
0807cbee543e094329a7915d6f8b5bff9fb38a28 FunApp Assume AssumeIsNotEmbeddable
1782f986a904a17319c3e5d87049bd1fe5f2704a FunApp AssumeNamed AssumeIsNotEmbeddable
8fd4332d020ae7de1f0308a76c6402d5673a094d FunApp AssumeNamed AssumeIsNotEmbeddable
528652562c58238004893ed8a41009d903866158 FunApp Lambda TypeMismatch
470b152b507972ae5c3525f62a0c1f34f7a024e4 FunApp Lambda TypeMismatch
26ffad8bbe3ac6bda0986ddb1681d76f7810e30b FunApp SeqSeq TypeMismatch
71c9e9be655c299dd2c1721d9a4acc6ec48362c9 FunApp SeqSeq TypeMismatch
0b55220af94bf3cfe6d7d678150b971fc8fa970f FunApp NatSet TypeMismatch
e99c3d33e3366012fb73fb0311e869bf7cf06905 FunApp NatSet TypeMismatch
233c029a40b1b5fc6c1a48f2aef0c220ee724029 FunApp IntSet TypeMismatch
829f73573dc6822719a35c1fa1147f4849d3fe55 FunApp IntSet TypeMismatch
adaee2f5c53c509b600b8430de7420363c9dd454 FunApp StringSet TypeMismatch
3b92af738179d19486fd6dc6b8e89e01006f0907 FunApp StringSet TypeMismatch