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 plug feature Extends

Id Case Feature Plug Feature Skip Reason
3f6218bf1db4f2b1b82a8e3f056859bcdcdd8a36 OneLineComment Extends CanNotBeCase
3dc4097a7ff6fe4eb4b9d9308e123d5e6e7ab0ba OneLineComment Extends CanNotBeCase
cd0e8d7503c852b4ab2fe1d9689290240106a76e MultiLineComment Extends CanNotBeCase
c9f09dcd73dab0269d3a39a1f5a89e539d77b291 MultiLineComment Extends CanNotBeCase
582d7c8cf715ca3fedf3422eaa52d7ced3a8fa66 BoolTrue Extends CanNotBeCase
a7299f933dfe859899454c1b128a357cc2fa6e00 BoolTrue Extends CanNotBeCase
e7c01bfe9ea2b93847d7c39ae7870e95f2591af0 BoolFalse Extends CanNotBeCase
9284ec089cfc9716408b7caec1ac80feb00bb2d2 BoolFalse Extends CanNotBeCase
f999773eeae6161c2a5a8d3a7c4e83ad21d91a86 BoolSet Extends CanNotBeCase
e864d3f5f76116ef49ad1cad995f9f1611db5f4c BoolSet Extends CanNotBeCase
5f0fa92676456573efc9b02d9a5ad2caac9cd95a SetEmpty Extends CanNotBeCase
fe20852aefd5961ff144957622b31bfd794a2090 SetEmpty Extends CanNotBeCase
b24ee5127a55fe6bb96cd069671679ed3a202c06 Set1InDef Extends TypeMismatch
37cb2799b969deaf1b026986c418f67c76ad5196 Set1InDef Extends TypeMismatch
dfca5340fe19e501fcc083805dd9602777aef7de Set2InDef Extends TypeMismatch
a5c49b716e9aa3a3b3492d5229a85acd751de78b Set2InDef Extends TypeMismatch
612ecc4fb6b980348dfe971207932fbc371e52d6 InDef0 Extends CanNotBeCase
f5d5398d6bdca860dda28ce75b465ef3a080055b InDef0 Extends CanNotBeCase
931ced1f9a0236f1129337d71c87770aa0ebe167 InDef1 Extends CanNotBeCase
152235b76f5ae63805667d32472b563292858e60 InDef1 Extends CanNotBeCase
62066df07d3c0f5d2302cc9f7010055d1779c3b7 InDef2 Extends CanNotBeCase
df2255ac84057ec352a0c90994832ee6c91a335f InDef2 Extends CanNotBeCase
7494c3a76f82237923e44923f78aeef6a3207450 FunInDef Extends TypeMismatch
7204ccb5ca6740568ec56bb26062543b73e6f3c1 FunInDef Extends TypeMismatch
0b5a42b9f4276ee3141108c2661000c92d8c7c53 ExistsInDef Extends TypeMismatch
614c4ddc63338a477d7eef4b3aa95da900c7448f ExistsInDef Extends TypeMismatch
0dd0a5e0f1df8f9db8d15b0745e7c3d41afa986a ForallInDef Extends TypeMismatch
0847fc2b57b8e35b34b2ee12bb7582b68505282b ForallInDef Extends TypeMismatch
357f7a40790d2ff71886cbeff29b99f783b14eea ChooseInDef Extends TypeMismatch
3c76f958d512de3b3e7c8c831cd1fa143e46bdff ChooseInDef Extends TypeMismatch
d1000ca11e784fb8cce449b90b6a7528edb18f1c TupleEmpty Extends CanNotBeCase
2ad5af5abf3fac5c992a90ed7f66763a2a5c6231 TupleEmpty Extends CanNotBeCase
92fe9fe123e9b1544b33be669fd3039612a46272 NumZero Extends CanNotBeCase
04ccd9a2a23bd30ffa00d2b7fa74d57a77ee4a27 NumZero Extends CanNotBeCase
fec59d93391bc720bc68abba638e11c1c91eefa7 NumOne Extends CanNotBeCase
f560b0822b6f58432df38521408a11e0b2e98b39 NumOne Extends CanNotBeCase
f3c3acdf27d3002767241d76213b595422146e40 NumMaxInt Extends CanNotBeCase
2cd51b6e59f617ad660bf6f7e284a816d92e6a51 NumMaxInt Extends CanNotBeCase
56631b04f3677260c64933dfa20b80f061f43348 DefFunInDef Extends TypeMismatch
8e35de588e1c01396c5086f9600f07afbef0f7ae DefFunInDef Extends TypeMismatch
3586c05eb884dca887849f945cc9df8d20a6a776 LetDefFunInDef Extends TypeMismatch
049236536057c31a9cf435bceaa913ecdea04dbd LetDefFunInDef Extends TypeMismatch
8c99b84c25d35855fbadccccb81f4f442f0064b1 ConstantModelValue Extends CanNotBeCase
afd735b90441ea1ea0252bd33e684deb7dd6a3e7 ConstantModelValue Extends CanNotBeCase
4d4c37e8e3a14f664a8214b410041853d1d177a3 StringEmpty Extends CanNotBeCase
2baa3ec6eb3074b3b57b6d33f7b3716b1a72477a StringEmpty Extends CanNotBeCase
1c9b0f03b557e0a091597ce7c941afa2098c5a44 String Extends CanNotBeCase
1f6e61dfdfbdaae3a2de659b392723c7ebcd48fe String Extends CanNotBeCase
80d6a275ff5e366fdc643682a9d8e789f6be4368 NatSet Extends CanNotBeCase
11cf626c9185abca6e740239533c21850e69fa35 NatSet Extends CanNotBeCase
642f00abd8faffb8307afc80fe0faca44eafd939 IntSet Extends CanNotBeCase
241c4b20e2c121cfa561de41b891b4c196e372d3 IntSet Extends CanNotBeCase
76086ceeff7e8b6eb1c23abb48190127e046c182 StringSet Extends CanNotBeCase
cd9d0dbfa3b53047b0ea9ecab652a07010a7eea4 StringSet Extends CanNotBeCase
5d4bace6d580bef0f7f3bf31f441c84c98aad835 BagEmptyBag Extends CanNotBeCase
5d99082a3430ebf1edbb46e8ad3e7e5cb584c90b BagEmptyBag Extends CanNotBeCase