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 Except1FunWithAt

Id Case Feature Plug Feature Skip Reason
fcfd861b5b56b420041f0f60f803a09dac669819 Except1FunWithAt AndProp KindMismatch
541054ba600d5ecca92728bc05d2bb319cba6299 Except1FunWithAt AndProp KindMismatch
a62f98238b32bd0f70557756704be0232248cace Except1FunWithAt Boxed KindMismatch
fdcae5de8511ff843f23bb681baf049f64662b50 Except1FunWithAt Boxed KindMismatch
12bcad13ca1e93f77d956e83e1904e257dfd5305 Except1FunWithAt Set1InDef AlreadyCombined
e864bc091e29348e18837b0c19502488f1535415 Except1FunWithAt Set1InDef AlreadyCombined
3521089b93087551efc3e196861b8069e669f795 Except1FunWithAt Set2InDef AlreadyCombined
2cf9d4b3807c5c2bc9c37d1e8c95099cf388e76c Except1FunWithAt Set2InDef AlreadyCombined
95f0b433fa04f4b2a55827fae9be1e934dceeeff Except1FunWithAt InDef0 TypeMismatch
67826df76e47e874f73626ea4eba17871802bed0 Except1FunWithAt InDef0 TypeMismatch
1c264bc4fe214a59c4bb5e741bd7ab14f4c65883 Except1FunWithAt InDef1 TypeMismatch
9b966a5692333759412b14eaaffb0724b59a83ad Except1FunWithAt InDef1 TypeMismatch
3a7419e0e531fd3853ce04bff7d97235537d743b Except1FunWithAt InDef2 TypeMismatch
d17be90590b10b52651406fcd6b282e218d22a25 Except1FunWithAt InDef2 TypeMismatch
dbd5247ae0f33616601d261a049b92b3369578f7 Except1FunWithAt FunInDef AlreadyCombined
61a78ee6e4d633953bad26a6adffd2ede49f728d Except1FunWithAt FunInDef AlreadyCombined
1dffeb654bb9a88f7147e35494c7ed8d21593b1c Except1FunWithAt ExistsInDef AlreadyCombined
15f8aa5c402dba069d35691c2f06ff5030944a9d Except1FunWithAt ExistsInDef AlreadyCombined
9ebeae9d010cfc9f5ed184e3981b18f4916c3784 Except1FunWithAt ForallInDef AlreadyCombined
f7be70388bc6d35a256dd17c0fd3ad04aaf7c152 Except1FunWithAt ForallInDef AlreadyCombined
1b810c06dffb29e80a04943e2bbeedadb2ebe7e1 Except1FunWithAt ChooseInDef AlreadyCombined
d43eec01f272656187510de625a86d8bcf49794c Except1FunWithAt ChooseInDef AlreadyCombined
dab92b45d8062aca7b5170ffb7b8408bee1ffa58 Except1FunWithAt Except0 CanNotBePlug
fa51a7569f718925f8809a16b4e233398fb51265 Except1FunWithAt Except0 CanNotBePlug
3d14d290bdeef0620a01d5f34bf4fbdcaddaf0a3 Except1FunWithAt Except1Fun CanNotBePlug
84f9fc34ebfae8af3ed85310763b7d4302db77bc Except1FunWithAt Except1Fun CanNotBePlug
a0169db147a585f3fc3c383414c5f9febc79e419 Except1FunWithAt Except1FunWithAt CanNotBePlug
5167eb51f80548b3b8f668b41dbb3ac8b2894262 Except1FunWithAt Except1FunWithAt CanNotBePlug
067530b202e411650606fe138b5d6ba62d5c6e9e Except1FunWithAt Except1Rec CanNotBePlug
5c75a88fd1bf40dc38a3615b73591c828f3c5a3f Except1FunWithAt Except1Rec CanNotBePlug
9a6f26d8c27af5c9551207f8782c595653967bf8 Except1FunWithAt Except1RecWithAt CanNotBePlug
124050da78905cc5e1c3732d5f8e14b3c3514768 Except1FunWithAt Except1RecWithAt CanNotBePlug
7831efb88c8cbc1bad355d7bd9e7476002cc95f5 Except1FunWithAt Except2Fun CanNotBePlug
51080d85e4b72a444baaf12ab4aaf50cd368607c Except1FunWithAt Except2Fun CanNotBePlug
36cd6895dcfc8ef36ce3cf16267ac5f6988d2ff9 Except1FunWithAt Except2FunTuple CanNotBePlug
847de38cadd865fb24726f9ea76bad2ebf20d01c Except1FunWithAt Except2FunTuple CanNotBePlug
ca6c21b509c354d7ddf76c20bc47118b42ac602a Except1FunWithAt DefFunInDef AlreadyCombined
1356df0781e9e72f1a0f36962f49504e5635bfd0 Except1FunWithAt DefFunInDef AlreadyCombined
f7d8f03b947dac5d8f823f7ccd14654dd9604856 Except1FunWithAt LetDefFunInDef AlreadyCombined
102884f3c55fd98c8994a3d3af272f7c312e0beb Except1FunWithAt LetDefFunInDef AlreadyCombined
881653e369a314d2958ed5dad4c78aab9b41cd81 Except1FunWithAt VariableViewExclude VariableExcludedFromView
f278e5170a924ef9ab4bed5ab3c916523698cd1d Except1FunWithAt VariableViewExclude VariableExcludedFromView
d9900af376645977a86d2e93438b264df5e55293 Except1FunWithAt ConstantModelValue ModelValueCanNotBeUsed
e0c4d8004802443162e98263f22c6a8bd3b9e761 Except1FunWithAt ConstantModelValue ModelValueCanNotBeUsed
e1b975716bdf95aec77fcb0fcc26085b83190cb4 Except1FunWithAt Assume AssumeIsNotEmbeddable
64d844a14c91d78f68c12d25b8a80df262ac0cd3 Except1FunWithAt Assume AssumeIsNotEmbeddable
f35443cadc37e095e82f6384137ff1b83a8ccb05 Except1FunWithAt AssumeNamed AssumeIsNotEmbeddable
e652bb827d2827e4a923cadbae85f5ccbbd2b541 Except1FunWithAt AssumeNamed AssumeIsNotEmbeddable
9b0f00d673a7632b03bf33da998f9f07b172cc2e Except1FunWithAt Lambda TypeMismatch
72846f58962025f3d2ace1410ecad44512348e1e Except1FunWithAt Lambda TypeMismatch
402b30190033583e9bc8c5332ccccfce1b946317 Except1FunWithAt SeqSeq TypeMismatch
8b26f9cd565dff73e718402a0eaf6cf3c16c3981 Except1FunWithAt SeqSeq TypeMismatch
94c3b7fadb2867a2753a0a310ff65aa1db40d43e Except1FunWithAt NatSet TypeMismatch
bdfee85bfdbe96da7f24df1d3ea95f19be6e198d Except1FunWithAt NatSet TypeMismatch
2a459b0e5d8bd6e68149203dfdcd3d5b7815dd06 Except1FunWithAt IntSet TypeMismatch
817cce1961136e0b2d7f80f72e1d97be46524848 Except1FunWithAt IntSet TypeMismatch
e1d9cd7bfb8336c004d9864c816756d4010ea664 Except1FunWithAt StringSet TypeMismatch
86838e95cbc9dc2a15cd043d90db4af1799968a3 Except1FunWithAt StringSet TypeMismatch