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 NumDiv

Id Case Feature Plug Feature Skip Reason
94f787d9ddcd23da8290833ff772051cea781b03 OneLineComment NumDiv CanNotBeCase
f95653c2698f6559db383bcceda03bec5eb02ee0 OneLineComment NumDiv CanNotBeCase
458d04e860b72e53270fdfef1e15463fa2cf2ace MultiLineComment NumDiv CanNotBeCase
f77a6275cda5bf8a64d67dac05e4a66974cbb67a MultiLineComment NumDiv CanNotBeCase
d26060ff78cd0cad1fd3e04fb69825005fa28968 BoolTrue NumDiv TypeMismatch
48f766f2f84aada3f271684ff833ad09d8c1fa5b BoolTrue NumDiv TypeMismatch
214fde7338f22b639d499495be3ee27aa0f0f3b4 BoolFalse NumDiv TypeMismatch
494ab41ec91a9b50375fd7c832b48809d94fbdcc BoolFalse NumDiv TypeMismatch
f4e40d43825ce369da433f814fdc75e9500ff3ed BoolSet NumDiv CanNotBeCase
6a50b461da03ab844283560359b3309aec3ce53c BoolSet NumDiv CanNotBeCase
57c3fe2d30adacbf66bc23c36864f253ff356c7b And NumDiv TypeMismatch
9cac9548cedab41f3078b91c984922d087d60559 And NumDiv TypeMismatch
0891f1d9e99b0898ac8914b289cf39c40109bb4a AndMultiLine NumDiv TypeMismatch
116f695af679b4081ffc80e9fbcdf0a0554f1975 AndMultiLine NumDiv TypeMismatch
2046cd9a6eb51d08c1a43e0d38130b1623526095 Imply NumDiv TypeMismatch
295482a7ccbcae2ab71f9fab2562a339f55235d0 Imply NumDiv TypeMismatch
7a8d27342ff89d65974d2e9a93cd1e75452110eb Not NumDiv TypeMismatch
83fe75ac80621d48c6fe933446692b603a9caeae Not NumDiv TypeMismatch
b4aeb6356380fa2e47c4ef3e42ab819a3cb68de8 Or NumDiv TypeMismatch
3d4c60fff1cf8080da873ff75125195465110a4a Or NumDiv TypeMismatch
2aa1f09ba33ecadcdac35e2e5fe51dee80cf3ff8 OrMultiLine NumDiv TypeMismatch
a98b589b11df24a5cee06f6558cb1a7bfaac1dcf OrMultiLine NumDiv TypeMismatch
054cfd26376dd0a7e734c063e3e9fb34da89108b AndProp NumDiv TypeMismatch
5e1c4486a89109e446875e7ed0d2b3f8657a1cb8 AndProp NumDiv TypeMismatch
bad1ad3ebcb32b941d038f62544c4b186c65bc31 Boxed NumDiv TypeMismatch
86394ba476f61f627ea4f7d241531c3dce008e9e Boxed NumDiv TypeMismatch
9d81502d0671e8234e695ee7749d5b76b4bb7ebd SetEmpty NumDiv CanNotBeCase
72396dde1258454de981d9783f6d938f6a914c59 SetEmpty NumDiv CanNotBeCase
c3488a08baf2f5a2eb4a05d563931d2b3e63b9ce Set1InDef NumDiv TypeMismatch
2fc59ee8018dc551f80f096034a9b0e573dcf553 Set1InDef NumDiv TypeMismatch
3ff8392531efe81417ac7842635bd4257d79013d Set2InDef NumDiv TypeMismatch
d033e19ae0a40e4aad8a48747c416283186d609e Set2InDef NumDiv TypeMismatch
cc891f8449dd0303abb7d332d9c355aaed3ee477 InDef0 NumDiv CanNotBeCase
cf15f61e583dc9be6d1e88f1b324bae814be3c10 InDef0 NumDiv CanNotBeCase
047a74ae2045bb5a8f9376bd4620c55a9751b617 InDef1 NumDiv CanNotBeCase
4357a778b861ceb09e0317537ae3667c289b9310 InDef1 NumDiv CanNotBeCase
4117072e2a1379fc90ad5d209b7e9e633fb1f620 InDef2 NumDiv CanNotBeCase
1bb96e81ef7a20a27f5afa669a7a4f1c518c7109 InDef2 NumDiv CanNotBeCase
73a27286c51422e7c19099f859365df7b4bad35c FunInDef NumDiv TypeMismatch
dbdc9c1d78fb0b723676745461e7ae7355ef10f4 FunInDef NumDiv TypeMismatch
3af697d4823d8c6b562df5f09a7fc5e8cb411db9 Exists NumDiv TypeMismatch
6b261a937789264eb602d07c6e574b55e015af7e Exists NumDiv TypeMismatch
15d70fc4c8cf704b494239e914c80d43ace3227f Forall NumDiv TypeMismatch
a2e36ca524a02795e31e9da077a43a9c915b94a1 Forall NumDiv TypeMismatch
19e512120098757a95943187a1cb080be5deaede ExistsInDef NumDiv TypeMismatch
c66c62ebe83fc41b8792ba66edd62a96222bddff ExistsInDef NumDiv TypeMismatch
ed576c04458a800794c68671038c6d4a458d1951 ForallInDef NumDiv TypeMismatch
b3a3b4a6bca86e6068eba9da246d56c044ae94a3 ForallInDef NumDiv TypeMismatch
48d8c9adbed49eacb43e57ff15a727f427b930b2 Choose NumDiv TypeMismatch
80853023139431883dad2eb6ad2291f5389a2c9c Choose NumDiv TypeMismatch
0f8d9f84d8fc596c15a2547b927f5f6bc27db44e ChooseInDef NumDiv TypeMismatch
05a3d4b0f22f63c6eb0326366b6c0feaa896acbb ChooseInDef NumDiv TypeMismatch
a2b1b132f24e57ba8348e3527cd5b12ad2f61290 TupleEmpty NumDiv CanNotBeCase
f41f1fbfd5b7c3e72a2ff60440e3fc8f60a9ecec TupleEmpty NumDiv CanNotBeCase
2666d96d8c9dbf7fa07d5e5ec9ead52953adbfaa Except0 NumDiv TypeMismatch
ff2d669b0d8b06410258a926aecce0ca35106e5c Except0 NumDiv TypeMismatch
e3ba3d48c170eda5ba9cb09ee32963b82a27f557 Except2FunTuple NumDiv TypeMismatch
af3912b6d0c28d1f2e489272a8318939ee5fbf00 Except2FunTuple NumDiv TypeMismatch
80fc33fe25ba637ec65a07733e6274d64331c0d1 NumZero NumDiv CanNotBeCase
fad05622d99303be162638d7d014d9f08d3754fe NumZero NumDiv CanNotBeCase
0670ee7b18caa4ccc742b72f91a73628a7ea6f42 NumOne NumDiv CanNotBeCase
a45457dcd0d9c7ef86359c3c4439f01702580360 NumOne NumDiv CanNotBeCase
ec6e08b9caa24cbc3a4f7f1bfd5531290e68a3ad NumMaxInt NumDiv CanNotBeCase
96c0a3d42d9aaaf6a3f84438ae36fbc81029b4d3 NumMaxInt NumDiv CanNotBeCase
5932c145a75370e2cbb1d50c7f2a8a8a842c315f DefFunInDef NumDiv TypeMismatch
9f03dc4362da5c6e09ebbf6ab811cd03982bb4f8 DefFunInDef NumDiv TypeMismatch
76d0a46e46f25465921eeb690a3cec3346a580aa LetDefFunInDef NumDiv TypeMismatch
63785b28adea48486b99b675cde3bae12f887797 LetDefFunInDef NumDiv TypeMismatch
8e617a4e48a11d926470891f01fa1ac08c0c0e42 ConstantModelValue NumDiv CanNotBeCase
d2088e704c7bf95c969396b37f30a3203bd8e7e6 ConstantModelValue NumDiv CanNotBeCase
6f48f58974063d803d4e8f6ad8af6ff1d7bfd572 Enabled NumDiv TypeMismatch
47acbb4f96d609356a8f79f6371b2fe152eed2a1 Enabled NumDiv TypeMismatch
88267a0e3e00a577d2166732b1770db2c91cb115 Assume NumDiv TypeMismatch
3a515b1b538c2b04191547e099db502f41315abe Assume NumDiv TypeMismatch
821fb0f83f1f62e28354187dd8e6784c75906b1a AssumeNamed NumDiv TypeMismatch
52a5a6cc8846e8db81130b7bf5208ac9970f9261 AssumeNamed NumDiv TypeMismatch
baa786701ece1061312d9f13f268dca746efe031 Cross2 NumDiv TypeMismatch
d3d6236db9e804a994e63f1960644b2e4abc5055 Cross2 NumDiv TypeMismatch
6e95b748bd9201e8f8d239bc3133350eb0fc6bdc Cross3 NumDiv TypeMismatch
9420c39cf2c09ac658d0bbafda3ecfc368247f15 Cross3 NumDiv TypeMismatch
529250e494a361cdb2ef78e847f2066973f3689a FunSet NumDiv TypeMismatch
be6d57c65d67801c7b56d2f930ccef744e44aba9 FunSet NumDiv TypeMismatch
cd482bc9275823aae27028e2feff4611223e2894 RecordSet NumDiv TypeMismatch
7505539e1f1dcdd502098dc63b91d2188a7ede8c RecordSet NumDiv TypeMismatch
cae83f422244de6c8b6d608100a5699b25b376b9 SetDiff NumDiv TypeMismatch
539ba2498c4b937ffaa2e71c8bca69b95d1ff482 SetDiff NumDiv TypeMismatch
9400943f215ea663b0cec94b2a80c330707061d9 SetUnion NumDiv TypeMismatch
a830f8f8e43f0083fbbe12999123990d13b42b5d SetUnion NumDiv TypeMismatch
6468af05369670da65af29e4704284ca1e22ba94 SetIntersect NumDiv TypeMismatch
8f98f95d3a4eb753f1212ee86108bdea12e59f7e SetIntersect NumDiv TypeMismatch
8a7244301db6ec682efe5ade5e077d2bc3a2805d SubsetEq NumDiv TypeMismatch
f3a560a336794e89132a0f252eb353e2422b7299 SubsetEq NumDiv TypeMismatch
9b48d41614079f1ceb41918e820768af009d02f0 IfCond NumDiv TypeMismatch
fe1e81f17fe6e9a90754edf0fb7bff181f96e5b2 IfCond NumDiv TypeMismatch
62a6bd2a91acc8fd2ed9fd2e7add43b1688f3805 Subset NumDiv TypeMismatch
1cc314c9c85ebe64ff74bce6fe717d6a315abfdf Subset NumDiv TypeMismatch
fbc01fa029b323eebd36d0d681a9a9f0e9bc5162 Domain NumDiv TypeMismatch
ff9e63b1c6d5c8861ab3b53528b6fb1aff019dcc Domain NumDiv TypeMismatch
b2232f0efe2aa6ac42404e838a2b7d77ca0519cd Union NumDiv TypeMismatch
08597ac9b67bf37222660f6ff95a08747413582c Union NumDiv TypeMismatch
2510e89e033368a27adcda800cb869860b672fd9 Equivalence NumDiv TypeMismatch
c1af471c001717f88ebf7d783fa80188a32ecd74 Equivalence NumDiv TypeMismatch
d83e235bcedcc6a56e905f1b654f42854f1768dc StringEmpty NumDiv TypeMismatch
1190c79e32cb3fd0df0176be266b98568bd07497 StringEmpty NumDiv TypeMismatch
fcd03be3207c8c4564eb5c897ba0b28dc0c80759 String NumDiv TypeMismatch
728e9bc2bc425509482fdc6621280beedf906cbe String NumDiv TypeMismatch
75f86a6d281ad113bfbbcee967905afb79fe7d96 SeqLen NumDiv TypeMismatch
c5e848662cd234017a1cfb390254d5f91de5e630 SeqLen NumDiv TypeMismatch
b4301b0bb5c3cde513d9ea82795fa56fd7e9caac SeqConcat NumDiv TypeMismatch
deeb5278110dcea7663a4da1d7f95c32c7bd24bf SeqConcat NumDiv TypeMismatch
37a796dac04afba01811d44e0c522d045d322640 SeqSeq NumDiv TypeMismatch
c24bb333099c3550ff3ea77212a690c6517f5763 SeqSeq NumDiv TypeMismatch
f2c0f52a642e23ce1020fcdb65b4703a4830d364 NatSet NumDiv CanNotBeCase
e38b4399afde16a44d51247c33aa44b55e29f3c3 NatSet NumDiv CanNotBeCase
1220cdfc78d2374a9a2ecc92c3f96f5e2ca9def4 IntSet NumDiv CanNotBeCase
43cd5d356e29e62bd74d32b7ebaf1da69ed5e186 IntSet NumDiv CanNotBeCase
3d7ca6cbd4739519bacd56d6d83ec9160b136c03 StringSet NumDiv CanNotBeCase
607cd6c7506f7dda6975981ca799e3eab7753f22 StringSet NumDiv CanNotBeCase
9accc16e1cb17d9943eb7aa838aa001eff9e1680 SeqSelectSeq NumDiv TypeMismatch
26ec7aac37fb38fb81ad4235d1572f147e3fbcc2 SeqSelectSeq NumDiv TypeMismatch
d7b4d27beab9cbfecd49c6538f810f5f3c76f68a TlcExtendFun NumDiv TypeMismatch
848e7f517a85f48a0d347f3709a03eaaf7eb9a32 TlcExtendFun NumDiv TypeMismatch
7f4c21df2dd4657df8266ab75ecd3774c53f421f TlcPermuteFun NumDiv TypeMismatch
d69d5281bb41149fa9d29f47e241398bc36372e5 TlcPermuteFun NumDiv TypeMismatch
717ae7bb799cc01b55cc083fc48cda58c1a59e57 TlcSortSeq NumDiv TypeMismatch
f6afcbaeb351e4f2f86738645dd19f6497f1bc9a TlcSortSeq NumDiv TypeMismatch
0a3a768650d1d73f4291ca4709e2a715f0c7b0f8 BagBagToSet NumDiv TypeMismatch
acb1271b552696e0d7846e8f590fe24f9ee61978 BagBagToSet NumDiv TypeMismatch
efba2d37fc9a1f2f4a733b1d8a9638d9ae9d6600 BagSetToBag NumDiv TypeMismatch
ec2722c35c41dbdc006fa76d01edbd5d063cd2d3 BagSetToBag NumDiv TypeMismatch
d65dabd3f12b038ff7f75dcab6f961cd10d7ee48 BagEmptyBag NumDiv CanNotBeCase
d84999f45188fc3f012f6c2efd9983302c7631f9 BagEmptyBag NumDiv CanNotBeCase
0b627f6b12fd3309a083cfbfd7339b3331cd3e18 BagAddBag NumDiv TypeMismatch
0aaa873a5c1b1a00a0825a910999c265c0e8ff36 BagAddBag NumDiv TypeMismatch
c7ccd92d167fdb2b5dd3efd76ac5208c596d7d22 BagBagSub NumDiv TypeMismatch
e32c5912a3972bb2f029ba5e7b780e00735523de BagBagSub NumDiv TypeMismatch
27ee86c27c70e52e026d6ca2e1517ece1c5772cc BagSubsetEqBag NumDiv TypeMismatch
c868c6ffc3833d58c47ec568455c6b39e91c98cf BagSubsetEqBag NumDiv TypeMismatch
f40d1afbe896e45b851f0b3b6628ffa8777bdfde BagBagUnion NumDiv TypeMismatch
cddc9fe71c85c45627c8e770037b464d7cefe42e BagBagUnion NumDiv TypeMismatch
1432362a1650f7db8f816537662b25ca25a4f1a4 BagBagCardinality NumDiv TypeMismatch
ee27f73b662371a78005b8c0cd9c35062607c337 BagBagCardinality NumDiv TypeMismatch
5fc238d76a1fdeb8608c59ded60f3e035d70c137 BagBagOfAll NumDiv TypeMismatch
16f055cc8f0bd1b6247bd61f0c04528b2208f74a BagBagOfAll NumDiv TypeMismatch
f01f0b1e3fbb214c69313aa532a84d82784d9e3c BagSubBag NumDiv TypeMismatch
4a8638d8c476fbe549b3e79662ef6c929cb260d7 BagSubBag NumDiv TypeMismatch
893af8219de55c0df18aa63fd822e626f1386718 FiniteSetsIsFiniteSet NumDiv TypeMismatch
235de3e1e6720baf2ae144ec2c3454a460645424 FiniteSetsIsFiniteSet NumDiv TypeMismatch
ca08344fe16bebb2adf175fbeaff15e52a4cc3da FiniteSetsCardinality NumDiv TypeMismatch
71c4353688709c4e413f2f355d9ae90365ea1ac6 FiniteSetsCardinality NumDiv TypeMismatch
f1c03f841a1b6d3b2f0fece31124cfb24e55858e SeqHead NumDiv TypeMismatch
8e8e610dfb6c2e8e5ff7ec6e0fdd5148ec37eec4 SeqHead NumDiv TypeMismatch
784a82fe40ec62232f823e1f755be0ff10bdd69a SeqTail NumDiv TypeMismatch
6a51b4fc4e00e9d0adf769ea58cce8eb19c82a20 SeqTail NumDiv TypeMismatch