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 Constant

Id Case Feature Plug Feature Skip Reason
b2c3d68a77a421cb56f9fe61b55404c861c364a8 Constant AndProp KindMismatch
1007fcada5ba76b3e05829773c18fcf5d4aac081 Constant AndProp KindMismatch
3d4b59454cd24d22fce22d6c1187348da693108e Constant Boxed KindMismatch
55538340ce9a99945ee85b43154c0afa1d8adb9a Constant Boxed KindMismatch
774bfed9fedd5438023adc03d2c2e5392216089b Constant Set1InDef AlreadyCombined
92d92ed09601c380b038510782f2cf76a38b832f Constant Set1InDef AlreadyCombined
b13790d392f5a043e0a70f9a1a0855f55cd81854 Constant Set2InDef AlreadyCombined
fae3a1cc2cac5cbdf21b04292b7deaf85fa51a41 Constant Set2InDef AlreadyCombined
90ee0a29d8e40e087f97fdf95fe1c026fcb391ed Constant InDef0 TypeMismatch
313859dae48b0e9eb084eff6c2c47d15cc3eb92a Constant InDef0 TypeMismatch
98819273d64f8167ef6da658a152ffd81b63c957 Constant InDef1 TypeMismatch
70dc04a776ad249d671ac3502499671d1840a266 Constant InDef1 TypeMismatch
3a19586eacf871b53c69ff34b30d493aba4e3068 Constant InDef2 TypeMismatch
b87626e8c4fe1ec0e551cd8d836c152762cb3913 Constant InDef2 TypeMismatch
d40ebc4281223f829f71a4ea1727803353700359 Constant FunInDef AlreadyCombined
2c84536f977a1bcb161573d3e20a848ef6d9d55d Constant FunInDef AlreadyCombined
41dcd0ad30b18227f86b2d3296c9821fd5777cfb Constant ExistsInDef AlreadyCombined
8db89ded3298f737d32d3e4bae1143073c9242de Constant ExistsInDef AlreadyCombined
1ade786f84d4cd9468c7065bc42933f7c45eef3a Constant ForallInDef AlreadyCombined
ed0b0be8972cf8b4d7099d45b987c69501059904 Constant ForallInDef AlreadyCombined
f90c75f8fefeeca66177ad771d5083c6d65b9737 Constant ChooseInDef AlreadyCombined
8c70e7b3612f77e46665df3fa4c71510d9236c35 Constant ChooseInDef AlreadyCombined
882a5f0d02924c6ed78cc8ee94f8e588ba7aed0c Constant Except0 CanNotBePlug
0ecb287a421c77307aa276cf16e0c15c24165aa3 Constant Except0 CanNotBePlug
0d2a403af5aa2e3067c7ff323400a5e3dd80e7f6 Constant Except1Fun CanNotBePlug
e6def8e920f022d6fec40d8264d3ce70dfb3d11a Constant Except1Fun CanNotBePlug
45af9a6eac1da8dfe5009a8ce1c287be9fd646f5 Constant Except1FunWithAt CanNotBePlug
cadc02db3d5af2b7fdac258e4977148c4c11bed9 Constant Except1FunWithAt CanNotBePlug
c256e6cd562b77d46bb0ae5ac76d6354fb381695 Constant Except1Rec CanNotBePlug
35fa8414fb6fe6dfaf75a7437bc27c579bc4114d Constant Except1Rec CanNotBePlug
a396439f4610b16ec7d7e85180ad52f24ba17f05 Constant Except1RecWithAt CanNotBePlug
77a0bef580075ba5238e8c33261dd4d859a6a624 Constant Except1RecWithAt CanNotBePlug
0bf334380f8daafcb608a20d6bcdf3f23bb9a6b4 Constant Except2Fun CanNotBePlug
ca109821e08dbae4b52614da9ed5e747197b0424 Constant Except2Fun CanNotBePlug
5a965be90ff887c777de37552e2e79aeaf17f2e4 Constant Except2FunTuple CanNotBePlug
4c33c9306393b10c6d45bd4a82badc71dec7049f Constant Except2FunTuple CanNotBePlug
272e02d7b5e4d5a9123d38a14735c86c93587b1e Constant Prime KindMismatch
4647e0d72f47f5fa83f1d41a127d218231ac5273 Constant Prime KindMismatch
99e509e81d5c136802d86a7c588f009df177e624 Constant DefFunInDef AlreadyCombined
bb019993f2fdf37824e0a80a9d8e9d2fe1e86f85 Constant DefFunInDef AlreadyCombined
b7e2f41051b4bee9026a3417ab10075b248595a7 Constant LetDefFunInDef AlreadyCombined
2c335c4057c1089a9733378792823611dda0b3d4 Constant LetDefFunInDef AlreadyCombined
6fe2dd57d1c1a22643303a3d25b86758e0230daf Constant Variable KindMismatch
f036249c8e38b61b468a5b3c48f78b07786bcb33 Constant Variable KindMismatch
bd84654a2d00bc2ffee3248439dc610a63f21d29 Constant VariableViewExclude VariableExcludedFromView
3bb8433b41b8422d8df68ab57ccecd198317e89e Constant VariableViewExclude VariableExcludedFromView
aa93af00226bbdf52e9df79a8432e398ec84b28d Constant Enabled KindMismatch
bcd3b45aa802838e2811798126b99eb640af3c70 Constant Enabled KindMismatch
beb3be05559a4497ce24e1518a2ad0b47ada9e39 Constant Assume AssumeIsNotEmbeddable
fd3b99add1cc913b70af5be63915fd41dc61ad82 Constant Assume AssumeIsNotEmbeddable
286271d6c28a3889dc7cd78e7a73e489b244a42b Constant AssumeNamed AssumeIsNotEmbeddable
b1ea5649e26a9d02347661c0d123ed767e3a7b4a Constant AssumeNamed AssumeIsNotEmbeddable
5226e9f0010c32ceb25f47a30f5b7857960bf1e1 Constant Lambda TypeMismatch
b6acef9609aba5483a1c441908d4d1a93b00da9b Constant Lambda TypeMismatch
aa16e409d2df9ad7476ebbd210c1550534cd5927 Constant Unchanged KindMismatch
c0ba308b68f7d7287ecaec3dcd6e035fe63f919c Constant Unchanged KindMismatch
d43116ac99f5fb4598f2f340a29bc5bbe3fb9ca4 Constant SeqSeq TypeMismatch
013eb89a1c97e249804729089a712e7a1feff510 Constant SeqSeq TypeMismatch
87a40790dcb4585a33ff50e820fe097f47a4ad51 Constant NatSet TypeMismatch
bbbb6ed6c703f536ceb8fcf645f0c0cf82b54c31 Constant NatSet TypeMismatch
53fd8ae73201c2aadfbf2c059c3af9511d87ff62 Constant IntSet TypeMismatch
14987927dbe7ec3b1f5509a426b80ccb1943bd81 Constant IntSet TypeMismatch
4935ab4f8701a8d85cf86aceb1e546ecb45e3e99 Constant StringSet TypeMismatch
3fdccfadc5b8aedba0d2e88d299001c2c0041876 Constant StringSet TypeMismatch