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 Exists

Id Case Feature Plug Feature Skip Reason
3adf2cb3c6f0da70963d7718c252df530f887e15 OneLineComment Exists CanNotBeCase
c655f68ba274c323499f4ae64233029662f31c6c OneLineComment Exists CanNotBeCase
8d1d79ec6d47f5765a230afcbec754d3046594ae MultiLineComment Exists CanNotBeCase
03abc4e7c97d6d27a5b9736f343a03729a8c5581 MultiLineComment Exists CanNotBeCase
577c0196348d031881871a4f24a007e0974d8bed BoolTrue Exists CanNotBeCase
9237f0c6d47133cb7746f9f0603a59d5357a6365 BoolTrue Exists CanNotBeCase
1cd808d91052672a848c26400ed4aa208114c66d BoolFalse Exists CanNotBeCase
a53622bfde948cf7b72626c60fe3491a95c618af BoolFalse Exists CanNotBeCase
79903ebbc607b5445251f79ce3ae6262f7e8676f BoolSet Exists CanNotBeCase
2cb5ef841c76f7b6d7b6ed72863bd05309fe85cb BoolSet Exists CanNotBeCase
86dfa7cda1e51f486a9e5db9c9b1ff4df9efb76c SetEmpty Exists CanNotBeCase
bc83ccc24e2f1c6b17b60e1050f580f153073a6b SetEmpty Exists CanNotBeCase
b84f2fa887f3e6c3a57b5717d469637bf94f94c0 Set1InDef Exists TypeMismatch
f49c985a97271892faf0a4b9162b12465d8c470d Set1InDef Exists TypeMismatch
e81836f671e6c5702588066898cf12a1a67fcb68 Set2InDef Exists TypeMismatch
0c2b7647e66a377d58743b907890018ed41d4018 Set2InDef Exists TypeMismatch
ab1d441f4da4280b1e7fba3d6b5cf3f81b777c6f InDef0 Exists CanNotBeCase
45eb30a067cc0bfd3865948cbb4eba59d6924970 InDef0 Exists CanNotBeCase
cb1639f8ec44f3bc4f2549e94fb25267cd895a39 InDef1 Exists CanNotBeCase
a4f708769b28d332f6e5d1c30135e92ce0a4eade InDef1 Exists CanNotBeCase
26502fd8bb7ee19704d5d33e11ba81c8b95cfd60 InDef2 Exists CanNotBeCase
4881eebdb4ea41c79ca75371d6a850c5fcc50a16 InDef2 Exists CanNotBeCase
fdc925fd77853f6549953fa40ec79076b58c20b1 FunInDef Exists TypeMismatch
6e931fe0ef16f288b174630cf40f79ebecd1d43f FunInDef Exists TypeMismatch
86ca03ef4023350c8dad724d86516f5a199648a5 ExistsInDef Exists TypeMismatch
a70fdb89650e51a4e3ccf92d1c5e784d5f683d99 ExistsInDef Exists TypeMismatch
12940b8247f043b5c0d8eaf69334dc86890bbd3a ForallInDef Exists TypeMismatch
dcf99750f507a0ef5a997c391f6c89c08db15c37 ForallInDef Exists TypeMismatch
6ff8bbe15523156a12b5f54610254116d048c32b ChooseInDef Exists TypeMismatch
6350249d0f6354fa36bf5805c7dbd329615a1515 ChooseInDef Exists TypeMismatch
896fd202e03f8875c54d75d99c622ba9f208fe98 TupleEmpty Exists CanNotBeCase
8e68f349cfe8538669cfe7aa1d69c4fb3468ccaf TupleEmpty Exists CanNotBeCase
1b27b76ddc3159f8ce30c808ecf01879a7cc011a Except0 Exists TypeMismatch
b03306268731e7a597f67539b8af49e75a9ba1cf Except0 Exists TypeMismatch
31f1af6c7485cee6cdb5612323accf5fcfc13d55 Except2FunTuple Exists TypeMismatch
b938b386e602e86dca271b7191a6db53fe6dc897 Except2FunTuple Exists TypeMismatch
633d7c528d98e1efb54c954f000f334bafc93168 NumZero Exists TypeMismatch
fb76055e2eb25704d770ae3736d2c158ce7edf9a NumZero Exists TypeMismatch
7d9c33abcf5cb69e8b2f18498551c345367a194a NumOne Exists TypeMismatch
c8cbf2fe0a3bc2b5c2ec2892512f62707bdea24a NumOne Exists TypeMismatch
e8e6722bb8b9aec8cf25a9ad5664c852bb4457d6 NumMaxInt Exists TypeMismatch
62f2c26f6dc2e5279b69ec9ef3104a5e361f4077 NumMaxInt Exists TypeMismatch
53a6a7a165f810f257644e05d45c78f3ae03e5c3 NumUnaryMinus Exists TypeMismatch
3240ae46a6de940b2004dbe67c0b2fb6a967d978 NumUnaryMinus Exists TypeMismatch
5dba17b6447e4e0c8dead2ef1de7e7a1673f87be NumPlus Exists TypeMismatch
5bfc602ea01e927d0da07e31d80a034a2e3e50d0 NumPlus Exists TypeMismatch
c1265e664389673cc72b40676d7df4d1d2ec88b3 NumMinus Exists TypeMismatch
d4d3262741eba9955fb4969ab9b135186bcb44c1 NumMinus Exists TypeMismatch
6f06a7d859e7cfe000edd0668fb20ed113c0c9fe NumMul Exists TypeMismatch
1cb0b1aadd57385593a59c4d698185bd7294116c NumMul Exists TypeMismatch
8fdb05f7b7e203d4751084ad783d193410291311 NumDiv Exists TypeMismatch
0d7bba181b14f8c27b7daf9f67cb696ceb276c5c NumDiv Exists TypeMismatch
f4924898495ee6c91556bf87b6184dec8c0fb6a9 NumMod Exists TypeMismatch
29f71288422a19ae6c29ec4d2d2a9516885fcdaa NumMod Exists TypeMismatch
84d2625ca75388de7d1c2883da88f7e694e8b4b3 NumPow Exists TypeMismatch
30398479e65c34215d7c0911d4f18e9ffe81c522 NumPow Exists TypeMismatch
619f720fddd83809c9bdb58b1562899adf256e57 NumGt Exists TypeMismatch
9a3391f70461370af68d1aa16d3fd581ce0753d9 NumGt Exists TypeMismatch
e799a52d1231f278aadee4bb5091477be739618a NumGe Exists TypeMismatch
06f5f7c68b986fe6e3e544741acbb44b97ea70ac NumGe Exists TypeMismatch
4f630c183c5db2cbdc1105c2b353931548482c19 NumLt Exists TypeMismatch
e548c0430a7212b9d02c77e200fa8f3f81abb9e7 NumLt Exists TypeMismatch
d9117b60ee61126920daaf16a6e5ec10f6741050 NumLe Exists TypeMismatch
598be60993cbbdcdcb9dc3b913b6285a26454959 NumLe Exists TypeMismatch
4fb011a42ce8e8c18b447a27e2500d8a157551d5 DefFunInDef Exists TypeMismatch
496ce27afe7943660198a9759691a1bdf56713c0 DefFunInDef Exists TypeMismatch
ee693cccd6fcb166b4ff2f793c8da6840f3dd9cf LetDefFunInDef Exists TypeMismatch
f9ae0d8e950c3493a4b31f26401cd17231a1bcfb LetDefFunInDef Exists TypeMismatch
8b0e0f0e0531cac0a3be667028ac758445650f2f ConstantModelValue Exists CanNotBeCase
5ee48ecd2b6c38f99ed081a525ac0e218883c2e3 ConstantModelValue Exists CanNotBeCase
dfc85e87cdf0ea0ec7049973810e96c261caa3cf Cross2 Exists TypeMismatch
212efd020046095fc73ec7371e3a6a01deecf7da Cross2 Exists TypeMismatch
6e543b750e1acca5d2257c1df98cca8887da5661 Cross3 Exists TypeMismatch
19bd06734201173abccdd3e06e581c07e07f812d Cross3 Exists TypeMismatch
d83dff4c6beb3e3de775a2e735e91b8c3557bcdb FunSet Exists TypeMismatch
160d78d6dd383a4c942bcc4be7f5cad1fe00259e FunSet Exists TypeMismatch
fdc30acb0f137f763c3162cd0572ca4452f0acbd RecordSet Exists TypeMismatch
bed68206a4846135fc47a365f3cf0b856339a6a0 RecordSet Exists TypeMismatch
d41d4b57e38bb4c26cb35f3849273ecd94ea950d SetDiff Exists TypeMismatch
407bb519022f153077c2a5b4dcab593278350a9f SetDiff Exists TypeMismatch
1278a5709168d9aa362e52a1f808f62eefe9f620 SetUnion Exists TypeMismatch
a7d4ca113b37d327c1a39254e9fd5c7a6eb913b5 SetUnion Exists TypeMismatch
e9cc86358d2214ec56bc554be834f905c6dc97c1 SetIntersect Exists TypeMismatch
31a6bef83702226bfab46e8308b36a4ab11245a1 SetIntersect Exists TypeMismatch
2cd4a7fbd2232bc8ef5854a13d9694aaf3caab6b SubsetEq Exists TypeMismatch
ba2cb78c498fa252a89e934e5eab06df01411e60 SubsetEq Exists TypeMismatch
4024da48e3039791ca2b88cb1f8a68891b59a890 Subset Exists TypeMismatch
60e05d596bdc435bb0b10841c4b05feea95533f1 Subset Exists TypeMismatch
1a7da21dfb0f1300d6bbe216f9ffddcae216ef09 Domain Exists TypeMismatch
b9172bf695cec3f94ade033ed6d2b81368b2bf03 Domain Exists TypeMismatch
21bd61e46517c067b052dbdc789168684a3c553a Union Exists TypeMismatch
ea7775caff3fcd703cb79fff35d336c01dcb80f1 Union Exists TypeMismatch
168e49bb0b1ef716c71a500471f8136450b741f5 StringEmpty Exists TypeMismatch
05c2c0aaf75d7fe2ab32f9ed8287c5dd885e991d StringEmpty Exists TypeMismatch
437df79fe6e144512dea48539b98cb429975233f String Exists TypeMismatch
f510b2f4bf6ba02ce1b9a6ba59d5da90ee02433d String Exists TypeMismatch
5537388e74e8ed747e7ad12cc4d41d7789edb1ed SeqLen Exists TypeMismatch
f094dbb06c98b04565e0255ac62bc171e7e6a2b1 SeqLen Exists TypeMismatch
0ef8953fb46d50752982c63f6708e7afb1099b1a SeqConcat Exists TypeMismatch
55c3e1e1f3fcfe6996436d906dfa486a444b0a21 SeqConcat Exists TypeMismatch
fa69a437382b846791ea45173cfc7cc744750c99 SeqSeq Exists TypeMismatch
b4c0cb8a1c8a1cfe5ea9346a8a43309b2d6ff58e SeqSeq Exists TypeMismatch
1a974ef738877e9611ba854d26b9de67bb976d19 NatSet Exists CanNotBeCase
59c662cb48f4b4d9490dbde62ebb4dfc368ff2a6 NatSet Exists CanNotBeCase
e274c5a67dfbbafe23205f886fa135f2a0093545 IntSet Exists CanNotBeCase
24f9ebbe7f772928c8b73706cff4f0680cb979e7 IntSet Exists CanNotBeCase
6864a6891d2f5d02bf993ad4586ab189df1538df StringSet Exists CanNotBeCase
6aeb2615c82c96b4326a678127c216d4af64535f StringSet Exists CanNotBeCase
438dbf739fddf5786bcd4e37c058fc05c5e6aa81 SeqSelectSeq Exists TypeMismatch
e1dbfbc9d7f0835ca22f490f14d1f34bcb9e1269 SeqSelectSeq Exists TypeMismatch
3df68f696d64c934bfc51a34c357b34e5cd163ba SeqSubSeq Exists TypeMismatch
e7bf714d2b11aa50ebdfea4fb3fa385eada0e9de SeqSubSeq Exists TypeMismatch
4ad5bac9011c43464c7726d68f1dbbe008a431c7 NumRange Exists TypeMismatch
38c6b39e112a2b250e1b2befc04caa2f4e2c008b NumRange Exists TypeMismatch
85d12358394e312320487e7d45d235e71ac59083 TlcExtendFun Exists TypeMismatch
b73f49af755ac7212facfaedb4961e90e4513cae TlcExtendFun Exists TypeMismatch
b7e50ca584c28b504496a80e2a11b6847b985642 TlcPermuteFun Exists TypeMismatch
1c496c7c2c60c03c5f1f1587a99edf854c7c6353 TlcPermuteFun Exists TypeMismatch
3a269d0eabab950bba3b9b378069a83c444cf943 TlcSortSeq Exists TypeMismatch
59aae2221d6c8cd6f89d1b8231dcf907ba5bba15 TlcSortSeq Exists TypeMismatch
a63e594d27319dc3463ee585054e03006addeed5 BagBagToSet Exists TypeMismatch
120cd821e0836a1a3a26eb455102269662e4fe41 BagBagToSet Exists TypeMismatch
2503d94c241392d5435b891b42d0a7ca7cd4ec71 BagSetToBag Exists TypeMismatch
bb06d5b912f8097dce3c295c7496032ce059f5f1 BagSetToBag Exists TypeMismatch
0d21b968876534a84e9d79e8489b9bed154dc5d0 BagEmptyBag Exists CanNotBeCase
ff274e0c5d3f150f03ce1f45feb6e50e59793d99 BagEmptyBag Exists CanNotBeCase
9b72be3ec9b49abe9c1975d517c546b52027dfe6 BagAddBag Exists TypeMismatch
33ff31fed4e189398a2c7d354d6067ebacd0cd14 BagAddBag Exists TypeMismatch
789024a8e8f3c1aa24e062ab7310871c395a7c5c BagBagSub Exists TypeMismatch
e3da4478fdfdbdc1ab8fd2856d05f81fd375ce8f BagBagSub Exists TypeMismatch
34a68085e17de8db3a065b635df74d23e8863d0e BagSubsetEqBag Exists TypeMismatch
134743d6338c4bbcd2ac1f89b36104374c5b3a9c BagSubsetEqBag Exists TypeMismatch
09bca129173255445c415d29521b78022a134254 BagBagUnion Exists TypeMismatch
6d1d4291904d2f17851ad114716ea7bde9856625 BagBagUnion Exists TypeMismatch
3e3699850362e3c2266a27c3d97e2e65dc188c86 BagBagCardinality Exists TypeMismatch
525da6e6e4928855a7f77d07d8c6f738428bff8b BagBagCardinality Exists TypeMismatch
ded736522a44fa035ac18acbcd63f99d099b2aba BagBagOfAll Exists TypeMismatch
31dfdd11eee18a05d6b73841845718e161f5eb5b BagBagOfAll Exists TypeMismatch
e5fa49601e6b0d29a7b83418c06a12292655e505 BagSubBag Exists TypeMismatch
730f93ec59ab299758484e3762902f90f64b4cb0 BagSubBag Exists TypeMismatch
a89c8d4d14f731dac34b15687560736111fea08e FiniteSetsIsFiniteSet Exists TypeMismatch
97027b1be7b563e00f2d7c679d2690721f7925af FiniteSetsIsFiniteSet Exists TypeMismatch
bc7bef071371ab558ee99f2bc4332956898b1c46 FiniteSetsCardinality Exists TypeMismatch
2783bca8f46de9825c60e74c5c5ada7f4cd17f3f FiniteSetsCardinality Exists TypeMismatch
8d933d386aa9f66909945c85115cfcf38b8a8798 SeqHead Exists TypeMismatch
29292ccc9efe11749426315541629d58f794eb5c SeqHead Exists TypeMismatch
d23242e297b48989f6e0ff509bde8ec9f015f1bd SeqTail Exists TypeMismatch
a45ae909525d085c9b049d431f52eeaa841b5140 SeqTail Exists TypeMismatch