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 LetDef1Recursive

Id Case Feature Plug Feature Skip Reason
83bcd828af7e68c9825df629d641641edd583c86 LetDef1Recursive Set1InDef AlreadyCombined
76dfa4348dcc6dbd9284a8694597fe2322e67987 LetDef1Recursive Set1InDef AlreadyCombined
338644179f5463b11248124e42b78c983429f7b3 LetDef1Recursive Set2InDef AlreadyCombined
4339a8d36338c50ddfff03e6063c1771c056d189 LetDef1Recursive Set2InDef AlreadyCombined
6d2c46f96fbad9276afb265fb39ffe737fadb860 LetDef1Recursive InDef0 TypeMismatch
b3ac7600226b1264144eea538a6398a528a96c25 LetDef1Recursive InDef0 TypeMismatch
714aa90584eb53bdd877e2d664122b7852046329 LetDef1Recursive InDef1 TypeMismatch
3c734f3424f2c87920b1fef6e5bd60a962f897e8 LetDef1Recursive InDef1 TypeMismatch
bfc22e906eacd377c5e84c7ff9ce25e04a28152b LetDef1Recursive InDef2 TypeMismatch
99fac223828cd5e747bd6a5655a66411c989c180 LetDef1Recursive InDef2 TypeMismatch
a85bdc2ae6e621b0f103bb2bd4ab0974d43aad6a LetDef1Recursive FunInDef AlreadyCombined
cd7d9691e9a5834378b001ce00146fdb177726a7 LetDef1Recursive FunInDef AlreadyCombined
000c6d2db76c93d713a036f3857858e10a92a289 LetDef1Recursive ExistsInDef AlreadyCombined
83d866ef346e89eb3f9bb5e2645f676cb1d32459 LetDef1Recursive ExistsInDef AlreadyCombined
6c4e71cee7ee84f416db2c723a38eba599858ffe LetDef1Recursive ForallInDef AlreadyCombined
702c0922da557b375975cf0ae5229e982336ad67 LetDef1Recursive ForallInDef AlreadyCombined
fa7eb0808c4447da68f3bdc1acf3f0c172a34836 LetDef1Recursive ChooseInDef AlreadyCombined
51d853d91c70a313ca6e74d3c00308da434d59dc LetDef1Recursive ChooseInDef AlreadyCombined
ceea25e97e06435746f3f0e5dd11ccb50259838e LetDef1Recursive Except0 CanNotBePlug
f6f439c8b855232d6fe7d2c163ce4b8af407eca3 LetDef1Recursive Except0 CanNotBePlug
97148ad0805939c71d824b743d1ef81c3d35c2c4 LetDef1Recursive Except1Fun CanNotBePlug
17c187c4055dca5a20216d36c64133830830bd4f LetDef1Recursive Except1Fun CanNotBePlug
6dd410558a1c70ba44eb60ed33cfcd8e8e25f27e LetDef1Recursive Except1FunWithAt CanNotBePlug
8568cd857227023ad5750e85af40b8091ae09f4b LetDef1Recursive Except1FunWithAt CanNotBePlug
ddbe21048572a9498b8509894ad4e41b479bb529 LetDef1Recursive Except1Rec CanNotBePlug
4788a1e2b31554c22db777e18b3aa1af596c2d49 LetDef1Recursive Except1Rec CanNotBePlug
1282862530f9ed3b0edd5048031062218b52f41f LetDef1Recursive Except1RecWithAt CanNotBePlug
0df8ccbea5c169c4c3b2f3737c150e0c6607830c LetDef1Recursive Except1RecWithAt CanNotBePlug
ce766d83371fd222e4e80beaf23c333da145db0f LetDef1Recursive Except2Fun CanNotBePlug
653830c6b9693e32da355c4ef82348a0fcbd30cc LetDef1Recursive Except2Fun CanNotBePlug
cdeb1a484e13b7c2e64f424396eb83d439f53ea7 LetDef1Recursive Except2FunTuple CanNotBePlug
bddbf3eefe34d81cc8c7f534078127713cabb340 LetDef1Recursive Except2FunTuple CanNotBePlug
58a4a1eadf065c4e5fa5fd7b069baa65f3bf41ce LetDef1Recursive DefFunInDef AlreadyCombined
692218e7e34475d58d78e5987d5e6c5ef9b28e31 LetDef1Recursive DefFunInDef AlreadyCombined
302ed20352eb08d177714946a40e2c248bdf3f6d LetDef1Recursive LetDefFunInDef AlreadyCombined
ec5a9dc4fbe176481105023364f71b274f7d3ad0 LetDef1Recursive LetDefFunInDef AlreadyCombined
1a15bccbe7023682b11643422de2f3c2d281ae75 LetDef1Recursive VariableViewExclude VariableExcludedFromView
cf1d19d7310a567d3146d3391802358759d3552b LetDef1Recursive VariableViewExclude VariableExcludedFromView
3dbc5264b955439156e9f192af056832ba0ed5b1 LetDef1Recursive Assume AssumeIsNotEmbeddable
b07e28f8bb0bbcaeb7984a5fd8161c8ff6de0650 LetDef1Recursive Assume AssumeIsNotEmbeddable
320a09044bbdfcf02822a25cbcbf04dd39c525e9 LetDef1Recursive AssumeNamed AssumeIsNotEmbeddable
b1e0354cd8f712d34e70d46ef3cf1ea5db92e86c LetDef1Recursive AssumeNamed AssumeIsNotEmbeddable
bec2f80220da9b73bf43063ae0225b23298e3c0f LetDef1Recursive Lambda TypeMismatch
d1f2ee47da59c9b2404d4af0832d587d1104dc10 LetDef1Recursive Lambda TypeMismatch
186c21db99892c6dc589fa0d9ca635d52b6534a9 LetDef1Recursive SeqSeq TypeMismatch
719fdaff0773a4c3069f98d6069da0594ce18e0b LetDef1Recursive SeqSeq TypeMismatch
eead3d4c6f82b66d15a37ab9b45ff882152b2429 LetDef1Recursive NatSet TypeMismatch
b1c9496dbe2af8a40c010b680d034ac71764f647 LetDef1Recursive NatSet TypeMismatch
baa051cfc247ba95cf8d7b07df4ddae3b5317e6f LetDef1Recursive IntSet TypeMismatch
07e970bb5221cb5848fffa1c36ec808f8f2bc498 LetDef1Recursive IntSet TypeMismatch
973bcb45c1498cf7e594918e904bf8b0fa038469 LetDef1Recursive StringSet TypeMismatch
3b7d205d30d6a6511c9738dd776cff0900dfad1c LetDef1Recursive StringSet TypeMismatch