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 Except2Fun

Id Case Feature Plug Feature Skip Reason
9a12106006d8281f421a246ef9edb98b5f16b1b6 Except2Fun AndProp KindMismatch
1df3953c86d3cbb78ab030e6064b553702b32e6a Except2Fun AndProp KindMismatch
1ccb99064f9101aea5ab77c1517f4129148cb364 Except2Fun Boxed KindMismatch
161c47c8e446c4703d400a86d4256b6d2df165d1 Except2Fun Boxed KindMismatch
36f7a1cfb784381587a94e1abe076df3d2584c21 Except2Fun Set1InDef AlreadyCombined
35aa733b1f53f6dbaf2244e41a2187b85c0d97eb Except2Fun Set1InDef AlreadyCombined
4c36720c1406a753933c86616601c8f7c6558ff9 Except2Fun Set2InDef AlreadyCombined
9f365d073badbafba5832c357a31c22f71039523 Except2Fun Set2InDef AlreadyCombined
851234f01e0786d08f6818d31875f38d9a66ca99 Except2Fun InDef0 TypeMismatch
ca04b272cfa921b1080acd75282595aa5f2bc51a Except2Fun InDef0 TypeMismatch
5138a704b5f61e0c3c804c5a548b063de93b2319 Except2Fun InDef1 TypeMismatch
e38b3e50448b45d288cc4f4de896a0aa65029ce5 Except2Fun InDef1 TypeMismatch
08baabb8a648090104167011440dd0206fecd3a6 Except2Fun InDef2 TypeMismatch
9443bf0cd20bee41c47c15470234383319ca0445 Except2Fun InDef2 TypeMismatch
7e1e64519d3bb01644a9bbd4812b42aee3a87b22 Except2Fun FunInDef AlreadyCombined
c43411e7d8b8b040f2b356d9d62d500d8230ed4f Except2Fun FunInDef AlreadyCombined
bf5013d8e873126278308ecb224e1c615a5c314b Except2Fun ExistsInDef AlreadyCombined
cf08edbbdb29611fdddf1a72bec30d1f74d1215e Except2Fun ExistsInDef AlreadyCombined
83937a9b6ee443705a347def772890aeb2de42ea Except2Fun ForallInDef AlreadyCombined
072bbaf5bf73543c47950304512e46f020806cea Except2Fun ForallInDef AlreadyCombined
184344d76caaaf227d0eab8955299fa2a0c74f44 Except2Fun ChooseInDef AlreadyCombined
ad1add43da37b814cd864ffdb05ef94c49695e93 Except2Fun ChooseInDef AlreadyCombined
a3170bfefe89a6d1fc31e42e1532d97c5dcb8196 Except2Fun Except0 CanNotBePlug
aebb72f2971358bcce60144c0cdc2cb5085b9d06 Except2Fun Except0 CanNotBePlug
535f769806f76cf9ae3b975f1c1b56d375977ad8 Except2Fun Except1Fun CanNotBePlug
56116656ece06838a14731e579f904063e574357 Except2Fun Except1Fun CanNotBePlug
edc8fdd0555e80850e6d7917f26154921f75cee5 Except2Fun Except1FunWithAt CanNotBePlug
c38605cfe7824c87ee367ecf5f54ffab956a6bf3 Except2Fun Except1FunWithAt CanNotBePlug
b05b47282a8a54f928ddcf0ecd6551a5f107c466 Except2Fun Except1Rec CanNotBePlug
cdbb6acdbb3dc09a8ff1c300358cf1e1d40903eb Except2Fun Except1Rec CanNotBePlug
ae26c125c62ea95ef49b1206465a74887bee2b1e Except2Fun Except1RecWithAt CanNotBePlug
64d361da3db7a910c67ec0b868dda5686536ac6f Except2Fun Except1RecWithAt CanNotBePlug
d1b4489ffa9fded2dff54488be78777c6f0fa9e2 Except2Fun Except2Fun CanNotBePlug
4c0ab65790efa7bd775936d46cddd466d9341748 Except2Fun Except2Fun CanNotBePlug
7878ec2620f6a786f03ecb2879f99300ade17463 Except2Fun Except2FunTuple CanNotBePlug
d3df59c05d5d183df15bdea553cb0dfaf8afc184 Except2Fun Except2FunTuple CanNotBePlug
5cb96f4784a5a2bbf404808332af7d073aeaedeb Except2Fun DefFunInDef AlreadyCombined
717024300f8fba126a61d5f03994872fd76def8c Except2Fun DefFunInDef AlreadyCombined
3dfb80918fe1a669394d41461afe339a44112ac1 Except2Fun LetDefFunInDef AlreadyCombined
4f2a35ec2b5d8eb50e19e69a6ed16ff3c1de59fe Except2Fun LetDefFunInDef AlreadyCombined
0c4507d542caa4b978d740d1dec3a8531f2791ea Except2Fun VariableViewExclude VariableExcludedFromView
7ffce80a7c1a28c4e6e49d1859fc4c84c465f02f Except2Fun VariableViewExclude VariableExcludedFromView
78713c58363ccbf4d526f40d3c591b876a91f388 Except2Fun ConstantModelValue ModelValueCanNotBeUsed
9dfa7e96719de2a312d141a4c7dc941c6afc2002 Except2Fun ConstantModelValue ModelValueCanNotBeUsed
69e7725b37305376e1bb13bf1f84f0f04a801039 Except2Fun Assume AssumeIsNotEmbeddable
96f4753e97f63cc57357e1eb40c6a1fa328cbc67 Except2Fun Assume AssumeIsNotEmbeddable
df51a4bd82e196fca9647f40796253e90ada02e6 Except2Fun AssumeNamed AssumeIsNotEmbeddable
0ef6c0884b09fefcb1697af247f8ddb34ccd83be Except2Fun AssumeNamed AssumeIsNotEmbeddable
46e9583b180383c6bee1c9549b7d5da83b7d40e4 Except2Fun Lambda TypeMismatch
a71a4d05ef20e94714b48f6b191769b609c7e74e Except2Fun Lambda TypeMismatch
27e2d5bf7741d4aef7de3849b8c8c22af9d95708 Except2Fun SeqSeq TypeMismatch
9afd9a6050d924d7af940ede7e8fe643392cf8ae Except2Fun SeqSeq TypeMismatch
28beead9112537869b22abd0788684fb4213e6e5 Except2Fun NatSet TypeMismatch
a24e00068a507b8a4473453e6eea6a8332cf12e9 Except2Fun NatSet TypeMismatch
fe327136edbbd5268e989a5766c62fa8307e61bc Except2Fun IntSet TypeMismatch
6841bfdcff524d60b76848e2384f090c62abb711 Except2Fun IntSet TypeMismatch
ae1942c7f9e5a1124ecc7cd479c93bc4a0b0dbf0 Except2Fun StringSet TypeMismatch
d625de0e27698d25f01644c4f742ba10a32116be Except2Fun StringSet TypeMismatch