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 Not

Id Case Feature Plug Feature Skip Reason
7c8b59c992161541566d1a86e425317780ea1b61 Not BoolSet TypeMismatch
a44fc5e282ac806f97ef5a1d999fdbd794b5c1ea Not BoolSet TypeMismatch
1ea1f356cbce1b2f32cdc91226f4f85938b1afa6 Not AndProp KindMismatch
6f21af435d7c2abad2b9eb8e148604dab14b67e4 Not AndProp KindMismatch
3c6cbf1764c391ea37e5c118b47b57d70fcfb432 Not Boxed KindMismatch
14eb6803e255d11aab2cd12a68d34c7cbda04910 Not Boxed KindMismatch
04751ee95f1759e2c079d4a217e13f292e82f982 Not SetEmpty TypeMismatch
f4a623d5c7844bbbeb5c473f88f9b6de7c9c8ade Not SetEmpty TypeMismatch
5623541766a12441b2f47eb5f2bc73bda616a2c7 Not Set0 TypeMismatch
115b5b66b0b2c917aa3df3d8031be462d838f699 Not Set0 TypeMismatch
3235c3eb5b8d2f5b36e14c9f96b664668bafdb2c Not Set1 TypeMismatch
25995132da9eb8170c16e97f85c5d97ff475f147 Not Set1 TypeMismatch
dacd26ed65bd5a93f7911edafe465743f227acf9 Not Set2 TypeMismatch
f7c4968f43362f5eb8b51814d56d7bd9ff58124f Not Set2 TypeMismatch
6c7242e4fe4d8fe78495bd7511b2333f1565a2dd Not Set1InDef AlreadyCombined
cd73fa0b589f84043e95c91ce4224ada86135417 Not Set1InDef AlreadyCombined
9473859136981dda02aa65b053f267dba45c05f8 Not Set2InDef AlreadyCombined
199acf4a6b80945ce4e1a8e7571ae61162d1b4b1 Not Set2InDef AlreadyCombined
a16a54853eacf223d633ec34551d413db06f3a5c Not InDef0 TypeMismatch
7761c82885b64ba1ec4d5cd1c0dd8b4323939d58 Not InDef0 TypeMismatch
3cd2afd8540b70bb73f1300c97583a250e37ad97 Not InDef1 TypeMismatch
790c71182803f79afcfcb0eeff745ec49181775d Not InDef1 TypeMismatch
8f0a9e3457d82a320784fcfcbf8860c5e0f41e12 Not InDef2 TypeMismatch
03065015d46dcb8d63364b78f1724dd8e4cf255f Not InDef2 TypeMismatch
b1d5b420e38cbbf55477cf4026023d7ac853bdff Not Fun TypeMismatch
5b8fd875a3d73fb3d75778cf611c1dce87710caa Not Fun TypeMismatch
b01dab1321e720b7907d73da8ffeb4cfe590d056 Not FunInDef AlreadyCombined
f26cab24a09fcac57f21fa39e788ab62a032d408 Not FunInDef AlreadyCombined
6ddb3c5d0cea2273fcae4c9eab0674cba4e8388d Not ExistsInDef AlreadyCombined
b461cc5112d0d36b0dc308519f4b27c86bef009e Not ExistsInDef AlreadyCombined
6ac9326113de68f6aee585f1f6b7a2cf98f85167 Not ForallInDef AlreadyCombined
7eebb9323d5e09f291a0af68abe689c917737b66 Not ForallInDef AlreadyCombined
7e7f62115e1725e882cbbb1e4e3b48a5eb44a55d Not ChooseInDef AlreadyCombined
fa2f34fe92c90e58f1ea1d19c592cb680d2541fb Not ChooseInDef AlreadyCombined
a0aed519baaa5c336d8f07d729fd584d308cea25 Not Record TypeMismatch
2eeecce21a3fc3110a8b4a8de0fdc51dc630ee8b Not Record TypeMismatch
ca50d2f19c232f60870e1cc807f033c93d0a4d03 Not Tuple TypeMismatch
b8f245fcc3f8b09d8cf6ae30a9dee1228d0940bf Not Tuple TypeMismatch
77ffeee2798d0c2b8cc04ff44c70c6c5ed76c333 Not TupleEmpty TypeMismatch
44d3a941f1eae7229d6316f35bc15e8d9cf385d3 Not TupleEmpty TypeMismatch
5f89440cded9238bf2c8d07c499fb0fa3319900d Not Except0 CanNotBePlug
a04086bb91d2a884d0af80519db42eea706d80ab Not Except0 CanNotBePlug
4763393b2b67c157bdd77104c594f04c5ae19c53 Not Except1Fun CanNotBePlug
73363f45fd655cb1f3556e5a0650bc2bad83f4b7 Not Except1Fun CanNotBePlug
73e80e3482ba9e3f721565d9c2f53651e36b1e05 Not Except1FunWithAt CanNotBePlug
ed4edbe3c95902cd74f59adba8f29003acb2e6aa Not Except1FunWithAt CanNotBePlug
c86d3808e5ad2ca0a2393093c8f29d0ad585c187 Not Except1Rec CanNotBePlug
ebaf8ffb4a886f42e85b4049dba0e2cc2c3f23ff Not Except1Rec CanNotBePlug
92ac3311f068b8f5177c84a386e8f0c8f3f7a838 Not Except1RecWithAt CanNotBePlug
4dbb29c0feabd0a2526c26cb80e5b5161c3428a0 Not Except1RecWithAt CanNotBePlug
f1556381329a57c22870336945170d6407020615 Not Except2Fun CanNotBePlug
7fede83bf6a5a63ef65b6a4a50d76a6547100f1f Not Except2Fun CanNotBePlug
c150d4e64541ec730277318287bf929540dd1ef6 Not Except2FunTuple CanNotBePlug
9e552a8eed553627e545a2c203ac0134eb0a59cf Not Except2FunTuple CanNotBePlug
a9cb37793f9260c8f2907dee35267f250952198c Not NumZero TypeMismatch
3890f09c6da1b44b8891c01f1171bd4e495f2a79 Not NumZero TypeMismatch
67d84f45546c7780737d696dfbc04de6e7c58ce3 Not NumOne TypeMismatch
50d6bbd3c503e9a7fb1956490ff66c2b6c99a29d Not NumOne TypeMismatch
8874e3ba760a43c93734bf3944ea9246050a0165 Not NumMaxInt TypeMismatch
bcddf671457643c44d9774ba028eaba000cf05fd Not NumMaxInt TypeMismatch
7bcf2c10babcd879cf78507e15211938962d87fb Not NumUnaryMinus TypeMismatch
d3ed5f23f563b9bacb8ebd58b2ef9b6dd6a78d2a Not NumUnaryMinus TypeMismatch
9fdd6b8540138824ba846f425ffb8d778f218acc Not NumPlus TypeMismatch
8e18923924d5e44239862a3e36ab0b4e69413103 Not NumPlus TypeMismatch
e88e4e4fe663024a44ebe293727aca959070b77b Not NumMinus TypeMismatch
077298432755ac8262c2c99f46863e581038d21a Not NumMinus TypeMismatch
ac2471af1a236d9c01cb99356d304dd56a37db17 Not NumMul TypeMismatch
4fa3ca324c2f00dfc4e3d4413fb5a6526d6d1a40 Not NumMul TypeMismatch
7a8d27342ff89d65974d2e9a93cd1e75452110eb Not NumDiv TypeMismatch
83fe75ac80621d48c6fe933446692b603a9caeae Not NumDiv TypeMismatch
c4a2e0ade572ef7e03e71298aefd532548f8daf5 Not NumMod TypeMismatch
d8e03415518ee14eeaac8c0671b5bf199bbdac0f Not NumMod TypeMismatch
18f09ba082a917c64857002288f38b7944523acf Not NumPow TypeMismatch
c4ad7c0a258f07e5a9dd51430f945d61d61185a8 Not NumPow TypeMismatch
902fa1e1555a61ff635dbbcd22ab7585d06b7fa8 Not DefFun TypeMismatch
b315e98125c52518c782ddddd58f54d55a7a1ac7 Not DefFun TypeMismatch
cb74bf7ae78f8d45b0c17fbb087de49267b82c93 Not LetDefFun TypeMismatch
106859976ace74987f3f732d3bdf2325d7075b0a Not LetDefFun TypeMismatch
ac9d9a423bb33e42c784baef7bf967dc976bc6fe Not DefFunRecursive TypeMismatch
7279240c6e6d01e1e7bd0f956599e335b3239670 Not DefFunRecursive TypeMismatch
f616a942d6b428833806529b67dca737af150ea0 Not LetDefFunRecursive TypeMismatch
db6f7f2e859d2b3259ed94077b95b673311c0222 Not LetDefFunRecursive TypeMismatch
aa386c3d23ee07c06b45ef87f95b09d0c84ff135 Not DefFunInDef AlreadyCombined
742bec80542abae0811b4371e6a0d90c32d6d33c Not DefFunInDef AlreadyCombined
a7c233a0f1ca2e112b7aaa581452ff51b0009349 Not LetDefFunInDef AlreadyCombined
21db5c0f0fe2200c1d66b54311cf04f72a00768a Not LetDefFunInDef AlreadyCombined
4994171788f0f2f0f021ebab862fe33751768dd3 Not VariableViewExclude VariableExcludedFromView
e6c9dec57cfcb8d42eff74b8b9ae32e07e6f576b Not VariableViewExclude VariableExcludedFromView
9afa1cb661c68dee388a9844fecf8d34bcb1fdb8 Not ConstantModelValue ModelValueCanNotBeUsed
68ebc7cb102669b5e08c3fc49a1903c0329e10fc Not ConstantModelValue ModelValueCanNotBeUsed
5e721617311baccc04a33fcc8c85150091d754dd Not Assume AssumeIsNotEmbeddable
f9db5772b4a59373bd497eb9e1356cad6cf49be7 Not Assume AssumeIsNotEmbeddable
c76f63d3b0bdee35fbdc8e89af44e505ee594c91 Not AssumeNamed AssumeIsNotEmbeddable
cb89c008cb6e0dec4d7eb04827f0190b8725c9ff Not AssumeNamed AssumeIsNotEmbeddable
23ab9f4b5e540a0b6c73c1bfe0b503f45f3d0fe0 Not Lambda TypeMismatch
f1532ad3ac96fc43b4da8eb750bb5bcf5331cdfa Not Lambda TypeMismatch
8fa62cb7c15559d08446d0485db5d82116c53555 Not Cross2 TypeMismatch
8e8ab5b440388a442cd659d5791fdc75ac73e92c Not Cross2 TypeMismatch
9ddfc455f48b251884cce5e8bd0e827f4d138b6e Not Cross3 TypeMismatch
e24dcb57cab72a1f9f1bdbaadcb3e437827c8abb Not Cross3 TypeMismatch
98268bc1172ca45c1ef034e2a3bb6e3a67e632d2 Not FunSet TypeMismatch
af4e9b6aa6f2f41fe98f693d868a53f5c73fa31f Not FunSet TypeMismatch
6c33742fa3a5e4eb24a9dcb95d25c2071a75d4f9 Not RecordSet TypeMismatch
0b195d67f8f240753163e78ad4398d97305eca5a Not RecordSet TypeMismatch
86f6ca1734246f4e40cda2e844f90b7f91428b55 Not SetDiff TypeMismatch
2dc9cca1538b73616dc8cf8e60ab65f421b6d193 Not SetDiff TypeMismatch
33674df44b79a91d62dbe83b49e379be74eb2908 Not SetUnion TypeMismatch
5a242b39e1b59398f716041fe015b580e9ab9b0a Not SetUnion TypeMismatch
7c5a5270aa6f5adfb6795444a42b3166c6e228ca Not SetIntersect TypeMismatch
b027c4c86751f607fbc31e0e131a6ef4db06f727 Not SetIntersect TypeMismatch
e439f37ed61c51853cb5767534118225c5437c27 Not Subset TypeMismatch
10757b57643d36e0a26fcb501077b4e0959c7261 Not Subset TypeMismatch
aff48b34dac75d1bcd540753b8be3b8b6fd65f33 Not Domain TypeMismatch
8ee24fdf764530d51385d235e2772701ce30aa55 Not Domain TypeMismatch
88646368dc7f8b5456ef3e6ad72204466f10a17c Not Union TypeMismatch
344852410846a408348a1c05ecbb8304120bf40a Not Union TypeMismatch
93f447ab71e0b0ebaae140d69c6abcbfb295d1bd Not StringEmpty TypeMismatch
f83f203ec33e2aac3d098aa0d10c7de96f5d80f4 Not StringEmpty TypeMismatch
ebeecb49b640a4adb658499387dcc8fc93d3923a Not String TypeMismatch
e13b69879969997aaf792a821671cad466f8d356 Not String TypeMismatch
3da85e45b49363df85862cbe1dfbde3d8d09db38 Not SeqLen TypeMismatch
2b0dacc5257460fcc53e36bbc8380773cbbc5349 Not SeqLen TypeMismatch
fdcfd2bd83ce361b7e0e4704a4e3be5df79ebe94 Not SeqConcat TypeMismatch
e72b0160377ba039245841a626060624b4b8fa77 Not SeqConcat TypeMismatch
6de4125d6a6bc0587e8a5dc5959c9cb33bbcbebd Not SeqSeq TypeMismatch
340f5ef6d7038ebc139a6db98c277d857ce618cb Not SeqSeq TypeMismatch
195be6b13f69724ce46032adbfa5d83214b473f8 Not NatSet TypeMismatch
ce74f4945a6da51842fd54274e23db66457f1e89 Not NatSet TypeMismatch
2704ca191a7582a22cf6dce71e8a1acc4fe8faf1 Not IntSet TypeMismatch
dc91c2c4db1540f8108c413350d0bb5420310ad8 Not IntSet TypeMismatch
d6756766c762a36993a38512f79d04f7279b31a1 Not StringSet TypeMismatch
b96d2c1ee2c2becab94dda6fbcbf5ee3cce54fef Not StringSet TypeMismatch
2295893f31d7baf1cf4c5b820af87563bef8e7b9 Not SeqSelectSeq TypeMismatch
87dbe464e3babe2830dd206c9357cd12cb6a9308 Not SeqSelectSeq TypeMismatch
059d52464725ec5834baedf6c8e7d66f919612db Not SeqSubSeq TypeMismatch
c32caf895f05befdbe22759b04a3f0a206622f2a Not SeqSubSeq TypeMismatch
b3f0bd06ef5b86e414220e17f6b5fa6350bf9189 Not NumRange TypeMismatch
ed9e1a0ce25dd09be119a3c1be6b2bed7890c530 Not NumRange TypeMismatch
b17e0dc93c21445870b9b354aeef411414ec12e6 Not TlcSingletonFun TypeMismatch
2ab3de633981e10d6f5b8c3d6d7c999eb994718c Not TlcSingletonFun TypeMismatch
3e91b653a4676831e388103af9830cedd5f9935e Not TlcExtendFun TypeMismatch
f1035f701dbb9d90ef9cc568091665b3e373c63b Not TlcExtendFun TypeMismatch
bc9d0a139a282ce1f3f52bf77cc96e531d0438a0 Not TlcPermuteFun TypeMismatch
d377dbf3efb5077e9fc3734624539c8de2a84f06 Not TlcPermuteFun TypeMismatch
4fd0b504439119f93b15edd674efd29acd12c834 Not TlcSortSeq TypeMismatch
7b7330a89c98721b450de0d570755943cb500213 Not TlcSortSeq TypeMismatch
32fceb0122bd40647a46d274209901986d45a322 Not BagBagToSet TypeMismatch
99875af10027c4f09023d8562aee229158ffbc58 Not BagBagToSet TypeMismatch
0367305643663fa57cbf56a3c7d4c9408557332b Not BagSetToBag TypeMismatch
ee39d18476a1cfdf768a5a0fa30e95b727ecd6c6 Not BagSetToBag TypeMismatch
c1377c40d14df5e9570377c345ab92f0d9dbedaf Not BagEmptyBag TypeMismatch
b62d26c49d327a7d122a265dc197f871d647301c Not BagEmptyBag TypeMismatch
b76ab4af4394c66ba2077f139d155e0c0ecba0eb Not BagAddBag TypeMismatch
47cf7121645ab5d432a1d77a84ea18e60cdacbd9 Not BagAddBag TypeMismatch
7e08e0dbf5dcb9d5b43510efe6ebbdfadb466f0d Not BagBagSub TypeMismatch
d52358c97401e0ac92b7d2e0355225564998964d Not BagBagSub TypeMismatch
61831946f471e5ade783b7cf1d7fb45e261b5b78 Not BagCopiesIn TypeMismatch
5c689ea9b90752cc0e9db803bbaa03af5510f5b2 Not BagCopiesIn TypeMismatch
1680da3868692256defd4bae824a84ffdd36fb6d Not BagBagUnion TypeMismatch
ef9b4e452e9c323491d8597dd20373e3ef3a2218 Not BagBagUnion TypeMismatch
e16dd975b3ff09af42ce521ae2702f67c7f6344a Not BagBagCardinality TypeMismatch
366686683877cceb600d38907cb88bdad052dff7 Not BagBagCardinality TypeMismatch
0eda30e04b951a5ac9fde6e3f764bd527a02a1f4 Not BagBagOfAll TypeMismatch
c20b7a4795e5d2e6b943df92b200c40cef2b1823 Not BagBagOfAll TypeMismatch
57465731c3165ad3d8c997835f03a26601f5bcb6 Not BagSubBag TypeMismatch
0afb628c8bc27ed36dc23e3eb7185c8bacdc34dd Not BagSubBag TypeMismatch
cce258dc5f79d1a628214a39658711e635e79f2a Not FiniteSetsCardinality TypeMismatch
e4c6ad7562886caee5b6576357806f265130e15a Not FiniteSetsCardinality TypeMismatch
2b220d6559708032278d90165a05322c08a66c78 Not SeqTail TypeMismatch
5759b11a73311822c3ebb21976bee65712ca9fe2 Not SeqTail TypeMismatch
49083bc404bac9fac69a4db219e544ab7dba3563 Not SeqAppend TypeMismatch
f87537384218ea8e2e89f4ce2a3960cd603ef767 Not SeqAppend TypeMismatch