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 IfCond

Id Case Feature Plug Feature Skip Reason
c54fe2f19738ac10fc66b55f8035a1124a6b70b4 IfCond BoolSet TypeMismatch
246b8224a6a4a643cb281f492a64e54a4086d601 IfCond BoolSet TypeMismatch
49cd003e1b9570882077df5467c751f4ef1a99e2 IfCond AndProp KindMismatch
90c32f2da16227e87a1e380ee9352bb832fee3b5 IfCond AndProp KindMismatch
9d674b29408e92cc05129cdafb57aba3eb3ecee5 IfCond Boxed KindMismatch
373ed05ef3d49daa28da44f9bd77252cac4f4e8e IfCond Boxed KindMismatch
8974f20c429dc81763a6c3ca93d81884e9724a1a IfCond SetEmpty TypeMismatch
93113daf81619c872fd2ec54c749fac991627be8 IfCond SetEmpty TypeMismatch
79c9560e7661aebe26c77c9d155fe68a1074d8fb IfCond Set0 TypeMismatch
57c9040cf7ddcda2f46a934e3115d664d64ef797 IfCond Set0 TypeMismatch
04d73b7c062cb2f41661ea8b63e1bb889cd866ed IfCond Set1 TypeMismatch
ae55b61c4bce7a07c154bef23baef5d7279f7608 IfCond Set1 TypeMismatch
70a1332141d0835c15fb77c818a2cc86f3021ce7 IfCond Set2 TypeMismatch
98de0e60cd2beaec17a28a94be8ac4e09ffef010 IfCond Set2 TypeMismatch
e45679a35724d50934d4bfd07ad0ebe2666094e0 IfCond Set1InDef AlreadyCombined
a5a6b5170a8e042c500951657e6f11d217ed545d IfCond Set1InDef AlreadyCombined
d4b053bdd258c45ed84dbd5894c59492abbb11d2 IfCond Set2InDef AlreadyCombined
d9399a404dc5cd6f0671f9b7076b490afc86aaee IfCond Set2InDef AlreadyCombined
3ae60d4add3dfde610f5902252be849c9a215b1d IfCond InDef0 TypeMismatch
a1ab429323a34b5402060cc8f5b9b38c6619acd0 IfCond InDef0 TypeMismatch
7fefc54c5bfe191f03c9b284e46668ee2b2a0f43 IfCond InDef1 TypeMismatch
2b636120d7f16c13ec676b5e55ab833b85de87e8 IfCond InDef1 TypeMismatch
77db3c289e377c95556c425c4d5ef6d35c54fab5 IfCond InDef2 TypeMismatch
71441bf92d9a67857f54046f2a0db01ef5379eab IfCond InDef2 TypeMismatch
494865a0882d1dd4f5fa236e605c789e9a853d68 IfCond Fun TypeMismatch
badb3df34b589e12e0bc88f1d6fd0081be4cc54a IfCond Fun TypeMismatch
a118a39890e65e53a73ed4994fc8da5eccd49146 IfCond FunInDef AlreadyCombined
1f8bbb74b04e9597726773a07f4ff892625d59fe IfCond FunInDef AlreadyCombined
f661a2ca45c84393b984566879e08d193a2fe6c2 IfCond ExistsInDef AlreadyCombined
8ab2bc86a59471ad3dcf78f5591e38dc6c47e419 IfCond ExistsInDef AlreadyCombined
549339f52d49dc80279a14ad98bc83568cd98099 IfCond ForallInDef AlreadyCombined
08ce1099abc74e83bb82cef0639ed74dcfe2c61a IfCond ForallInDef AlreadyCombined
a96d231699e481e8c25c0e7c55cdb2ef1e84cc82 IfCond ChooseInDef AlreadyCombined
b6cbf859cfe3ebf4ca12d54771af03a3eb3c7b48 IfCond ChooseInDef AlreadyCombined
9c2d80aad0316f7be2000675e3d287be24982738 IfCond Record TypeMismatch
f3f8b4a5ac10308ff16b42d847a12a383d250b45 IfCond Record TypeMismatch
caa82872e3d1fdb49c67d3b5cc5b839f3c09ca5c IfCond Tuple TypeMismatch
686359e998c65d773aa9b851eba428b184227c82 IfCond Tuple TypeMismatch
3f73bcc48fd721fe899c260d96c9cd7eb8a4ccd6 IfCond TupleEmpty TypeMismatch
c25f0887c3a5dbb28f85513739c974245063fdf6 IfCond TupleEmpty TypeMismatch
3f1039066dcac35c537588659609958bd68a7eeb IfCond Except0 CanNotBePlug
98eb83124dba324ae7db111a757749c5f7a63c51 IfCond Except0 CanNotBePlug
94e8b004bebf969c93f5faedc318eb464652e6cb IfCond Except1Fun CanNotBePlug
504801b632f248c7cf55d18fb1f4484ec91770f3 IfCond Except1Fun CanNotBePlug
000da5152de0eb81ab5f99bbd465f1754b7bcea7 IfCond Except1FunWithAt CanNotBePlug
03865c05d32f8f1f294b26d6a53d1cc4dca566e1 IfCond Except1FunWithAt CanNotBePlug
f7d170e05b3ae9a34fbc54b08260bb1202265193 IfCond Except1Rec CanNotBePlug
ef7c848573315e19c79a4b682872d0685cadd2df IfCond Except1Rec CanNotBePlug
35a19b9e663a5752ed78035c7f498ca640742c24 IfCond Except1RecWithAt CanNotBePlug
1feaf407ca61912741f88a0f763a4a538c1b5fb1 IfCond Except1RecWithAt CanNotBePlug
9ac7878bc560889f7fa5a0de5ca4011fa8b5eea5 IfCond Except2Fun CanNotBePlug
3724a4ecff3657f6f50ff5240f7e0e656c241939 IfCond Except2Fun CanNotBePlug
7a6c543502a2c1c0996fc573dc77e2b1ed47dd89 IfCond Except2FunTuple CanNotBePlug
3fed53d01b9894e0b66417b608fe1517b9b6f964 IfCond Except2FunTuple CanNotBePlug
0ed93f8d246e08b64b82c5706d74926c852399fa IfCond NumZero TypeMismatch
72bc7e5783ccdf6555a8d27fc166e4e811ca6fb4 IfCond NumZero TypeMismatch
d894ec35f15770cc1e4767e46b0d4af7df6ac4e3 IfCond NumOne TypeMismatch
12a140f6a4c20472685cfa3556d805ec60503b50 IfCond NumOne TypeMismatch
a42fa78c38a548909f959797a1ce038f035a6495 IfCond NumMaxInt TypeMismatch
f7e5b240ed4de2d35529711d937fbd8b12df1c7a IfCond NumMaxInt TypeMismatch
e0efc5b186ad393eef21b7a71d87f83fc9c7f028 IfCond NumUnaryMinus TypeMismatch
fe110f8653f906586dc9ebbe9ffe0bb74a36ef63 IfCond NumUnaryMinus TypeMismatch
83dc3e1f7a90f485e3454b81ecafaea771bef4a8 IfCond NumPlus TypeMismatch
84a97466cd7afbfbc1f0f881203b808cd43cc568 IfCond NumPlus TypeMismatch
67b7378526d7366febf7b0d7d89c660508bc4477 IfCond NumMinus TypeMismatch
e05cde436a4a71d5e6cf2a3066f7f9b7c1072ccd IfCond NumMinus TypeMismatch
306a04e5a2333ff6f2b130b0a62e3df34191f87e IfCond NumMul TypeMismatch
7421234f5022be61731b20f6d7f8cffa145122ff IfCond NumMul TypeMismatch
9b48d41614079f1ceb41918e820768af009d02f0 IfCond NumDiv TypeMismatch
fe1e81f17fe6e9a90754edf0fb7bff181f96e5b2 IfCond NumDiv TypeMismatch
f4a57b25c2b64bfadeb2845d6b3f888d48a5f952 IfCond NumMod TypeMismatch
c6f1d30d17a8a89cb0f938a0d8614a2e21393bf7 IfCond NumMod TypeMismatch
a65044e7fba0631a14ee220c99f5e6d8ce272466 IfCond NumPow TypeMismatch
b38f9bc0ceac6e52924ce39b9154a26c26fa8b27 IfCond NumPow TypeMismatch
558e7537c9a8709f042323afadc501263afdd3a1 IfCond DefFun TypeMismatch
d25b29ad1ea659abd8534fd5dfd5eb3550827060 IfCond DefFun TypeMismatch
a841729dbc421a6ce788ebd3d1e65a7b8782bf18 IfCond LetDefFun TypeMismatch
fc2a4a8182927b10a01117070581e2910d972ae2 IfCond LetDefFun TypeMismatch
f71e46fe4c89f75bc71f3637bb35529b42b60b33 IfCond DefFunRecursive TypeMismatch
d2d4dce44930500e76ca162280c759d9ed842de5 IfCond DefFunRecursive TypeMismatch
cba66e2115bf29b5d39788bded78505c1a063594 IfCond LetDefFunRecursive TypeMismatch
85a78ca4a68389258189e336bdec3eba540a3e6c IfCond LetDefFunRecursive TypeMismatch
8ff7127cf5a2f837a3b91e704ca5f4859c57812f IfCond DefFunInDef AlreadyCombined
3cf45d0dabe0cd87779600183b382dd7ac16da1c IfCond DefFunInDef AlreadyCombined
8e6b147ef120cbadcd416be28335e24aef57aa73 IfCond LetDefFunInDef AlreadyCombined
7040135169adad8584a110e6f7fa2d8aa7b24ee6 IfCond LetDefFunInDef AlreadyCombined
aa9dc410f0c1e701d1a5de4c413e897d2a9d6770 IfCond VariableViewExclude VariableExcludedFromView
c09a072886627175278f491928b11a78da8634a3 IfCond VariableViewExclude VariableExcludedFromView
27a0c71e552d1ea255d6ecce918c950902c81898 IfCond ConstantModelValue ModelValueCanNotBeUsed
0efbfd79468fa0063ae177fa4867473e6c0500ca IfCond ConstantModelValue ModelValueCanNotBeUsed
37dbe1b6ca03b3b534236c18774c2ca261331843 IfCond Assume AssumeIsNotEmbeddable
527e53fa87feab65c06cfd2f3b04479f1e4897de IfCond Assume AssumeIsNotEmbeddable
1c434575b0ac6b7a2f6f8f2526ed3e8b8081beaa IfCond AssumeNamed AssumeIsNotEmbeddable
92c07e0be000fd8e6e77fea67f2662c1da127fc1 IfCond AssumeNamed AssumeIsNotEmbeddable
8da98b152aea78e50a5697b8575e37c0a33b2303 IfCond Lambda TypeMismatch
c527ec6fcec93a1d956133ddd6a568376b75b7c9 IfCond Lambda TypeMismatch
7f83efd59ef3516881eb7b6d239dc142cbddcbb3 IfCond Cross2 TypeMismatch
6d396dc0386c2566bc3671b9f444c730aedcdbfd IfCond Cross2 TypeMismatch
385b288eb2c8702c7899409953e7c59518c8982a IfCond Cross3 TypeMismatch
eb57d1103491316b63328f5931da93a542f221fd IfCond Cross3 TypeMismatch
2ab9fce5032b8781ce33463752ddc721340d5663 IfCond FunSet TypeMismatch
61713d31a75d3b515fb9b0d2a9f4bc2456fb86fe IfCond FunSet TypeMismatch
1ccfe2767952d1479ecb7fd620a326fef6b28626 IfCond RecordSet TypeMismatch
716740a6aa42c6465907c9bccb18b5ea2fcc3e8b IfCond RecordSet TypeMismatch
65fc34ab27304d991b6702ccffb6abce34e53fa0 IfCond SetDiff TypeMismatch
42088f4a98d843d61171a4db8a393bea40cf7f5b IfCond SetDiff TypeMismatch
8cb3f8588c1e00df5efcca63b8dcedc7793fde31 IfCond SetUnion TypeMismatch
14f9a592930803dfa4969f975a14d3ba946ad30c IfCond SetUnion TypeMismatch
05e70697875917ce1c6c6f51e652ec7e62aa6216 IfCond SetIntersect TypeMismatch
3b59eca63d080c16fea55bac2d436bec729849ff IfCond SetIntersect TypeMismatch
e78bfa89cd55eb2f4607c88e3d9030acc2bb4f9d IfCond Subset TypeMismatch
bbf190bb849010ce4e53a4761c1516ebfad32b24 IfCond Subset TypeMismatch
212c8530de0a35672e729342fbc9bdda9e192e4d IfCond Domain TypeMismatch
a7af7c54931bd8774dd56ce83ec049fea2cb3b03 IfCond Domain TypeMismatch
01261c700c83c3a3296420993580c91abaac7096 IfCond Union TypeMismatch
3d788d6444f235017551a09d43d5f16b8b9f6c95 IfCond Union TypeMismatch
ba4e653808f9c064c1290228223cb2b383d78922 IfCond StringEmpty TypeMismatch
3e59fdd230e61e00c2088df5ea788cdd76aa83f2 IfCond StringEmpty TypeMismatch
3f454631d0724cd87256577d507c2fd499b7e388 IfCond String TypeMismatch
c4495d2fddc65c0a4aa7096d034fb998ecad45e1 IfCond String TypeMismatch
c2cff297d94fafa86db71c784984d46d17ca52ed IfCond SeqLen TypeMismatch
1e513ceee540e5fc27d8e82dee55aa173a737825 IfCond SeqLen TypeMismatch
0860f9ae8d81b6e75b33b374ab22fb38c6117876 IfCond SeqConcat TypeMismatch
2eb95bd557a4d3c140680f3af88116f83cd27188 IfCond SeqConcat TypeMismatch
aa0254f4907449091858bca286d53f2fa4b5fc79 IfCond SeqSeq TypeMismatch
b1de9c3823e504634b6962596bd1faf08634522f IfCond SeqSeq TypeMismatch
7df390f34cf6f7ad5eba5ba7587b5063a0af2922 IfCond NatSet TypeMismatch
b87b3af42f4cc176ba588522994b9972b35dcb65 IfCond NatSet TypeMismatch
7a4b49f371824e7a5a72ca4b89a924eb149d5105 IfCond IntSet TypeMismatch
bbc3daec1f75177f16f93b784e9eb565e29190b7 IfCond IntSet TypeMismatch
18d6026c25abbe8c73dfe335efba1144b0166793 IfCond StringSet TypeMismatch
93d14dc876e9bf824398b7b3ea210d86548083be IfCond StringSet TypeMismatch
51458dbd1aa973d2f3ea0a85eaca7f6c1fbde74a IfCond SeqSelectSeq TypeMismatch
0cc4b7ce06ce0154e511afb0031494ccc532d836 IfCond SeqSelectSeq TypeMismatch
2b493bddb61dce94134ba8a632e0ff138a3337ba IfCond SeqSubSeq TypeMismatch
44812d5a1480022c7d7a8228b7e211f35d67cca6 IfCond SeqSubSeq TypeMismatch
b3b598699172204459f484aee39833bcaa8eae88 IfCond NumRange TypeMismatch
d4d0b12950e158f123212f1e37e9ae37cfe6d9f2 IfCond NumRange TypeMismatch
f974476789eb4c00f76fb605cee38006c9707e96 IfCond TlcSingletonFun TypeMismatch
832032efe0b9572d06dffbcbb1c4ff1b63260ce2 IfCond TlcSingletonFun TypeMismatch
d989eb76b3649049286c9a851b8d65f1060bea4d IfCond TlcExtendFun TypeMismatch
a0c16638fb2477afc18da951f0ff3adf78b360f9 IfCond TlcExtendFun TypeMismatch
3aa37ad0aadde27dd1b087ec28d3f3d12d79fbd6 IfCond TlcPermuteFun TypeMismatch
99b2a8b732ae714e1214c3b422ee4b7cb1584d04 IfCond TlcPermuteFun TypeMismatch
870206e89a3a4b2c22f56a08e34029c624a638d5 IfCond TlcSortSeq TypeMismatch
5adbe8241b8d0c3de3f05168534512146ee01f64 IfCond TlcSortSeq TypeMismatch
dd2b4d73fa0e1680fd64b574154f36227b46a26c IfCond BagBagToSet TypeMismatch
fa627a0a82ffe9a505450097b5cf4a174d8efd8a IfCond BagBagToSet TypeMismatch
9586894aef6c4686bc2bd120e85f1306dcf77f2a IfCond BagSetToBag TypeMismatch
50f9d0aca271e78c3d9b4d21714b97497daf5dc9 IfCond BagSetToBag TypeMismatch
d9565f9d610d8d2889a24c0f7d75f55cda8eea63 IfCond BagEmptyBag TypeMismatch
7039b0f4e5c44b2be90200701482c977b30bbbc1 IfCond BagEmptyBag TypeMismatch
0be308fd08a128f63080623aee20687e905921a2 IfCond BagAddBag TypeMismatch
7265642dc12af11cd239a110bca92549af0d7fa8 IfCond BagAddBag TypeMismatch
7a62650e36f2b9fcfc4befcd0ac7cd57ff38129e IfCond BagBagSub TypeMismatch
e201008c4c1a0aacc1c398880fef638c5c986902 IfCond BagBagSub TypeMismatch
6ccd753c5bc66fcb6afdcce30268586b22c402cb IfCond BagCopiesIn TypeMismatch
4b6a0f5f1b39f8492b393737a7d084108a89630a IfCond BagCopiesIn TypeMismatch
de893850955d72f1be1fd908916d1009fe711b7d IfCond BagBagUnion TypeMismatch
daeaef3310aa3d5f91e4f914bdd2f677b96aadad IfCond BagBagUnion TypeMismatch
11feda17631dd4d4d53ee2fa8a5bcecc02cb1c1a IfCond BagBagCardinality TypeMismatch
7b453afca5de1b8cf5069a93f2baf3be01b82b4e IfCond BagBagCardinality TypeMismatch
b430e2801a8ed6073efef7cbecf889d5b4e5ef5c IfCond BagBagOfAll TypeMismatch
9d6d9b3eeb6397fa9a9dd15d2080a61afadf602d IfCond BagBagOfAll TypeMismatch
e8e722a08b7b0fbb08005a2b15be66820d28d9ac IfCond BagSubBag TypeMismatch
4042d717d20c8d209bc1072333d8f495c4ab55cc IfCond BagSubBag TypeMismatch
160e62c08cd84565894a3b9c1dc5e722e16f41b6 IfCond FiniteSetsCardinality TypeMismatch
e99a39d55323138e126449333efc11fa6933d576 IfCond FiniteSetsCardinality TypeMismatch
4d4b25d007e14e19a97003074ba036ee3262ca9d IfCond SeqTail TypeMismatch
312bf4aa52ffc35f44d7d8fddf5b25da5261fc90 IfCond SeqTail TypeMismatch
de2a4747032363da50cb5a1a974f040898a920eb IfCond SeqAppend TypeMismatch
41156177576f2f0c4e6a67ae81fbf6c077a2c251 IfCond SeqAppend TypeMismatch