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 SeqHead

Id Case Feature Plug Feature Skip Reason
15d6dcc9d3a22c1847174341b22eb17ee7ad1c21 OneLineComment SeqHead CanNotBeCase
5c8fa983e50bd653f28c2704c027323dc8c31902 OneLineComment SeqHead CanNotBeCase
cc46c8c48afa1e51d5668182493421b36a121956 MultiLineComment SeqHead CanNotBeCase
3089f6ef8848040d2f52c771a62e8b85ce49b806 MultiLineComment SeqHead CanNotBeCase
34af45e6ea158f174e674e12fc6a1f49d5ddf5b9 BoolTrue SeqHead CanNotBeCase
b275a9466bef57a421ced8527941256a1c7e0643 BoolTrue SeqHead CanNotBeCase
b012028155a80db08153192226581dcfeee2d3d8 BoolFalse SeqHead CanNotBeCase
5ae76c5c709cac60ccad85ce5839d58c74c484df BoolFalse SeqHead CanNotBeCase
71db21cd560ab460d604bf7532bf0ef19bed5e03 BoolSet SeqHead CanNotBeCase
dc4cbeca5892c7ad97628ca6bbf5b1e88021cd0f BoolSet SeqHead CanNotBeCase
8b8b4f5b20bd30870d2d6149ab0035bd433cceff SetEmpty SeqHead CanNotBeCase
9afe9735b9f73c85ff5cd7ac2f0672cbb8618bd3 SetEmpty SeqHead CanNotBeCase
0fc426aa04116e91352325262c81fffbe7a537e1 Set1InDef SeqHead TypeMismatch
01d8265f3f22682d915b6815050c49aa95655b5d Set1InDef SeqHead TypeMismatch
c93422f9f295be3d9a38f5c08dc8d02533eb6cda Set2InDef SeqHead TypeMismatch
3ebfa6968f6dbad52e2eb52942aa9a0d2b8b41b0 Set2InDef SeqHead TypeMismatch
6617f4ed3fd0529fa2ada87444d4fedf36f13b79 InDef0 SeqHead CanNotBeCase
00ad1f434f4796a4a20777916902267567f77592 InDef0 SeqHead CanNotBeCase
3ae4008e52b63101b5aef3785490b49d06aa2bd1 InDef1 SeqHead CanNotBeCase
b013ebb0ee7a3ab335e6af43fbbb5062f3b3f01f InDef1 SeqHead CanNotBeCase
43f40f0023f47ecf6ac0b5aca9eec4973ca9cf53 InDef2 SeqHead CanNotBeCase
3a84e87b2aa53737f46e681064e09e2a761d1537 InDef2 SeqHead CanNotBeCase
02c5c3c524460cafd0222cf257f7429d86d70f72 FunInDef SeqHead TypeMismatch
48cc62d92b3088b7b344c7f23221a8d5018c98f2 FunInDef SeqHead TypeMismatch
4614c01bc32a83dac4662afee1ca0b7202c09d18 ExistsInDef SeqHead TypeMismatch
51c5d10ca3c14e2e5851c8bf006b28c2d57a97fc ExistsInDef SeqHead TypeMismatch
9db8ecf9e0de483b97e1bec08521ea0d2d696c0a ForallInDef SeqHead TypeMismatch
9163cbedb0c6b6ceaa7fe74e53cf60b5ac1c9ba4 ForallInDef SeqHead TypeMismatch
f90863e632ccc5a68b862b7c27952ad99fb9f259 ChooseInDef SeqHead TypeMismatch
15379a6c046acb7cebcd688f9bc36a4e7a0700ae ChooseInDef SeqHead TypeMismatch
8db20cd95780ebb8daea7911c94422364701a558 TupleEmpty SeqHead CanNotBeCase
655f4f037a7b0254564de47016d108b804635da7 TupleEmpty SeqHead CanNotBeCase
150f1d49e648d3bd9295de88948ce1e63a460d97 NumZero SeqHead CanNotBeCase
62818d27e89ca0d623994cd9a6a9936686799a12 NumZero SeqHead CanNotBeCase
92c9c5ab66197cda72dfd9da518519bd85c5ed5f NumOne SeqHead CanNotBeCase
262faaf0031972cc321f19fd02b50928b9e5d91a NumOne SeqHead CanNotBeCase
78539007e482d35deec4f2780fc31bfae891f9b9 NumMaxInt SeqHead CanNotBeCase
dd99cc5b3b5f978d8a5ceac021abfb231ca9a28e NumMaxInt SeqHead CanNotBeCase
838bb1c759f63dde72357df4571324498e71b424 DefFunInDef SeqHead TypeMismatch
a4dd0f627dd63b22fe2c9e8f4f9de147df243778 DefFunInDef SeqHead TypeMismatch
c4381314fc36a723b600f0cbfbbd981541a9a846 LetDefFunInDef SeqHead TypeMismatch
a8c4903b3e839a4d244c2ed76504e5dbba83f54b LetDefFunInDef SeqHead TypeMismatch
e8ac5707f3af4073932959817f9cbe223f8b58ae ConstantModelValue SeqHead CanNotBeCase
c29fecca0171089f13a6a2a77d5aa7c8a95aab98 ConstantModelValue SeqHead CanNotBeCase
ab30b55f18c9f95676b88d80e8538d4a5ec1a077 StringEmpty SeqHead CanNotBeCase
aac5c92b27ed9d8bd510e746cd92ce0bc3af64a5 StringEmpty SeqHead CanNotBeCase
5860bfe3449906c5a729965330e4e32825e8c8d2 String SeqHead CanNotBeCase
fa0ba5d9568318de9fb78d24ef8841bc1dcda43b String SeqHead CanNotBeCase
bf3ea1c764a3357102d689603b8f1c4956a59fbb NatSet SeqHead CanNotBeCase
308bdc6199695f7eb254394e1e72dae333c4263d NatSet SeqHead CanNotBeCase
3a982b5c89af743524f8b02ad331069ebad89f1c IntSet SeqHead CanNotBeCase
0fef70427b75c50252e9bddf0b9d0d9e37ca6f43 IntSet SeqHead CanNotBeCase
e30d8b207ecac3695b61198b300c0ba230ead509 StringSet SeqHead CanNotBeCase
6c8064817fc9c81fed0df5c9cb51ada417f1e72d StringSet SeqHead CanNotBeCase
10a375586461b428aa8f99cf9e485a64858aec5b BagEmptyBag SeqHead CanNotBeCase
44625dddcb9e7fa62a049cc5fdd1dbdb208873e7 BagEmptyBag SeqHead CanNotBeCase