Index

Skipped feature combinations by plug feature Equivalence

Id Case Feature Plug Feature Skip Reason
3b1c16cbb9dcd0a7202b870ef84e3b5463db0f89 OneLineComment Equivalence CanNotBeCase
870910fef241ccfa43ef81635da5c894f4e71193 OneLineComment Equivalence CanNotBeCase
bdbab6df3d127f9d3ed91c9239b9320d546ec8eb MultiLineComment Equivalence CanNotBeCase
5708395b6cf34d33f7c2bdd05ddca36ac1e62a85 MultiLineComment Equivalence CanNotBeCase
4c1648ded561362ae36d0f2f0fe5c951d6f264ae BoolTrue Equivalence CanNotBeCase
83b394f02f9e3a33b4b507fcd46c4dd89a56f0e1 BoolTrue Equivalence CanNotBeCase
0fa47b550cd1acdabd0f7604118388e3a16f277a BoolFalse Equivalence CanNotBeCase
cba32f48b97536dfd49ea492492eced280d6e205 BoolFalse Equivalence CanNotBeCase
9331d7a50d91ffc3785048fcbd179b49a6c704c1 BoolSet Equivalence CanNotBeCase
57dee10ff77408e891683892412f2945903be82f BoolSet Equivalence CanNotBeCase
5e0795c78cba668da6f65928574dc304a08ffa21 SetEmpty Equivalence CanNotBeCase
2a1963d66fa2c456a2b1e5c96fbb9c643499ce9d SetEmpty Equivalence CanNotBeCase
ff498143bfe0084ee4c54cc8eb4f894249e9344f Set1InDef Equivalence TypeMismatch
41fa9148052da33c5ab52f29ef27db1addba6394 Set1InDef Equivalence TypeMismatch
2d6782c5e81e553f7aa974a3b7c9a739c8488822 Set2InDef Equivalence TypeMismatch
1144db271157e57b98cadefea1996824a2863a0e Set2InDef Equivalence TypeMismatch
5196d84fa55367aacf6651ace4dc371548f319e0 InDef0 Equivalence CanNotBeCase
112f3183b4950d4c9d98cf6357ddce79b3dfe0b3 InDef0 Equivalence CanNotBeCase
754b344803171ea8a91881d5a2ae69291da31c70 InDef1 Equivalence CanNotBeCase
0af522fa7e0e298222a82aebf8d0cf20cf24899f InDef1 Equivalence CanNotBeCase
8384670343f8a72ca33719c2ec4adace5c2ccf54 InDef2 Equivalence CanNotBeCase
cb185cfd0ae7cb3260f2e192bc7bbbd818b05d2f InDef2 Equivalence CanNotBeCase
a3224b9de2eea2ca2e88bb643f95028bf004dec7 FunInDef Equivalence TypeMismatch
934bd4759170e261fa32ac04f16b8b8d9e949b14 FunInDef Equivalence TypeMismatch
a932fccb4c7d7ee17495be7aab211893a57b8782 ExistsInDef Equivalence TypeMismatch
dd649a989c467096fd37e45239f4cfd802bc33c6 ExistsInDef Equivalence TypeMismatch
ca0be9fe471f1664c9ed954b56e4e7b2ddb88249 ForallInDef Equivalence TypeMismatch
87df1add483b46ccced3ea37f62097fce6e25c01 ForallInDef Equivalence TypeMismatch
39b40cb4145df395332741d073cb73ddefe89603 ChooseInDef Equivalence TypeMismatch
ffe49fb679705cd555e68b8e5aaa9c23efd4cc94 ChooseInDef Equivalence TypeMismatch
84ff4ec4580d66c70ffa5b5cf460808b791513a7 TupleEmpty Equivalence CanNotBeCase
eb7aa5961ca2ce9bfc5274c14ac88825ee2e44de TupleEmpty Equivalence CanNotBeCase
cf42592ee8305183cb52dfa9c32d885e72238741 Except0 Equivalence TypeMismatch
d0f04001bff5a903ac7e625e6e28eb50aa9db0e8 Except0 Equivalence TypeMismatch
c5df549eb60a353a0dd8f4055004349d7959551f Except2FunTuple Equivalence TypeMismatch
bb8ec0dd1bd50364408c988116713d8eeb7420e4 Except2FunTuple Equivalence TypeMismatch
29a18c7ee30d2635208cbb8bb78cb064c3ed5a51 NumZero Equivalence TypeMismatch
88eef7943029a362bdd7991c1a979fdfcfe5b1dc NumZero Equivalence TypeMismatch
fd1bad9c584979cc6f0d78b3550b87446149bf49 NumOne Equivalence TypeMismatch
772ee62ae7ff9ad597ae3f08120a576ff7442422 NumOne Equivalence TypeMismatch
d5dc258098d09a85940635e99b20235520143ef6 NumMaxInt Equivalence TypeMismatch
c24ad6e5023664b8bba5fc22afdc70ef0895a950 NumMaxInt Equivalence TypeMismatch
2271c525a804f6e15c629bb7d589680be367f30f NumUnaryMinus Equivalence TypeMismatch
f7a8d8e11346e148cbb51192b2c562916fcb6a18 NumUnaryMinus Equivalence TypeMismatch
9ed05e72112133106849a91d7fa515149d93ec66 NumPlus Equivalence TypeMismatch
5b0a8bcd492d999d03e41b70d2ab5c2826e0aaf7 NumPlus Equivalence TypeMismatch
f67eb47db8d8c32768899a979ccedc36143c8299 NumMinus Equivalence TypeMismatch
fd406312ee9f05ddd4e31dbcdab99efd264ee7cc NumMinus Equivalence TypeMismatch
74efd63c586c275be942ea3bed5caefbabcef6cb NumMul Equivalence TypeMismatch
77c9633d21c6d77bfbeaa3bcdba8683003ceeb0b NumMul Equivalence TypeMismatch
4e9bbb0fb1984ac1ad4d341bd92bbaa936f985d7 NumDiv Equivalence TypeMismatch
926b3c7db493c937188f58fee366bd9f2823c72b NumDiv Equivalence TypeMismatch
ee5bc2d2bf703d9820fc2939ad8102e4c9f833e5 NumMod Equivalence TypeMismatch
38ab8a5d0fe0a0e48c7a598c06a254a48ac6eead NumMod Equivalence TypeMismatch
ef8237646e5a2fc3d1f5c73675953349500990cd NumPow Equivalence TypeMismatch
192afcda477e7e5bfa50632191a839d0bd1ec468 NumPow Equivalence TypeMismatch
a0e157cca7311388af91bf508216807dd27dd6a3 NumGt Equivalence TypeMismatch
7102a34cca5d06dc9b427d6627ba19f53a0753f0 NumGt Equivalence TypeMismatch
146132703ec03e8fb29abbe5057d560484797d95 NumGe Equivalence TypeMismatch
c8d62c12be4feb35b0ddf4df3007a29d88e4ac28 NumGe Equivalence TypeMismatch
cf4318f359a1998ae6d520eb0ddd1e55e9609d36 NumLt Equivalence TypeMismatch
0681d92eb81cbf153b15eed2ec0d4020b0e2e99b NumLt Equivalence TypeMismatch
30d0645b3c1869c43775749aaa40ac6b25c83e85 NumLe Equivalence TypeMismatch
96dd67a3398368a4fad2b271d7d22ea55aa3537e NumLe Equivalence TypeMismatch
b82595f9c850b66c81be9cd229d9d113c6941ffd DefFunInDef Equivalence TypeMismatch
4f080fc02ac920450b84cbfab0f75a7879a3eb3c DefFunInDef Equivalence TypeMismatch
f0789bf96a7fe9da6193988578d562098385a65c LetDefFunInDef Equivalence TypeMismatch
a18f9af437152614ec2f813d3ce08531a8d47963 LetDefFunInDef Equivalence TypeMismatch
ceb66d2ba831d4a84d71eaceba89661c82de1684 ConstantModelValue Equivalence CanNotBeCase
3a8348980b8962fd15b93b5dd69ba9273daaba97 ConstantModelValue Equivalence CanNotBeCase
8dfdfcee85d6d2cb41af8ef6699a958ece34920f Cross2 Equivalence TypeMismatch
a67e40e3ba08f445bfbebd23e4df7205c1daf7d6 Cross2 Equivalence TypeMismatch
e6f26a9676978a965ab2b159fb1599e2643a9135 Cross3 Equivalence TypeMismatch
c71677186e56b39a155aca0e9c5687b5d4d4d759 Cross3 Equivalence TypeMismatch
86dd2287eb084d8fc300eb1cbbd1dba5c77352c3 FunSet Equivalence TypeMismatch
20e42daa05faf86aeff6b0ed822afee58da6e62c FunSet Equivalence TypeMismatch
c59a40545afef81ba3b874bffdc75f71ab202cae RecordSet Equivalence TypeMismatch
1e7072d439aa9392171cad73ab7d090d8b641f43 RecordSet Equivalence TypeMismatch
7e40f964fe5855c07c57b7ba5c65105f5982e56b SetDiff Equivalence TypeMismatch
55c351f6b137594b03d2e695e3ec2819a298e1b1 SetDiff Equivalence TypeMismatch
cfc5e5dd53985381286cfb50b013ff149d373669 SetUnion Equivalence TypeMismatch
5de9d0b6d5cb2588436af2e214b6ddb83829e365 SetUnion Equivalence TypeMismatch
5aa7c35a4349f7560dc0ea3285db6e994cac07c5 SetIntersect Equivalence TypeMismatch
fb0e91c157f1daa6b6f2a67679beab48100f7443 SetIntersect Equivalence TypeMismatch
f600fc3808e326c4c12469894de8a722383a7d6e SubsetEq Equivalence TypeMismatch
d785a47ce0d470254458970596e21eac7ec69358 SubsetEq Equivalence TypeMismatch
af0e1bab2ef6cefdbd57cabc9ab3104f8c07901a Subset Equivalence TypeMismatch
a3b747cd0f880e38dbaf4a49764c1ed24fa776f9 Subset Equivalence TypeMismatch
8d035a69dd266f589bff16c8f26f37b2cb25f984 Domain Equivalence TypeMismatch
200f13653deade6621674dd530487bbc1ff3b419 Domain Equivalence TypeMismatch
fb09d203e38d1fbc0355c8524fcda00a4773d6f7 Union Equivalence TypeMismatch
b591a6b4d155851dd4e60b3ca2f7a8e0ded729f3 Union Equivalence TypeMismatch
d0bec201c952569429f6d336c91c6a07b95b993e StringEmpty Equivalence TypeMismatch
9228b229e443daf3c89c99cb34c1f3eb025884c5 StringEmpty Equivalence TypeMismatch
fd112d634aec99f96a1ab874901f82b7d5c44286 String Equivalence TypeMismatch
65af2b6bca75565215581ebe947e559153796fc6 String Equivalence TypeMismatch
0c897d476cdf6ded61139e9adc9e871cd79ed10e SeqLen Equivalence TypeMismatch
c7d1af2664a58c7339a474a68ce2d86ef9c990f4 SeqLen Equivalence TypeMismatch
b1f4a90ecf88a576a0bd359ffbf801ab1e972916 SeqConcat Equivalence TypeMismatch
a6dca3c133b34e41875d61ccd4d67f18159651c8 SeqConcat Equivalence TypeMismatch
b57745820aaae48e390333ec1621f9e1f52a4e96 SeqSeq Equivalence TypeMismatch
b3dda07750a0038749758c542c40552c9badf99c SeqSeq Equivalence TypeMismatch
949d5276221dd25547028f4b65032edceadba838 NatSet Equivalence CanNotBeCase
944fd6dce4d9559fc30a441f0c603e541f842c6d NatSet Equivalence CanNotBeCase
057f6f250e5a00892c087a0c6a87a424f408ec0c IntSet Equivalence CanNotBeCase
be436f40e03e0a5ffe558655b661193657d7a873 IntSet Equivalence CanNotBeCase
851bc0976e41a5c896eea03bc3736633f30b31bf StringSet Equivalence CanNotBeCase
c7178b372b945c101c3421950218fef4a2a040d1 StringSet Equivalence CanNotBeCase
fc0747065e507d3744c7bce3b46a6607752dd885 SeqSelectSeq Equivalence TypeMismatch
218cb6f481a90dd3e5cbc4958baf735170bd024c SeqSelectSeq Equivalence TypeMismatch
f71a929bf14eb0939283882acfa578f85f854238 SeqSubSeq Equivalence TypeMismatch
786c5f5ce1d4001b323776a70bcdeb9cf87b6fbc SeqSubSeq Equivalence TypeMismatch
6c30003f291bb3a32822f0b07fa37624c8e5b3cd NumRange Equivalence TypeMismatch
377da6a8228e84ae7d984865d88e575308dff4d3 NumRange Equivalence TypeMismatch
89b8a894973db1669adccf086464db5c3fd90c86 TlcExtendFun Equivalence TypeMismatch
7d69259e3c75f3d4f1374485e1f5bb76f897d0cb TlcExtendFun Equivalence TypeMismatch
6d3fd69773d3565758bb514f1602eafc2c765c0f TlcPermuteFun Equivalence TypeMismatch
6ed84591b167b1ca9cd2a4b25d6720f109988835 TlcPermuteFun Equivalence TypeMismatch
a5832007aebef04224487fe5511733c7c53a5c9b TlcSortSeq Equivalence TypeMismatch
7c3b1768dbb3d3222272ac009dae178a87d0b589 TlcSortSeq Equivalence TypeMismatch
070ccbd0178e3306f294b956ce0310d606af2676 BagBagToSet Equivalence TypeMismatch
26175f2e345ad3eda07c1cf5c067c1c788b53684 BagBagToSet Equivalence TypeMismatch
9acfea22a809163d3edb63257da481987b619c3c BagSetToBag Equivalence TypeMismatch
a431c29bce2eef49dc9fc4ec39391b28c7842a01 BagSetToBag Equivalence TypeMismatch
d619b2e56c20243b846621e1031fff8fcfe5cba1 BagEmptyBag Equivalence CanNotBeCase
9ae56b8c5a26a77bdb900eaf24e917af20e0c65b BagEmptyBag Equivalence CanNotBeCase
14092c9828bad705694e794216e9beeca4124e0b BagAddBag Equivalence TypeMismatch
988853eb3fea31fcaf3f62353f411944e47d0cba BagAddBag Equivalence TypeMismatch
6c32374baa1c50399f3200c272dfd404b93a4ab7 BagBagSub Equivalence TypeMismatch
a65aa3d79859986a0f56d3549f7740b64628ce7e BagBagSub Equivalence TypeMismatch
fe41eb6f6d7414d8488a8d115b93a6a0bef2215e BagSubsetEqBag Equivalence TypeMismatch
b46e861223ea4366d3df2c6a2941ee3f778d939a BagSubsetEqBag Equivalence TypeMismatch
c07f33daa909b40808fe794c52b6da0bd37775f6 BagBagUnion Equivalence TypeMismatch
85d0690a8b47954c09d1247162a3d799ddeecf6a BagBagUnion Equivalence TypeMismatch
fe33e7a404b24dba27e449c2659f8f77a080110b BagBagCardinality Equivalence TypeMismatch
ee50f84349869a00529585715e5250deaa4a6846 BagBagCardinality Equivalence TypeMismatch
41fbc7bbf2c53f01a54e7db25473f763e30d8381 BagBagOfAll Equivalence TypeMismatch
efe13ff7d69fed056e9a193a5fc9b164532beeab BagBagOfAll Equivalence TypeMismatch
46b5283554edb51b94881ea055c3be1417672b2d BagSubBag Equivalence TypeMismatch
d0461526d32545ccf7af6b6b2f64bb8199454f76 BagSubBag Equivalence TypeMismatch
599a6370109028327fd92668fc77af1b4e519cc7 FiniteSetsIsFiniteSet Equivalence TypeMismatch
653c61421c73eba070bda506d7f165582071b71f FiniteSetsIsFiniteSet Equivalence TypeMismatch
636ddf56654690ee7bef98d15518fbc3c9fea838 FiniteSetsCardinality Equivalence TypeMismatch
ce33f13640755f9169b76314404dde10e0d7c272 FiniteSetsCardinality Equivalence TypeMismatch
9c0836b23b3ed7165ff4cd9cdbee2afa51929530 SeqHead Equivalence TypeMismatch
b54da7bb0f165c950196445097316b81c77503aa SeqHead Equivalence TypeMismatch
7a86e47a536d83e4532a5cee40b38c088c2ca375 SeqTail Equivalence TypeMismatch
3cf0b9f002a9934d62efca51b3dc605f8a1ffe04 SeqTail Equivalence TypeMismatch