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 Enabled

Id Case Feature Plug Feature Skip Reason
9d2c4a0af9d502fb070b1f9a2f4ec94da8fd0294 OneLineComment Enabled CanNotBeCase
e16a90fd18ccb42a0aa788ca390b6e33db3a3893 OneLineComment Enabled CanNotBeCase
cc278c4ca0480ce03c97d172917892e51af9019e MultiLineComment Enabled CanNotBeCase
8588830288238e909101c4b4ea1da9b1f630e3a6 MultiLineComment Enabled CanNotBeCase
9ad9d648d83a9734d7a0dadbcb2330daa09e544f BoolTrue Enabled CanNotBeCase
30e3b7d6d7d9d0d944ebcc794e6d3de1e359b31d BoolTrue Enabled CanNotBeCase
838c8fa1ef47ffeb7f9d82c81a26328c9846ae35 BoolFalse Enabled CanNotBeCase
dfe01a9aabd513de124ec4af3792c4c8a12e1101 BoolFalse Enabled CanNotBeCase
47048b4c869d082aabad8b8bc379e38da9c87e70 BoolSet Enabled CanNotBeCase
031da6af385ec0f295a08d6e0f2f7d7504a58926 BoolSet Enabled CanNotBeCase
f520c828f68f1ac96d2cf739f578d605ee8ab0c1 SetEmpty Enabled CanNotBeCase
f2b1cd4c2ad4b0cfe9b8c1f4490e1ab0f199cf18 SetEmpty Enabled CanNotBeCase
f1b95466a533ccbd469d75e69d0ea353289e3fc5 Set1InDef Enabled TypeMismatch
f75c83c4dde950296d2d516d842bda8d69af1e06 Set1InDef Enabled TypeMismatch
545a35cbd4a4c4628fecca39d1890ecd760f6329 Set2InDef Enabled TypeMismatch
e50f9cbe8d223a7c698d107637457eeffef9ca0c Set2InDef Enabled TypeMismatch
7fabbdef68b8a292c9f75f5e066668408cf1e3af InDef0 Enabled CanNotBeCase
ec5e60a6b79dbaefe0416a8f38aaf1685a7c5318 InDef0 Enabled CanNotBeCase
af5eec2649310ad099344e6d6de38fee58c2e233 InDef1 Enabled CanNotBeCase
46b9ec30876a07b7bcf931a603ee9bf6de6e92a9 InDef1 Enabled CanNotBeCase
e073f5b4a9f889cb710411181fa91921bddd95bb InDef2 Enabled CanNotBeCase
064f123ecdde13783f6db2d8899643f5ca7e01e8 InDef2 Enabled CanNotBeCase
398960f947988f513ef04c15edc5b254c74352d6 FunInDef Enabled TypeMismatch
fdd83e6a59944da85f3a313478c3e5e449615be4 FunInDef Enabled TypeMismatch
aca0c941d1c69feec610e72e2d8ea03972034f7f ExistsInDef Enabled TypeMismatch
90e9b066563180dc90cd16b9215c1c84205d2d7e ExistsInDef Enabled TypeMismatch
42688cb3d0b72759903c2214965df2ec0b56a962 ForallInDef Enabled TypeMismatch
703683c5b4ea41a22078a2e44f4caddf76f7060d ForallInDef Enabled TypeMismatch
05ec0f8622f974c282205c393bf64e05623a9a21 ChooseInDef Enabled TypeMismatch
bab070b28f0b228459e854b4693b3e8358378040 ChooseInDef Enabled TypeMismatch
9b47289fc71eb41dfa322cfa7043adc427d62381 TupleEmpty Enabled CanNotBeCase
3337416845a1c7d0df09e982597b907ed4b6afc7 TupleEmpty Enabled CanNotBeCase
bf8557b30f178694d74e5602ae756de1f5233897 Except0 Enabled TypeMismatch
c48cd41ec332862a71b8b5b23a0de817fd412917 Except0 Enabled TypeMismatch
8d48b5332e8405b4b62f8b820245a16ba104fd7e Except2FunTuple Enabled TypeMismatch
053e832ce4102f8d69a12beb24444c9b5f466c62 Except2FunTuple Enabled TypeMismatch
8f06c16c9c5f692218fad278968d63965901d389 NumZero Enabled TypeMismatch
785f0cd4126578f950066d0133640146c3ff58be NumZero Enabled TypeMismatch
95ad69d0eef736fd0789afb90191d0fd42023dc6 NumOne Enabled TypeMismatch
b29cce5c434a4c7f672ebd14fd071ccde1401efa NumOne Enabled TypeMismatch
413bd70dfab1534739ba40538dbd96a8b203bb03 NumMaxInt Enabled TypeMismatch
5b6a53c48fc1cd50fca4e50af6c0f47490c2f588 NumMaxInt Enabled TypeMismatch
78c7e2385ea8cf1a8541e4e8c8b43eb52acef4a1 NumUnaryMinus Enabled TypeMismatch
5632fce647a3e1af67cbf8d93a6abc403c442976 NumUnaryMinus Enabled TypeMismatch
6d3de0d0f6b03a6a1ae240c053cfe3fe72625f76 NumPlus Enabled TypeMismatch
b9891c3160933b24e8fe2f35c90b10d1b329107e NumPlus Enabled TypeMismatch
3c879dacd56603dcdf6c98da1c2bf29d7745b16c NumMinus Enabled TypeMismatch
9594d735c11a54084f292eae2a02641115e2aafd NumMinus Enabled TypeMismatch
30be8d1ea3cce768d9d8cee82b08c71e1115a155 NumMul Enabled TypeMismatch
321e2f67b08a34e5e000a68641976338db2eb683 NumMul Enabled TypeMismatch
d78f36c6091a4ab7807e17d906e205be780b0af6 NumDiv Enabled TypeMismatch
35e29f669ebdc41d0ddab171689812372f2feb62 NumDiv Enabled TypeMismatch
66c0aebe450a55eb7e424073f1916cb0338b4514 NumMod Enabled TypeMismatch
ccf0706e2f302c4fa13e239aee0b7094f2e72ef6 NumMod Enabled TypeMismatch
2b4f97174dbdd7390926ea69aefe57d22491b56a NumPow Enabled TypeMismatch
02aac41ec8de8bc2ab75897af4239433ab8c8998 NumPow Enabled TypeMismatch
7a29b1bab57844473a4518e914b03e8c0c6fdbf9 NumGt Enabled TypeMismatch
7b056ecfca556abab81d03316e74128db45f682a NumGt Enabled TypeMismatch
dd4b45de726e27e9e2dee775027f9bd50123c4d7 NumGe Enabled TypeMismatch
a0cb15914c762c68d0dbf3e57d8247bb994d2700 NumGe Enabled TypeMismatch
45d54e84081cb9f1ba05f4bd56abd3c8fdd3dd41 NumLt Enabled TypeMismatch
a89c2c6e6b8c785c372981a373720921ab55edc3 NumLt Enabled TypeMismatch
3d9775fb767292230eadc76109878a83cb9f59fd NumLe Enabled TypeMismatch
c2bba8cd462b0119add49bdfa1ac3ebd3b65cd0a NumLe Enabled TypeMismatch
62affa414b8334a52db6ce2b5d5ee314b7645182 DefFunInDef Enabled TypeMismatch
d00e18c3173c6857c3c2026e14316ae398ac38e8 DefFunInDef Enabled TypeMismatch
a00c7ca572195fa70f8d2e351af109419213e430 LetDefFunInDef Enabled TypeMismatch
d1a99abc5b5c7cdc21b7b50b03142867cc03d275 LetDefFunInDef Enabled TypeMismatch
aa93af00226bbdf52e9df79a8432e398ec84b28d Constant Enabled KindMismatch
bcd3b45aa802838e2811798126b99eb640af3c70 Constant Enabled KindMismatch
d2f1121095d8a012f9b9328f9359bdd283f521f7 ConstantModelValue Enabled KindMismatch
a3b67ae8a2a85ed6e87c356d25dc9b4fc04f9b94 ConstantModelValue Enabled KindMismatch
7c758ecb622defe45f4a2e755d61d3786dc3d545 ConstantRank1 Enabled KindMismatch
01066d632cfe110955128f8a5bfbbe91209492c5 ConstantRank1 Enabled KindMismatch
a0b5cba33fe898248f1da5f1f65234340188da89 Assume Enabled KindMismatch
e4135e823e529d1bf158adf8f6dc25189a3f6bc4 Assume Enabled KindMismatch
c536fd1e2ede060af272c1d1670934926777ade5 AssumeNamed Enabled KindMismatch
258ec229ebe01cde515f1f556e113d2ad32dee38 AssumeNamed Enabled KindMismatch
0bcb643c6b4137aa1ce44d9abcb46bca4ae06bf2 Cross2 Enabled TypeMismatch
d876806fe25e5adf67ede1a7ff6d62b694d20504 Cross2 Enabled TypeMismatch
aadb65605528243cc7e984b8cfacfa53ff94b241 Cross3 Enabled TypeMismatch
f2a91d87fc30e82d05067f933142033c549522cb Cross3 Enabled TypeMismatch
fad22ede32e7eccf8f982ece29fbed2fd7f023bf FunSet Enabled TypeMismatch
317c9855c9649463d31a27a5016ea2222c071e90 FunSet Enabled TypeMismatch
1a5fe47cf8bfbf4a629b0e38752f76e261eb6d93 RecordSet Enabled TypeMismatch
803b5a4ebefd9f4a7135d1121baf64f2dc829a54 RecordSet Enabled TypeMismatch
10f37ee3ecdfc46c57d360e25e79479a884cd16c SetDiff Enabled TypeMismatch
f9b456326d4fb5e5fa2c07081b958184f603611d SetDiff Enabled TypeMismatch
b840ddb7a94843f82fa0ba286c56594218ee16c8 SetUnion Enabled TypeMismatch
2d0fa8cee5025ca7d15582fe8d4322af597b803d SetUnion Enabled TypeMismatch
08a4c3333c383c7943cd7a820633a2ed3b6bb4fc SetIntersect Enabled TypeMismatch
f5dc5c77c3abc218775c8fe0682570b9ae21bd40 SetIntersect Enabled TypeMismatch
633fe97256a8e3f250460abcd3b329d7ea854c39 SubsetEq Enabled TypeMismatch
130cbbd920be9e81b2cca73005a992d2fed31283 SubsetEq Enabled TypeMismatch
e19f9fb039e5ee5d4272e8faf521af4070ed7a6c Subset Enabled TypeMismatch
1d9f0c40fb69f24f281ed211e07e7fe00a45a64a Subset Enabled TypeMismatch
ee9416d89352a58f523a05b7f9ca0b71faf11d4a Domain Enabled TypeMismatch
11946c80ba962113868f06ebf7044faf28291483 Domain Enabled TypeMismatch
9c4bd827e0eaf855867347fa352af60d8421fad0 Union Enabled TypeMismatch
c38c42033bb363f0adbea45015ca6fe0f4620256 Union Enabled TypeMismatch
2494495a164b22875ea371d2261bff6dcacdc564 StringEmpty Enabled TypeMismatch
dcc87938bff67b29e5bd416e29975fb02ae9d711 StringEmpty Enabled TypeMismatch
0c57af5dd4f645992eb9b06c1df86145587429ce String Enabled TypeMismatch
bf76736b47e86ed021b32c347ccf1bc8bdead7ff String Enabled TypeMismatch
90c2e2630c58450a3232ab9838a4ad0d4f86c1e7 SeqLen Enabled TypeMismatch
985dc98004a085e2e23d582305c0b77bfb0b8561 SeqLen Enabled TypeMismatch
13576df7df87de5fc58fb7330299e4f5c5199b95 SeqConcat Enabled TypeMismatch
9526b08ca17c614cef74f96ea4ae4e79068f49d5 SeqConcat Enabled TypeMismatch
4da76f0aa9280e0ef21cce6639d65950639820e3 SeqSeq Enabled TypeMismatch
1c607fc8a401b54f7b68428a8abfba81a9581952 SeqSeq Enabled TypeMismatch
8ec54ee9e3c0607cd9a45bc8ebc29dac08a56d4d NatSet Enabled CanNotBeCase
e522a9177f309810270f6444c627661a73e3a59d NatSet Enabled CanNotBeCase
053a4df995e15a335b2f3d2252ba460414529ece IntSet Enabled CanNotBeCase
3ee37f6582b984f01b71b52e7373a6430157d486 IntSet Enabled CanNotBeCase
adf10b726153d5fe7aa708d1d46632711ab96398 StringSet Enabled CanNotBeCase
14d26c45eb6541a8987637b358ed967bdc765e20 StringSet Enabled CanNotBeCase
106661fa93df8afa72ef2f8c85a9302128dd05f2 SeqSelectSeq Enabled TypeMismatch
db3454db34c124a31b80dda999f8199d8fa5a532 SeqSelectSeq Enabled TypeMismatch
f3d8ba3221ec69c465116d067b8919e27c0e78e5 SeqSubSeq Enabled TypeMismatch
ca6a687d4cba4b074aa7d36010c05c34d63cc9f7 SeqSubSeq Enabled TypeMismatch
f38b043190f779082096d1fe23ac2558af315aa1 NumRange Enabled TypeMismatch
63674470d8fb15750935169282041e436df71e08 NumRange Enabled TypeMismatch
5b17343be49bbca97642cf1471d858c5d29395a2 TlcExtendFun Enabled TypeMismatch
852b68ca59af45f42b833891fccc46976c3bb2ab TlcExtendFun Enabled TypeMismatch
d25bbee7b5ee4fd610f466920101d0eaabc98b1e TlcPermuteFun Enabled TypeMismatch
7738ed05fa340b39ce16c093cf870a7f7765dd81 TlcPermuteFun Enabled TypeMismatch
f30d7cf00b0e0977622409373c9c3065f8634808 TlcSortSeq Enabled TypeMismatch
1c2f97228a629b27c1ae7af36167ea57786eaeaf TlcSortSeq Enabled TypeMismatch
4e33a7f2c346149f1a8911903492a6838f08d1bf BagBagToSet Enabled TypeMismatch
8c4b443e07fc314f0beafcd4ed06707cd80a8249 BagBagToSet Enabled TypeMismatch
ecc41564113f9c3510a6d184d99b8a014a584407 BagSetToBag Enabled TypeMismatch
4a8a5bd88ce6fe6e1d98066c326cd1c0344c9ac7 BagSetToBag Enabled TypeMismatch
47ae0d005cdb456ebe2cb0b04f790836950136ee BagEmptyBag Enabled CanNotBeCase
de3dfa5ed755acca203c71240b63ee75aa86149f BagEmptyBag Enabled CanNotBeCase
187275668e6252acdf4785fea83b2ab5fa3ed815 BagAddBag Enabled TypeMismatch
b7f91320cba22b623d3c146cb4a6ce4388930d0b BagAddBag Enabled TypeMismatch
75b2e03979c1d5524e2118d810be13dda74dc722 BagBagSub Enabled TypeMismatch
e5e65660c9ce1e39d8e31077bbbc4222c01dee2b BagBagSub Enabled TypeMismatch
53d75335a2980ae50e9fcc3c25fb3973304ccf5a BagSubsetEqBag Enabled TypeMismatch
686d178b4458565e3ac969f3ba2043cfeacdb556 BagSubsetEqBag Enabled TypeMismatch
fd49dae4ebabaa0b49ed63201a09435215cfe8fc BagBagUnion Enabled TypeMismatch
6b96abe7e1f945feeb46e3d2536fe61b254563a3 BagBagUnion Enabled TypeMismatch
dd6bd6a2da612c05aa0aaaa8a67b65af2ff54621 BagBagCardinality Enabled TypeMismatch
5e65b439ba7b3506f6ccbc8582d449cb79b84f35 BagBagCardinality Enabled TypeMismatch
c7b84d14b811f6658e6fde3e9a84f1a31fb92d08 BagBagOfAll Enabled TypeMismatch
7f87486aa51a5f4490f2337d9eaa15875471bfb9 BagBagOfAll Enabled TypeMismatch
15ee25f00252e8f5398c23748bd87a63125b41db BagSubBag Enabled TypeMismatch
b893c3d1dfe874f6d6d2935a34e1e73ef9bfdb9a BagSubBag Enabled TypeMismatch
fd8238be52e1dad386d20ea12b6f44b13492cef2 FiniteSetsIsFiniteSet Enabled TypeMismatch
8dd81f18e5e0e9ec4d7732b19622bb070a50a92f FiniteSetsIsFiniteSet Enabled TypeMismatch
449ab51e3dc121037e7be71365d6d944823eadc3 FiniteSetsCardinality Enabled TypeMismatch
548966c8e9fbc62aadb1ac037c7216ab7006238d FiniteSetsCardinality Enabled TypeMismatch
166a50ec6a3389676986c94c6e3efad131b3e003 SeqHead Enabled TypeMismatch
e98ff16f45053d120ec4c0f995c7f24058bdae98 SeqHead Enabled TypeMismatch
07eaa02644b9d7059b0038346f9388ce6d232ded SeqTail Enabled TypeMismatch
34197bfaaf352fb34f6542512327c738770f0dc8 SeqTail Enabled TypeMismatch