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 LetDefFunRecursive

Id Case Feature Plug Feature Skip Reason
579b1ade1abd83d8e0151669df8226737ef2638e LetDefFunRecursive AndProp KindMismatch
b75f3c265f25ecd23af67de32b11587722e45182 LetDefFunRecursive AndProp KindMismatch
9019ed2d6c7574a96e9d838cb3b588e9f464c5e8 LetDefFunRecursive Boxed KindMismatch
eb9a31025ab9e679e6e57a9f2982df7416546ffb LetDefFunRecursive Boxed KindMismatch
b19a8c57290a12715b3da5baa46ffb9a09c29e3a LetDefFunRecursive Set1InDef AlreadyCombined
2807900e47a6fd0ede50a5b1b96d696ec926b040 LetDefFunRecursive Set1InDef AlreadyCombined
8f290b96c56a85d7eb6e0daa5e7a9354de81b4a6 LetDefFunRecursive Set2InDef AlreadyCombined
585b3e6e379d3843f03ae839210288e1df65c301 LetDefFunRecursive Set2InDef AlreadyCombined
abeae340d0e6e24aa56c8b6fd9794b37ac5ddbb5 LetDefFunRecursive InDef0 TypeMismatch
6c6eafbf65b889ca64454cc73802811dc2822fda LetDefFunRecursive InDef0 TypeMismatch
886e6a646c07bf082523f5ea930d8165a99183bb LetDefFunRecursive InDef1 TypeMismatch
c27734c07817f81c00742a1de823c00d5c1123cc LetDefFunRecursive InDef1 TypeMismatch
b7e45ea1a34198685de7b3e08b16fe3b77a30f5e LetDefFunRecursive InDef2 TypeMismatch
8229b4eca5162e0f2436e9025f08d811394b90ae LetDefFunRecursive InDef2 TypeMismatch
3063059f6aa6849e1a6b7b3d37e3f4fe0dfee337 LetDefFunRecursive FunInDef AlreadyCombined
b4144940ca01e48b3455d23c2ef9b507480152ed LetDefFunRecursive FunInDef AlreadyCombined
69d099e1e7f41f8b195c8092d7d6133304558ba3 LetDefFunRecursive ExistsInDef AlreadyCombined
4145fed2078c85a18c6a378ed09d1a99fd38b9f4 LetDefFunRecursive ExistsInDef AlreadyCombined
0ef46169f39bc3e19a82cca41172cb11946caeb5 LetDefFunRecursive ForallInDef AlreadyCombined
e07e0fff3e3b98a90507e74238d9598428c7d619 LetDefFunRecursive ForallInDef AlreadyCombined
78d331cc9a63d5c88f2d6921bd849d40d8705218 LetDefFunRecursive ChooseInDef AlreadyCombined
1ddf5115aadade4677ec001c50b4e3a2be27098f LetDefFunRecursive ChooseInDef AlreadyCombined
b7c19bd910666f98dc048a43cf79eac7e3b6835d LetDefFunRecursive Except0 CanNotBePlug
7f0b129cf9f5a2cb4f6d609b9acbf86b2c38efce LetDefFunRecursive Except0 CanNotBePlug
9e13a3f5df9423b0319a5191147594405d3ad42e LetDefFunRecursive Except1Fun CanNotBePlug
6741ceeb78201b29b6dce64eb5716a9b14127253 LetDefFunRecursive Except1Fun CanNotBePlug
aeeab382ff7493ca06d32823d7497ddbe89e5c2a LetDefFunRecursive Except1FunWithAt CanNotBePlug
ff71d150458c7046661ff921ce0846094490c2d3 LetDefFunRecursive Except1FunWithAt CanNotBePlug
6301e608edb941a45581a1457d0b19afd0774dfc LetDefFunRecursive Except1Rec CanNotBePlug
1200577878057da06f1f6fe500633a999d2c6620 LetDefFunRecursive Except1Rec CanNotBePlug
5e1e5c97d80fea97dba5451fb09dd7ef19b53518 LetDefFunRecursive Except1RecWithAt CanNotBePlug
c03b2bb57a3b4084f13ed139eb4076a0ca0f0102 LetDefFunRecursive Except1RecWithAt CanNotBePlug
35784225380b2096520d8374c1afc353d7409ea1 LetDefFunRecursive Except2Fun CanNotBePlug
37efdc7bd8579326c7c55dc5686f2febb0f760f8 LetDefFunRecursive Except2Fun CanNotBePlug
c5cc0b6fa0bef02ea2633c0bbb67bfa9473cb851 LetDefFunRecursive Except2FunTuple CanNotBePlug
ba6e2d6bf03b54879d86ac5fc9f29db7173d0d46 LetDefFunRecursive Except2FunTuple CanNotBePlug
a58f55ce8ba2540733e5d2d961993193f9664980 LetDefFunRecursive DefFunInDef AlreadyCombined
5c45a76137810efbbff5749583707af02f37a269 LetDefFunRecursive DefFunInDef AlreadyCombined
64c9739ed322d65cef0965d60a299a32e19bf97d LetDefFunRecursive LetDefFunInDef AlreadyCombined
01464934bee006abc677de506261cdf0e1664e5d LetDefFunRecursive LetDefFunInDef AlreadyCombined
8835b689743a3985e5b56a742ac157d4218fe3e2 LetDefFunRecursive VariableViewExclude VariableExcludedFromView
de990a90a92258a725e82af72e8b618ede6998a0 LetDefFunRecursive VariableViewExclude VariableExcludedFromView
5abc9cb785032c2d1515d5f3ced4a390a336f9dd LetDefFunRecursive Assume AssumeIsNotEmbeddable
946d8de8dd19d6b2edf16b0feffff0b7a774fadc LetDefFunRecursive Assume AssumeIsNotEmbeddable
ea7aeb186e6fb2042cd837613c6c5594fb754e70 LetDefFunRecursive AssumeNamed AssumeIsNotEmbeddable
342d0aa72d6f219e00795b4048b903bc4975a2b5 LetDefFunRecursive AssumeNamed AssumeIsNotEmbeddable
60d0a52f709b6158c1ad6d02b06533eb9d2be322 LetDefFunRecursive Lambda TypeMismatch
9029bbf11b0add78df7c3bfac30db9f25436a37e LetDefFunRecursive Lambda TypeMismatch
c1b6b4cfddc4b2bc2d4c9bdbb2a85812c896972a LetDefFunRecursive SeqSeq TypeMismatch
9b3ea2d022314e4ed93eb71434c1755bead199eb LetDefFunRecursive SeqSeq TypeMismatch
8cae0e0b88a589fd1400e3d9a553047724f3b14b LetDefFunRecursive NatSet TypeMismatch
b8e79806edf83f9e4632530786df8852e2d23e0c LetDefFunRecursive NatSet TypeMismatch
ec5391fd925502f2ef38f27ed2ec3c87754d883f LetDefFunRecursive IntSet TypeMismatch
b0046fcb5f641bc4e718959f91fa44248f2693c7 LetDefFunRecursive IntSet TypeMismatch
0c4c5029a18058e8d708e4f1e865e5bec975ffe6 LetDefFunRecursive StringSet TypeMismatch
fca971df262c6c90f74b212e478819d451add796 LetDefFunRecursive StringSet TypeMismatch