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 Set2

Id Case Feature Plug Feature Skip Reason
b32bc3e9f8cb6a04799de426ad13bcf0bf5d0732 Set2 AndProp KindMismatch
f430a0796ef41e94beec66fe15200dfe263aae94 Set2 AndProp KindMismatch
9eeb159e56a31df6b48790e9763809841db48a95 Set2 Boxed KindMismatch
28d71f6f3578257fc835785da0ea75322550b23e Set2 Boxed KindMismatch
f46d94dea89bd27f346828f1695d2817fe73657b Set2 Set1InDef AlreadyCombined
8f71ff335e2f289d7c41c961036f7380047938e8 Set2 Set1InDef AlreadyCombined
da3b2def2c1c281c88dbc38cc9a071ae0c795123 Set2 Set2InDef AlreadyCombined
eef125ad71c6421d36c7f3763e5f883160f21ffd Set2 Set2InDef AlreadyCombined
f5cffffccf6f2279134d2e2e6220e8dff1432b8a Set2 InDef0 TypeMismatch
02a8ea21193d3b2256fe9049c5e2c34c3f8dc857 Set2 InDef0 TypeMismatch
a921c67dcc131ca72f7995432a5d65e5c63c4f81 Set2 InDef1 TypeMismatch
9302142d8beefd11bd5aebaaf4e4757886a8e35c Set2 InDef1 TypeMismatch
e16f035a81594346cf60d2fb49722e2c16c142f0 Set2 InDef2 TypeMismatch
545d1a3ce874d412722d0190c1722c5b935db0cb Set2 InDef2 TypeMismatch
1abd9aa3bea131e5ee6ae744a0f5916d4e761155 Set2 FunInDef AlreadyCombined
7083728912e9f5b474cae07fb0305088de45a31f Set2 FunInDef AlreadyCombined
e5ead1e339ffc5bb2de5f20a5b4de8c00b6e22f5 Set2 ExistsInDef AlreadyCombined
9b88d4596b262c5f71ef2d45284a6f455fdc5754 Set2 ExistsInDef AlreadyCombined
55ef9a0c16fd0e4799ef2f52649b7137abeae356 Set2 ForallInDef AlreadyCombined
916237411969142fd62a7dac0da3b6b8f3053089 Set2 ForallInDef AlreadyCombined
d1ce57a2d5420254edf7dde3cf4e4e0c0aa3fec5 Set2 ChooseInDef AlreadyCombined
a6fbd0e051cce346ad8ab427c89888bf671edab9 Set2 ChooseInDef AlreadyCombined
cf3ef30bc212caa17571034f04d71aacbd4558e5 Set2 Except0 CanNotBePlug
53bd82102744aa8f4473db31e823d216817c0a0a Set2 Except0 CanNotBePlug
ac07225d14fccfbd46273694a50a161cae890be3 Set2 Except1Fun CanNotBePlug
b45346e5fe31ed5ab5ff59085fb35da9891a6565 Set2 Except1Fun CanNotBePlug
9032e3b615664340e79f8a647edf7c962f53929e Set2 Except1FunWithAt CanNotBePlug
63e28bcd36da5c84c9cff9d3c861fc693ceb0ee7 Set2 Except1FunWithAt CanNotBePlug
012554c51e732872f3aee71d2c722bec227277af Set2 Except1Rec CanNotBePlug
22c0bd391c2c0fed9c230d42298e739c9f05b76e Set2 Except1Rec CanNotBePlug
526be26305c4d1d7852bd6d7bc7c3548eaed81f3 Set2 Except1RecWithAt CanNotBePlug
474ffe0965275e70e549182c916dafd61634c222 Set2 Except1RecWithAt CanNotBePlug
16e53001b51ad2c5c12ce714933dff10f5eb9d90 Set2 Except2Fun CanNotBePlug
305e809e69318f37eaef82f6f87ea6869f26f409 Set2 Except2Fun CanNotBePlug
fdf13b4ff3e3433fea1ae49ecae143d89d33cf7a Set2 Except2FunTuple CanNotBePlug
7c4bddfcbd5366a986d5f5f8264e71d8362a2342 Set2 Except2FunTuple CanNotBePlug
2332d20b1a014252a8be4573f2b195ddc2a7e3fd Set2 DefFunInDef AlreadyCombined
b1d7aef19e843335d3110ec23277ca849020108e Set2 DefFunInDef AlreadyCombined
4e73bf50a421458a752130e1fafd6a6e863f0eb4 Set2 LetDefFunInDef AlreadyCombined
2ccbb85ffd4630a85a7892c67c9a0a9ee5648b96 Set2 LetDefFunInDef AlreadyCombined
aa3af7364a4071b850fd968eff72e76499732dfe Set2 VariableViewExclude VariableExcludedFromView
79f06dec9567b048bb84d8688613600050ad7b50 Set2 VariableViewExclude VariableExcludedFromView
0aafc745c9d68df38893930688922f00d3d6516a Set2 Assume AssumeIsNotEmbeddable
aaafa51f1fda6ec8897b0e80c217e8e22dbd28a6 Set2 Assume AssumeIsNotEmbeddable
a980bb821007ede39ba199d21e1a2f01dc4bd7c7 Set2 AssumeNamed AssumeIsNotEmbeddable
bbfc2d695f550c12e24dd72502c1dfa972ace26c Set2 AssumeNamed AssumeIsNotEmbeddable
30c50c2440832f045ffb16b46780ae6dd0f11309 Set2 Lambda TypeMismatch
9c5d5dced40437e927857d5d674dbb04ae1b5093 Set2 Lambda TypeMismatch
61b2f0c17a37867d605756d814fd39d2bb7bb6a6 Set2 SeqSeq TypeMismatch
e8426670f95df93676568283d3f66da6d2b6a9be Set2 SeqSeq TypeMismatch
b4517b5078428fc3f58f7ab16cfb4a5b2e937694 Set2 NatSet TypeMismatch
ae5220cba8479aeafaf585a0768012592095bb6f Set2 NatSet TypeMismatch
b130f7e0e864dbcf3f89d3e47ed82f6095e23fe2 Set2 IntSet TypeMismatch
4f405965ac3dc65deba69d8d630640c30c19e706 Set2 IntSet TypeMismatch
e157c09f8ad3e9038d04d84bf73f52b4d77684de Set2 StringSet TypeMismatch
f8515e4883d524b55261d6b11cb7c13413713f13 Set2 StringSet TypeMismatch