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 InstanceWithInFolder

Id Case Feature Plug Feature Skip Reason
260f38bfa43788d19b90951fa20b154f026eea71 OneLineComment InstanceWithInFolder CanNotBeCase
27fdc28755d9c35f020055cab96378cf8e428fb3 OneLineComment InstanceWithInFolder CanNotBeCase
a18ce3ee5b20a55cce4765d543ff7ebd2eb67474 MultiLineComment InstanceWithInFolder CanNotBeCase
49b0eb680142aa8c731ed49b225daae0e3a6560a MultiLineComment InstanceWithInFolder CanNotBeCase
1f7b6ef27d577006567c5897d56679413dc03add BoolTrue InstanceWithInFolder CanNotBeCase
90ad15db47e33eb8138ebd575ffdbbc236ef58df BoolTrue InstanceWithInFolder CanNotBeCase
a515a490d133563a7f4bf9884b4f63b82470a375 BoolFalse InstanceWithInFolder CanNotBeCase
7ae29212ceb4bf6aed7faa4a94aa545e93bf6da4 BoolFalse InstanceWithInFolder CanNotBeCase
4de67faccd0afd409eef4683bd9bdc960368d598 BoolSet InstanceWithInFolder CanNotBeCase
fd0706b337bcc2f0dc8a715a7186ce815827df03 BoolSet InstanceWithInFolder CanNotBeCase
ee3ae6c7ee5a0cc0f458043a8ae86625cd8c22d8 SetEmpty InstanceWithInFolder CanNotBeCase
a7a2eeff0a73a4b93a0874e44bdba61e16a0a12e SetEmpty InstanceWithInFolder CanNotBeCase
f1784fa52b62d1390d9b3c4381e3507697a93910 Set1InDef InstanceWithInFolder TypeMismatch
8ed325626f1fc679cdbd39ff4934a15326df3da6 Set1InDef InstanceWithInFolder TypeMismatch
ab4a931a69f6c63ec9ab063e00b19b6430c5b449 Set2InDef InstanceWithInFolder TypeMismatch
f698cce04bab686f97b42ca1d50fb1acdc8382d6 Set2InDef InstanceWithInFolder TypeMismatch
ba6f3427637b7ff421e45e2b0e4366dd822ac579 InDef0 InstanceWithInFolder CanNotBeCase
0c1a3eaf5c3097a437cde3a1d8c5a5c49bcdb66b InDef0 InstanceWithInFolder CanNotBeCase
d3d6043d6abccf48f833de390cf1bbf56fb6b872 InDef1 InstanceWithInFolder CanNotBeCase
2f80030f9323155c38e05c1b31398ad2234822b3 InDef1 InstanceWithInFolder CanNotBeCase
fb5f6f81a6f08d339a444429cfb3ede0132694a2 InDef2 InstanceWithInFolder CanNotBeCase
19c6e4ad4fc545e0a77488ff5b7e75cd6b47f59b InDef2 InstanceWithInFolder CanNotBeCase
0d361398830c480c825886b2894acf7705f38da3 FunInDef InstanceWithInFolder TypeMismatch
fadf958058264ba412a32c4d412443a4196a3416 FunInDef InstanceWithInFolder TypeMismatch
f0346bc0bb43d21d00dc072b0cc7ffbd6aad5af9 ExistsInDef InstanceWithInFolder TypeMismatch
841e5b6aaecd7b1b0b87edd9a66b4d528e26b166 ExistsInDef InstanceWithInFolder TypeMismatch
d0b6cb926c90ecac32a0113e9ac8ef6a9b6c8064 ForallInDef InstanceWithInFolder TypeMismatch
5245bdddab390f96df8dde1ded4b8828f1d93c04 ForallInDef InstanceWithInFolder TypeMismatch
2d4212d49a7e1a7712d45ba130685e5cb06020a7 ChooseInDef InstanceWithInFolder TypeMismatch
5994fd61fb613de222c8c81695b0f41b7e77a58c ChooseInDef InstanceWithInFolder TypeMismatch
dea4d05b49d8aeaeb7949367aa429e830010fb34 TupleEmpty InstanceWithInFolder CanNotBeCase
3426a8853382b045c0bfb40fc69dc708d9e5e2a3 TupleEmpty InstanceWithInFolder CanNotBeCase
d0c036740d9502fc6dd311064c3a2874772683dc NumZero InstanceWithInFolder CanNotBeCase
af2c03b49f4b85d367fd537b0623093cb8b5827f NumZero InstanceWithInFolder CanNotBeCase
5b7c5c2f4a58a07ef316151f053529ba125cb277 NumOne InstanceWithInFolder CanNotBeCase
c489ed40ce8bb41da885652367f5864bfd71a473 NumOne InstanceWithInFolder CanNotBeCase
e10e29a722ea9081ec3f9691c041bf74696d335a NumMaxInt InstanceWithInFolder CanNotBeCase
ae7bb7de4a87569a81e8400c9dd3c24a5dee919f NumMaxInt InstanceWithInFolder CanNotBeCase
63623f25776d1639bb64d7215d7f22dfea350c61 DefFunInDef InstanceWithInFolder TypeMismatch
2824830fc66ff257ab1fe95e87cfe141f950ce18 DefFunInDef InstanceWithInFolder TypeMismatch
da68c4f0a75374762f3a7f77ae5e4d6d8a0f40da LetDefFunInDef InstanceWithInFolder TypeMismatch
d30267c6d28ef5a6f05ee1e6528f70f79b91eb68 LetDefFunInDef InstanceWithInFolder TypeMismatch
87d365eb5b838e01e5829f24cdac846c21aad9da ConstantModelValue InstanceWithInFolder CanNotBeCase
67c4422628a05d48f7b216a3363718cc0bf25ed5 ConstantModelValue InstanceWithInFolder CanNotBeCase
498a033740aa74938e35022f55d6e16607a7e755 StringEmpty InstanceWithInFolder CanNotBeCase
e243e7770dcd3682a0898e760429a2fd834dbdb8 StringEmpty InstanceWithInFolder CanNotBeCase
ec72e0713843e8bfbae26f13f02200d88aa3a5e3 String InstanceWithInFolder CanNotBeCase
5df1fba73365cf0504510463c19076550e42216e String InstanceWithInFolder CanNotBeCase
6ac224a63e4c30508c75e42246e64e7a18dd7d41 NatSet InstanceWithInFolder CanNotBeCase
3853c900d21430466e2172d432fef7587af8f7a3 NatSet InstanceWithInFolder CanNotBeCase
b84a880b6f965c412d9681423a1533a0f952a761 IntSet InstanceWithInFolder CanNotBeCase
1a56826f6d85c4b799a28b289d89ce756cea6d8f IntSet InstanceWithInFolder CanNotBeCase
13e48765660c3393d51e12870a5a0bd6c467245e StringSet InstanceWithInFolder CanNotBeCase
78e0ef335c3e7c08316bc0df1ae8659f887a25fd StringSet InstanceWithInFolder CanNotBeCase
e2761c3d7a1d53c558a5994f71b4579afc002884 BagEmptyBag InstanceWithInFolder CanNotBeCase
759016d1bcb4285d6182fe3bf60cd3005c24dc88 BagEmptyBag InstanceWithInFolder CanNotBeCase