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 SeqSubSeq

Id Case Feature Plug Feature Skip Reason
55d7989b16c886dfefec738d0487896194fe5ad2 OneLineComment SeqSubSeq CanNotBeCase
dbb506a2731c9de6de9b2f741f014a27d93a172f OneLineComment SeqSubSeq CanNotBeCase
5807c01a77ce01d9dd797424d5120d6e539bfece MultiLineComment SeqSubSeq CanNotBeCase
41e761f237c430ec1e36cb5d248cdae39f5ade4e MultiLineComment SeqSubSeq CanNotBeCase
f9a8e4ece6930a29d02774a6bff79e8c3076d4be BoolTrue SeqSubSeq TypeMismatch
a58461805fbadf4a64dea88aa9a58c359361b39c BoolTrue SeqSubSeq TypeMismatch
e0fca9c135f0065e1bb31bb63119fb3f139625c8 BoolFalse SeqSubSeq TypeMismatch
54c0d08d8bcab8883ea1656d507ce1175f6f50ad BoolFalse SeqSubSeq TypeMismatch
38da915b22ae426c03df94b5896c492a653aeea8 BoolSet SeqSubSeq CanNotBeCase
909c8e91a427013611244ef3a3a2b9d695727f5e BoolSet SeqSubSeq CanNotBeCase
6ddf92d2288a5fd3be07087ed0b01d6ada8914af And SeqSubSeq TypeMismatch
3a48890968a734f89b08faaaaf3f1bc1e8664814 And SeqSubSeq TypeMismatch
4b5e998f85ceaa00217e3719ffa788be07cb3d3c AndMultiLine SeqSubSeq TypeMismatch
caad50cf8c9ee44bc343243524275996ae581f14 AndMultiLine SeqSubSeq TypeMismatch
3760d80945f1b15752896e5f38d8c16ac4515e01 Imply SeqSubSeq TypeMismatch
7ce66e78d95e86260c6b07d8f7be4132cb9f881b Imply SeqSubSeq TypeMismatch
059d52464725ec5834baedf6c8e7d66f919612db Not SeqSubSeq TypeMismatch
c32caf895f05befdbe22759b04a3f0a206622f2a Not SeqSubSeq TypeMismatch
6797c17e5c02928fdf19795cc5a6d5843d957df2 Or SeqSubSeq TypeMismatch
ac50472ba29da71b0b06d3c713afd5e4a708d4ea Or SeqSubSeq TypeMismatch
e59757e823d8beb2a960888bbf4e5e941ffa45cd OrMultiLine SeqSubSeq TypeMismatch
cae6107a04df70374cd5e5a277cf9115e7c94078 OrMultiLine SeqSubSeq TypeMismatch
22e8a81af6f939c8da3c912b52baba6fa73e73a3 AndProp SeqSubSeq TypeMismatch
47ee528fb209dde9737cce38fa98b77c63695782 AndProp SeqSubSeq TypeMismatch
b716b7225cf51211b5a7a4ba704dd5cb56858364 Boxed SeqSubSeq TypeMismatch
82ed9dbcf7a323b88d56f287e4c2ae3ed75483e4 Boxed SeqSubSeq TypeMismatch
846684dbc4a2e6adbe842c057290158ba9ce600c SetEmpty SeqSubSeq CanNotBeCase
4eac27590734425023a19ff420ff61257db1967c SetEmpty SeqSubSeq CanNotBeCase
7223adcd9d81193293e17eb6e3d431d159010f7b Set1InDef SeqSubSeq TypeMismatch
0bc2ff4aa54a1b8ac7116a04a8006af450ae2979 Set1InDef SeqSubSeq TypeMismatch
2b87cfc2f309fb72b34f83b53cc9629fceabbede Set2InDef SeqSubSeq TypeMismatch
3b680d60bddafebf5d256e8dd682354d8022764c Set2InDef SeqSubSeq TypeMismatch
dde7a6e53e1ccf7fee5f1659994509cc1f02d179 InDef0 SeqSubSeq CanNotBeCase
1bc9d9d0e54483f600c036b30ab3641e3fa95a06 InDef0 SeqSubSeq CanNotBeCase
18a18eb97e5c175def20d0cee5cd032fe9d1ffaa InDef1 SeqSubSeq CanNotBeCase
e9af14b427b3096c18c9f2c200180c1d1f5d86fe InDef1 SeqSubSeq CanNotBeCase
0f80380aeb5bead538e4f9430e583a628662e644 InDef2 SeqSubSeq CanNotBeCase
65bf218d1f5835875ef3a21a0d25f56513ac1b62 InDef2 SeqSubSeq CanNotBeCase
77b2b716cea395662cb4ef991b43fcc5dfbd22c6 FunInDef SeqSubSeq TypeMismatch
e75a87f86f6193cca54486c3f581843fc6a58286 FunInDef SeqSubSeq TypeMismatch
45c173a742166c798bf8df6831c5f7bc14b46b3f Exists SeqSubSeq TypeMismatch
1a793ddab01c0b17f4a54737c10765376eda552d Exists SeqSubSeq TypeMismatch
f5060a44618eb4afb63a9eea0a3a980e46384eb5 Forall SeqSubSeq TypeMismatch
2a1fabfc9ec4029682b5ecf0fcd980974f307747 Forall SeqSubSeq TypeMismatch
0faa04321953ee5599656d6d05b89d521398e528 ExistsInDef SeqSubSeq TypeMismatch
eb133520c3f10a1e6cdc28a93bf45ef0573de040 ExistsInDef SeqSubSeq TypeMismatch
441c79a5b3ba17b51b12ce121bba028e7ff9f485 ForallInDef SeqSubSeq TypeMismatch
06c857f312a3f4b8d9c32426eade5505544c2591 ForallInDef SeqSubSeq TypeMismatch
3da56b7e7b748f047ac80fbab531be7218f832ed Choose SeqSubSeq TypeMismatch
51a68620a895a998cf4c890104d5d79824bdfd27 Choose SeqSubSeq TypeMismatch
f0d4b62433de9f2865d2e334185d7cf6833c5643 ChooseInDef SeqSubSeq TypeMismatch
5d353cd32897ffcae7226c32940d9de1097b8a3b ChooseInDef SeqSubSeq TypeMismatch
46d747fce6ae707ec62b128c3edd1cb7b65fd961 TupleEmpty SeqSubSeq CanNotBeCase
f54c344d117ba5fddab848d6fea36a6aa066c6f3 TupleEmpty SeqSubSeq CanNotBeCase
5bdef88ffe687d24824720dfb8467526ebcd2878 Except2FunTuple SeqSubSeq TypeMismatch
5bc096e0a25ada5f9cd143d4cdd8f002d64e7ef4 Except2FunTuple SeqSubSeq TypeMismatch
ca02040578234718d2c6f104a45e087791b1a116 NumZero SeqSubSeq TypeMismatch
7b9548ce1d8312511e01458f7bfda9c1f22933f4 NumZero SeqSubSeq TypeMismatch
8882393f26c00ac9f3ed4a4ec6efcac419770b11 NumOne SeqSubSeq TypeMismatch
790585f69b3bb8f84df18a436a7d86a33543892b NumOne SeqSubSeq TypeMismatch
05dffb2734c4fce35f696a2f62e65256958bc88e NumMaxInt SeqSubSeq TypeMismatch
79b2f13b582c40da9fa126778289e3f1ab274c17 NumMaxInt SeqSubSeq TypeMismatch
b5ed226d7dbeb74e668eecc2ecb96fb60bb15239 NumUnaryMinus SeqSubSeq TypeMismatch
fe5242de502a07a24a934212e029e69c4449b925 NumUnaryMinus SeqSubSeq TypeMismatch
e6a0adfda40fa9c70e7d3f1b7da8b966e9eb4fad NumPlus SeqSubSeq TypeMismatch
ce2b259588774d9e50ceb5f113acfdbf9fcd0179 NumPlus SeqSubSeq TypeMismatch
0a22cc5ed92ade8be79b65e2f56f00e46b580df4 NumMinus SeqSubSeq TypeMismatch
61c1e689ed724272f547552a4d09d95c4acaf5fd NumMinus SeqSubSeq TypeMismatch
7d96f2ddaadcefcdf22bf97e575bcf11113386da NumMul SeqSubSeq TypeMismatch
b1133046f8f949e2e65dc4b5b2a5feb701c316b6 NumMul SeqSubSeq TypeMismatch
b81f0ec858766b1057fb43cfa7c310c9a012cae2 NumDiv SeqSubSeq TypeMismatch
0452d1bf7a88fe24dc09fbf8fb35238dbfe1074f NumDiv SeqSubSeq TypeMismatch
56b1c7ebdf879ad86184c258393e5d7d35e0af8e NumMod SeqSubSeq TypeMismatch
c2cdf91f23d28af60259e9d8f0423a1013f0d5a7 NumMod SeqSubSeq TypeMismatch
ee6de040373641a695a6fc9caf2d3f5ea6794a03 NumPow SeqSubSeq TypeMismatch
d2cf5b3511c7c655f13535995912ff5d3cc7587b NumPow SeqSubSeq TypeMismatch
6e2ffeae85c5d194292939aa59fb307957af6a06 NumGt SeqSubSeq TypeMismatch
92d8254242c305877561b44416491e71df9314a0 NumGt SeqSubSeq TypeMismatch
3d0ab4c82a970c67e35c8a3ad8797e7322920241 NumGe SeqSubSeq TypeMismatch
b2166080ec2d3e108d5226db3089fb37c26ed8b4 NumGe SeqSubSeq TypeMismatch
7c140335f8ef47be7b476fc4da0bcb7a99c08128 NumLt SeqSubSeq TypeMismatch
91b5d55733c5f67979a72ff865e5e5751edcd81f NumLt SeqSubSeq TypeMismatch
23ebd18da06e7278ffa21188c13fb0f3f9a26b13 NumLe SeqSubSeq TypeMismatch
fd31db702e8b520fdf458114066c6eee937ddb47 NumLe SeqSubSeq TypeMismatch
4352cbe28be5c068fa0f3a5c1e8d0fbff792ba84 DefFunInDef SeqSubSeq TypeMismatch
38f2e6af0b4eac33b1465a877188a57c16082a74 DefFunInDef SeqSubSeq TypeMismatch
501c7537ebaecfbbe8d5835a12560020aee433ff LetDefFunInDef SeqSubSeq TypeMismatch
0231089cbe12ce0b1375ad4bac7d333eb2f1d0f8 LetDefFunInDef SeqSubSeq TypeMismatch
02777e3f45c7dafbde3c7119b035ccf66b839b5f ConstantModelValue SeqSubSeq CanNotBeCase
71ad6e13061d32e2384298ec76d0849cc86fb9ca ConstantModelValue SeqSubSeq CanNotBeCase
d18d50c602215e2fbbf7f0d4638dc51cdc067a4a Enabled SeqSubSeq TypeMismatch
dbb0cfba40853c418ae944e0c5508554eef0e86e Enabled SeqSubSeq TypeMismatch
b26c695fc131f9f27a60f9d9be8a69c7256e2d0e Assume SeqSubSeq TypeMismatch
e269ffacda898d20d20127b1fee49bd6df817885 Assume SeqSubSeq TypeMismatch
eeddc7db3cb9b91bbaf97293c7ce5490d19f9296 AssumeNamed SeqSubSeq TypeMismatch
d5fa6b450383b6f584b57b842b880cbf74cd5096 AssumeNamed SeqSubSeq TypeMismatch
99b28df3a214fb9e9189c9472905039d6daf6b1d Cross2 SeqSubSeq TypeMismatch
1c193f39e61b431d0c5563c3f403d56bcd52d490 Cross2 SeqSubSeq TypeMismatch
fc46ca92401619c7938376729ea3f09d610782a8 Cross3 SeqSubSeq TypeMismatch
3946b8e4e4ac4d8c8dd55b515e1819313ae852bb Cross3 SeqSubSeq TypeMismatch
9afad34b5b517c5f9e94ef369605e24be325284e FunSet SeqSubSeq TypeMismatch
d439278cb721a68d40f8c2fbbf8aa433bd1befb6 FunSet SeqSubSeq TypeMismatch
8ce466a3fc6eb6e11f6af26a6be18d01909bf74f RecordSet SeqSubSeq TypeMismatch
8ddc0b32cfea7ad5af0304936e359bd7ef2c6ead RecordSet SeqSubSeq TypeMismatch
95b12701d0a3b1bed917887aff00821590ce365c SetDiff SeqSubSeq TypeMismatch
01db31b32156ecaefcb22a02a51db471af203297 SetDiff SeqSubSeq TypeMismatch
b0d385898a4bfdb9960c87ca569ff6d104e24c58 SetUnion SeqSubSeq TypeMismatch
91f2d20ce1bdf32870f40626aaf430608fdc0854 SetUnion SeqSubSeq TypeMismatch
a27091b89b5a987b1c767c0c29d3bbf4ecc1bbd6 SetIntersect SeqSubSeq TypeMismatch
e7ebfb811f7c1235d8eeea2a8d1b4fbb4b2ea53e SetIntersect SeqSubSeq TypeMismatch
6527519cb3d6c7e62f47d0f3056467360159d186 SubsetEq SeqSubSeq TypeMismatch
b0cc4f89c7fc15089f28844ece31d5f32a9bda4e SubsetEq SeqSubSeq TypeMismatch
2b493bddb61dce94134ba8a632e0ff138a3337ba IfCond SeqSubSeq TypeMismatch
44812d5a1480022c7d7a8228b7e211f35d67cca6 IfCond SeqSubSeq TypeMismatch
d9c5764e79df5ff1c1abfc8b3741096224cb6ad7 Subset SeqSubSeq TypeMismatch
f67cbb9a295ab86cc309f64c7a39e654c374adf9 Subset SeqSubSeq TypeMismatch
ac060b0603c4f2ee4ace32044e7a5d5587eec949 Domain SeqSubSeq TypeMismatch
9a53a0681afaf26209031b31a08aaa39bc96bfe1 Domain SeqSubSeq TypeMismatch
c8992e30c91013cb7c5cc6cd08f6650e79671cf9 Union SeqSubSeq TypeMismatch
50b43eca053b1173c557dc6e7d227f76bc495b1d Union SeqSubSeq TypeMismatch
a1b19268b5faf160d2088f51cfb2b13fbd87b070 Equivalence SeqSubSeq TypeMismatch
39c75871823a44492f6fddcf60d77e553f4cca99 Equivalence SeqSubSeq TypeMismatch
1f85daf9b10b5c5c1b77eb39edf4296e1aec110f StringEmpty SeqSubSeq TypeMismatch
5209c4ac291f1b7bc9b99531348502cf02995007 StringEmpty SeqSubSeq TypeMismatch
ec6ce3805c6337517b11a6405789de593a4f3f0d String SeqSubSeq TypeMismatch
718b1eb29381e92c40ba3c0f27d6e447329a077a String SeqSubSeq TypeMismatch
80374a97291171985732352ef5a5806745a0d474 SeqSeq SeqSubSeq TypeMismatch
52e77452a81ccb3e824dc5d7cfff7936b48ca50c SeqSeq SeqSubSeq TypeMismatch
28c72ea3af80af0ececa2d5c2a1ef8c721a09bde NatSet SeqSubSeq CanNotBeCase
2f773bc7b94a26e9ccf00fb33f9d2ab67caf2d7f NatSet SeqSubSeq CanNotBeCase
7adde12f7ebc569047f57ff007c99b9abcc5683d IntSet SeqSubSeq CanNotBeCase
265a23f3e90b114071211ac00533eaaa15e78226 IntSet SeqSubSeq CanNotBeCase
7758fd33b95d8016bd4827bc426a94e409bbc209 StringSet SeqSubSeq CanNotBeCase
77e4791c93d5693891a9bca611e443aa675fd3e9 StringSet SeqSubSeq CanNotBeCase
86f48eb7a1b2429ef40e771b0584c9f87dd7e64c NumRange SeqSubSeq TypeMismatch
7541c8bd667b77d72021ddb437b6c25b48b2f0be NumRange SeqSubSeq TypeMismatch
b0d12ae1f7a6eb0423e8c705e1add75d3cb0b96d TlcExtendFun SeqSubSeq TypeMismatch
7f7ec7a62374e5403b110f7e1d5e58a7738413f9 TlcExtendFun SeqSubSeq TypeMismatch
885104c6037b0b1aeb996cee0819dcc7daadd9a4 TlcPermuteFun SeqSubSeq TypeMismatch
7fe20017ad42fb12114d093c6866145bc9ecf525 TlcPermuteFun SeqSubSeq TypeMismatch
96ce5eb46de7b8ee2dcb2a45181f000d7e276069 BagBagToSet SeqSubSeq TypeMismatch
822c0b56bf0067b710252c5e25bf7d44a64e0c43 BagBagToSet SeqSubSeq TypeMismatch
dca083978b938276fe1f1602e042ed49a62973d4 BagSetToBag SeqSubSeq TypeMismatch
88e3e05fb2adbe663209947446866d3adfafb944 BagSetToBag SeqSubSeq TypeMismatch
7e81f0087dc0b951074ae41cae7c94e2e860f591 BagEmptyBag SeqSubSeq CanNotBeCase
dff25195cdd77a5094439f6426ed0adb4e8d0aa0 BagEmptyBag SeqSubSeq CanNotBeCase
3a0120fe51ab4cc13a5915f5549da07ccb23b3f0 BagAddBag SeqSubSeq TypeMismatch
44578a34d372521d9e11ef32511f576e55d33953 BagAddBag SeqSubSeq TypeMismatch
d2f8607f6c6995fb79a37511e0387a742bfd27a4 BagBagSub SeqSubSeq TypeMismatch
af52cce5db2e9fac258ae8ca0924da930a0c8a86 BagBagSub SeqSubSeq TypeMismatch
ded205032a76861a2c62fb6cdf066a0a790486cf BagSubsetEqBag SeqSubSeq TypeMismatch
46a482ed63ace18a61757406cb592d9b8c37c34b BagSubsetEqBag SeqSubSeq TypeMismatch
97131b1dcff122b720427f2efc2df99ec934611c BagBagUnion SeqSubSeq TypeMismatch
ebe81ebac12fa4702430c0e982ac99f2eb5541c4 BagBagUnion SeqSubSeq TypeMismatch
2a8692bb703aba79823125b1f26b7248f6de364e BagBagCardinality SeqSubSeq TypeMismatch
1b681785982a26d679a646dbf2924924b2adbe7f BagBagCardinality SeqSubSeq TypeMismatch
a60871502a360c0a8efb2b838331f0ea5a956e6a BagBagOfAll SeqSubSeq TypeMismatch
581c7283733eee8b97876a806b90f5c394d5b186 BagBagOfAll SeqSubSeq TypeMismatch
da13afe66cf59a8a5a57ca9ff882be6a84324080 BagSubBag SeqSubSeq TypeMismatch
3de5f399b088c2f2cc22f5bfc4eec1cafa2e00af BagSubBag SeqSubSeq TypeMismatch
d7ac8cb33567bac9dd9e6e5124e1122bb0758df8 FiniteSetsIsFiniteSet SeqSubSeq TypeMismatch
148b397d1cea5f946a523e65edea1db2fc33c2e0 FiniteSetsIsFiniteSet SeqSubSeq TypeMismatch
b7b5714691ea7d5fa41515edda7f319a6f6e5a1b FiniteSetsCardinality SeqSubSeq TypeMismatch
7c0e743738c1bc8b854eeeaa4cf1ded9d37a6a9e FiniteSetsCardinality SeqSubSeq TypeMismatch