Index


  • Introduction

  • Skipped feature combinations
  • Failed test cases
  • Tests by feature combinations
  • SYMMETRY tests
  • Tests under anomalous conditions

  • Tests by feature combinations: -workers 2
  • SYMMETRY tests: -workers 2

  • Tests by feature combinations: -workers auto
  • SYMMETRY tests: -workers auto

Skipped feature combinations by case feature Set1

Id Case Feature Plug Feature Skip Reason
4afdf56085832ca771d851792faea606b77b7a42 Set1 AndProp KindMismatch
436c13994125b87f77ca23ed89c86ff8e95fca21 Set1 AndProp KindMismatch
01a3c797368e80f5712a862cac5fe07a2346ecef Set1 Boxed KindMismatch
8c1c6e982196ac07c13d04bca99cf33e0c641f55 Set1 Boxed KindMismatch
18fe5e6fdf5a0ff518f8f742a3b4928f7450c482 Set1 Set1InDef AlreadyCombined
d6e6449133267f94aef317889704effc060c924d Set1 Set1InDef AlreadyCombined
27b75309c9b1806b1d4d8e1b227b3f8b1892ff24 Set1 Set2InDef AlreadyCombined
f436c7e052c9fc1f7066edd942f93f3b7ecaac37 Set1 Set2InDef AlreadyCombined
6c6fb79a325e287da5b6572309a8237dfb284810 Set1 InDef0 TypeMismatch
14c683f68635cd8db7df7710aa8e4fb597c9cb44 Set1 InDef0 TypeMismatch
f41529c982c143b2a9294409dde35dbcff0d8fce Set1 InDef1 TypeMismatch
b537884b187141d8ef39b4ae2c24a4a586c4aacb Set1 InDef1 TypeMismatch
4777fdafa3ba78d58b9c6bdca4b7d30bca6dfe32 Set1 InDef2 TypeMismatch
84af2cd9d0e5634d7e1078c5eb28d0e477c2918c Set1 InDef2 TypeMismatch
00b04fd2c8070c6fb040d76fdaca6ef8e1406e78 Set1 FunInDef AlreadyCombined
e9066fd88a6307c6f7d9613b69f7ce0344451176 Set1 FunInDef AlreadyCombined
f23b4fc4f77f1e86e87fb8685975540d6efa1297 Set1 ExistsInDef AlreadyCombined
a8fc3a6c532d2410f58a529b261475dc1ae969c4 Set1 ExistsInDef AlreadyCombined
8bb0a1b5088fc735ecae96e5cc44103e18afa6d9 Set1 ForallInDef AlreadyCombined
71ad5cc1ee275ee0d3b0ad19d12023a2ad6e673c Set1 ForallInDef AlreadyCombined
7fafa7e5097914f2022a993359c360556d05d5f6 Set1 ChooseInDef AlreadyCombined
cbbf3e983d3e9d8580a8a3dacbf0bf2195224bd3 Set1 ChooseInDef AlreadyCombined
d0c4f827bcd859befb6e0fe2f6c808a6ad63f6b5 Set1 Except0 CanNotBePlug
49332b5185f5b29d4bb40edd08e984f7fa185af6 Set1 Except0 CanNotBePlug
4fce87e62c713cd11a6e2e7b7f54d2a64a2c6f5b Set1 Except1Fun CanNotBePlug
76b4c253fc375a44b5277ae58c6ff2db32accf6f Set1 Except1Fun CanNotBePlug
2f6299b88be25cd83b70a89ecc8b97d4b579e288 Set1 Except1FunWithAt CanNotBePlug
632f1c5f45da8b31caf666284d7375ef6703116c Set1 Except1FunWithAt CanNotBePlug
711151715e2411ea5580204119303833eb552921 Set1 Except1Rec CanNotBePlug
4b611f6201c0f215544129d3cb7446152e5b9c97 Set1 Except1Rec CanNotBePlug
d00b428764e6f06ea1b6208192b9531e3e98bddb Set1 Except1RecWithAt CanNotBePlug
cef84f811a503a3efefe7230dc38a121b3102f36 Set1 Except1RecWithAt CanNotBePlug
3cef5299fd7f275ef5b3c8183e133dbe59877056 Set1 Except2Fun CanNotBePlug
70d4f457d6af0f72a9726671191bda48aad79779 Set1 Except2Fun CanNotBePlug
95332719818e47d36f35c4cf12c4973d2d380c36 Set1 Except2FunTuple CanNotBePlug
34ebaea2c3d66472b03e64efc0071956dd454d6e Set1 Except2FunTuple CanNotBePlug
998b6abc81878a8b56130eea8339f781d7e4d55f Set1 DefFunInDef AlreadyCombined
7209040f650bf4a4e12c22d4ce26f1d9ef230da9 Set1 DefFunInDef AlreadyCombined
dde8745f06bbf8a6b9024feb444fa1f2d376115e Set1 LetDefFunInDef AlreadyCombined
09b285d692879e467310124842bd35feea6ada9a Set1 LetDefFunInDef AlreadyCombined
bdb8d9bde00e1759dea86a37b6e6d64cee448528 Set1 VariableViewExclude VariableExcludedFromView
31660e1895bdf42197a1dad40b19b26a688a1855 Set1 VariableViewExclude VariableExcludedFromView
25d2a0fe8b9d70981795f6aaf7cbc6e5876510e7 Set1 Assume AssumeIsNotEmbeddable
e381d8e31627e5d3515ad7448d4cf6df8f91e2cd Set1 Assume AssumeIsNotEmbeddable
3b6c3bf1208440e2beac41fa2d45773f20b5d84d Set1 AssumeNamed AssumeIsNotEmbeddable
f4e0bef1d9e42b9990807c5c1462a97bb515cd47 Set1 AssumeNamed AssumeIsNotEmbeddable
2b8056d534f52945886349a66ed0ffe4c496a3e7 Set1 Lambda TypeMismatch
776891b92bca3a19d8f31474d511dc22dfa48726 Set1 Lambda TypeMismatch
ad08a64bcbdd44bfef097bdf7b57ec87fc979b0a Set1 SeqSeq TypeMismatch
8c35ff35120f4e2680704d7fd0413e390ecc63e4 Set1 SeqSeq TypeMismatch
e8ae60274d9ed2bf49164f5be75386bd57e31a94 Set1 NatSet TypeMismatch
65f66f89e35c9672e06947b94a5aea94bd1893d8 Set1 NatSet TypeMismatch
05720740c1d4879ca8a1aec28dd128041bb31af0 Set1 IntSet TypeMismatch
5d7c078c8bc430f13dd1f10e8b8bdf693ecc072b Set1 IntSet TypeMismatch
311e4013e033dc73d21fc43a972bb33260b6e497 Set1 StringSet TypeMismatch
400ab2101ea8103c2c6730c2e7baa86f44d79ce9 Set1 StringSet TypeMismatch