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 Def1Recursive

Id Case Feature Plug Feature Skip Reason
30b8e41761b37dc01ef89a788eb23d875d8fa21b OneLineComment Def1Recursive CanNotBeCase
a442ac4ce57fd232df55a77f6c31cf23b3441ec2 OneLineComment Def1Recursive CanNotBeCase
ee06bca20f2c0515c33a5cf5ae79ba21a5bf1890 MultiLineComment Def1Recursive CanNotBeCase
c58ffb0e02754e0c4f5817629ad29301ea363636 MultiLineComment Def1Recursive CanNotBeCase
015518209c0299f6d0852ab990930a0b419300a0 BoolTrue Def1Recursive CanNotBeCase
8e38e38283a14b43a1a0bb2261ba0154e4e2281e BoolTrue Def1Recursive CanNotBeCase
ada9ee1d4edafa2d2bf785e96fa910ebbe4c79c6 BoolFalse Def1Recursive CanNotBeCase
0133c5e39916b452eed4d00689ee9ab012d3c3fc BoolFalse Def1Recursive CanNotBeCase
d5f54ca139c5f93730cbf6ff36f1a5d8a2994ec9 BoolSet Def1Recursive CanNotBeCase
74b64a2a8d5e752cb8cf48d0f200e669d69f8a9b BoolSet Def1Recursive CanNotBeCase
b0831ab59858ce87089561d8816ef6f35210414f SetEmpty Def1Recursive CanNotBeCase
e91cd97f22b9c62ed107dc24023e85fbaae7fab6 SetEmpty Def1Recursive CanNotBeCase
fafea6517153f39d620a8642eefbbcaa2c213f62 Set1InDef Def1Recursive TypeMismatch
ac7c3882ab47a23218cca61dc45dfc6b0a651923 Set1InDef Def1Recursive TypeMismatch
a3d6a5b7ab854e202bc901a3a0b278e71a2b7309 Set2InDef Def1Recursive TypeMismatch
9a9eb30d54016ebe15bfe7a9d96aeeb8a07de48a Set2InDef Def1Recursive TypeMismatch
9e685ed5ac6a4c0384bd1423509c41bf97d698d5 InDef0 Def1Recursive CanNotBeCase
513e6c450eceb3e2447ac0f39fe1b7a43d7cdd19 InDef0 Def1Recursive CanNotBeCase
2181bfa3fe0a4e798946ef263ed9602e51c61338 InDef1 Def1Recursive CanNotBeCase
c3c2c033ec97787e3c957d9727062b65c2e7a3cc InDef1 Def1Recursive CanNotBeCase
77f5cbad2fa518c2244a537848877fd55226978b InDef2 Def1Recursive CanNotBeCase
25f1e33ec4f29fb77ebb8f005a348096b1121942 InDef2 Def1Recursive CanNotBeCase
26fa364a594f83cb2b92a22061dacceb76790881 FunInDef Def1Recursive TypeMismatch
b99529732e513deae16c2723fca764eb5bba0dbf FunInDef Def1Recursive TypeMismatch
ce6a945501178f3a5a12b2bc76db75c15277fac6 ExistsInDef Def1Recursive TypeMismatch
8860a97da2e88f16e84251bb94e658b66513e663 ExistsInDef Def1Recursive TypeMismatch
e9455d79af9715a0de5fc58ba3b493a735b7c7c1 ForallInDef Def1Recursive TypeMismatch
4b2223cafe29ca5d05f71c2f9b0fe35b7f6e8f31 ForallInDef Def1Recursive TypeMismatch
b40ee7ca511bbc75df6709cd3735267705ced68a ChooseInDef Def1Recursive TypeMismatch
6e492433bcf25a68ce95e4c877d806c494c6b531 ChooseInDef Def1Recursive TypeMismatch
9d7ad3545888a138471cd2e0c36d1d39ff10bd71 TupleEmpty Def1Recursive CanNotBeCase
178d002abd61f3c60cdbd44868e47d2f30700375 TupleEmpty Def1Recursive CanNotBeCase
2c48c497cf3ec45679fd7e3043a59bdba89829d2 NumZero Def1Recursive CanNotBeCase
0dc0074b1a5daf9189e60415f11aaa277093b4fb NumZero Def1Recursive CanNotBeCase
601a4b00e54db9ba24a44a6cb045d78b87da6a53 NumOne Def1Recursive CanNotBeCase
f146d16d7ad4c160fe5e877beea57c00c350ca93 NumOne Def1Recursive CanNotBeCase
64389c2782324e4dbfdcf6c4f21496d3d874a80d NumMaxInt Def1Recursive CanNotBeCase
5af27226604a3d64975a4d2761b0d5301b051ae0 NumMaxInt Def1Recursive CanNotBeCase
35d692c97097dd19722a25d02a6559fd960113d4 DefFunInDef Def1Recursive TypeMismatch
a438f155eb94e5a22a5202cbe1af82b5b78c6f4d DefFunInDef Def1Recursive TypeMismatch
3f4e1dfee8331c78ba74265a9b8799eef4ec789b LetDefFunInDef Def1Recursive TypeMismatch
9773b394c5193b2c2850dd67fb07422442b7447f LetDefFunInDef Def1Recursive TypeMismatch
13b62a1f7f1abc8acc2a8c950fe621a81d050da0 ConstantModelValue Def1Recursive CanNotBeCase
72858da962c6fd9861cfb6b31a5964aa7ec6e439 ConstantModelValue Def1Recursive CanNotBeCase
0581ce398c9d4f4a3a1216bcabf315104c6ca1cf StringEmpty Def1Recursive CanNotBeCase
a7645d2487d340d8cefedb92944e5ad3e0e18250 StringEmpty Def1Recursive CanNotBeCase
0018a8bba3e7df2958353a3bf07fc05279774d17 String Def1Recursive CanNotBeCase
71ee6ea1eb6dd5151527acf48cec0ffd1877b0d4 String Def1Recursive CanNotBeCase
6239b084b9b46abcaa572dcce484d32405c4d475 NatSet Def1Recursive CanNotBeCase
3cccd35ea00a220c7e3afd8840d67443b1d21de4 NatSet Def1Recursive CanNotBeCase
8f445cfc4447afe1c1b1b3e078ca093efc8eea7f IntSet Def1Recursive CanNotBeCase
6a6bcad13ddab335bfbe85dcf8f4bcf2fb6190fa IntSet Def1Recursive CanNotBeCase
2f57096bcf8c59981166982fed6b7f1c560daef1 StringSet Def1Recursive CanNotBeCase
967a5f9db95d27ff2c5390b1f43cd883e75ea19d StringSet Def1Recursive CanNotBeCase
1b06392ac5923ed959e692ffe00353f014e96c68 BagEmptyBag Def1Recursive CanNotBeCase
85946787a8343c1ab5ddc508a07c1c07ea95248a BagEmptyBag Def1Recursive CanNotBeCase