Index

Skipped feature combinations by case feature Except0

Id Case Feature Plug Feature Skip Reason
61d469c1f85bb2765e9cf7e81f728682a97d1b55 Except0 OneLineComment TypeMismatch
de9718c2f24451e82b4c93b8b27707135605cf79 Except0 OneLineComment TypeMismatch
52fe9419eb21677b8516bd9e061c34ceabed8c8b Except0 MultiLineComment TypeMismatch
2cee83c578d27c6da90c85bd3ecbf9290df3cad4 Except0 MultiLineComment TypeMismatch
e0e3ba4011fd10bcad49a23736a7a8bb208953cf Except0 BoolTrue TypeMismatch
397643000d4ab73d2b7a3357294e82dc09b3f802 Except0 BoolTrue TypeMismatch
df6892985d48e9ff8d8d188c1a2afa9530b579f2 Except0 BoolFalse TypeMismatch
cc01456feba4d63c68300880131c88a847bcdd82 Except0 BoolFalse TypeMismatch
e5dd02326e47f4131a041b0fffbf6e9c346e26c3 Except0 BoolSet TypeMismatch
b5df894db01898d4a8e8a6ab9bec2face69f9da9 Except0 BoolSet TypeMismatch
43774a7f5739e530ae6cce34712c9e04a8293d10 Except0 And TypeMismatch
190b9dfa5a4bcb1e9c34be7e3d151de28e937052 Except0 And TypeMismatch
9babb386904276fb9841308f8a1971010b327a07 Except0 AndMultiLine TypeMismatch
c46a4757122e8870cbc21ac54aab3f70c1532c2c Except0 AndMultiLine TypeMismatch
3d9fc86d887d6d5a4f59722650a7c4b3301d8af5 Except0 Imply TypeMismatch
d2644f66bf5cfe8833b729db9d2073fcf6d8fc60 Except0 Imply TypeMismatch
13c4d0cde48ac681217eeab90b8907d85e3f1f07 Except0 Not TypeMismatch
8a298fa5b95b3ff09fa11da6eb69ede85c8dfdbf Except0 Not TypeMismatch
d343fba46c6cbb7d7366996a41e2e79d0cff11f1 Except0 Or TypeMismatch
362db8967c1daf9c4c50e74acbbba7b6190278e0 Except0 Or TypeMismatch
32b9ee06a5f79d7b81449b0a41f8db4fc7447fd9 Except0 OrMultiLine TypeMismatch
c0503466ac834e5ec7dc9980cec942ee709be37a Except0 OrMultiLine TypeMismatch
c09bb3fb13ff4e2ef8ba10017421ebb5b3e6c6d6 Except0 AndProp KindMismatch
8e8f3846fe4500142839f83c599b7a97e795a156 Except0 AndProp KindMismatch
142f3a171a459677974d54d77c62127ac58d8b36 Except0 Boxed KindMismatch
d2380f28845ae8d01f6a69499c9f5054c1537a57 Except0 Boxed KindMismatch
5f63f5b1267c2c0a2461a7441fd5d910d9b67ceb Except0 Eq TypeMismatch
b5449489aa217a3dd2ae7f1c06212a30def0d37a Except0 Eq TypeMismatch
49d449e3316ac12ca787f118663be0b321e60aca Except0 Ne TypeMismatch
5c769d6f9b5264b72496fc3deac6a9fb58028056 Except0 Ne TypeMismatch
a8672ff2998bbaaded41a8a867446a5dc9310009 Except0 SetEmpty TypeMismatch
d6cbdef3f3f2f94f7d7802a465f97c0812579405 Except0 SetEmpty TypeMismatch
5d968a5a39360f6254f1a2cf2694ccce5ab86f79 Except0 Set0 TypeMismatch
eb5de0aa217870f4d4dde21f9b5bbe95acdd9be9 Except0 Set0 TypeMismatch
21874b1d364271980ed5c9719176f60f54d87201 Except0 Set1 TypeMismatch
1913b201dbe40dc445c99584ac59f0227cd97625 Except0 Set1 TypeMismatch
84cab9ba0fcb108c5a1308f8a5868375887f5cbf Except0 Set2 TypeMismatch
feed4c8239c8b243dc1cc0bcc66bd6026b0dd602 Except0 Set2 TypeMismatch
eeb237635c5a20f690b908a7801c5dcfc5bddee2 Except0 Set1InDef AlreadyCombined
bfacb17e69fc37ab5c20687b841375092814df61 Except0 Set1InDef AlreadyCombined
bbfd994e78c9fb4d52b3df67a7a2127295f36a8d Except0 Set2InDef AlreadyCombined
4ab27a5ebafe767b24b0f8a3184235676f267772 Except0 Set2InDef AlreadyCombined
e0161c8ca5606c419eaf68f9765164a130f8a290 Except0 InDef0 TypeMismatch
400d7301752c9a0b91745985ee8147c8c204cffd Except0 InDef0 TypeMismatch
abc928261fafc9dc4f60d49b5d0cdb453cc5c6dd Except0 InDef1 TypeMismatch
4a5c5c028cca39d449d97862e822415047e2db87 Except0 InDef1 TypeMismatch
12002c6efb65dc7b1dece1536e0a025a07a06605 Except0 InDef2 TypeMismatch
98ce78b31c35d2e8a1d5dc03beb82eaa4fd8391f Except0 InDef2 TypeMismatch
6f8d72af6ad6ced2a1ad0762a16d2c7ca0569e8e Except0 FunInDef AlreadyCombined
5e45d1db8b7c905571c8634dcd27124293f6526e Except0 FunInDef AlreadyCombined
9a1a032503a2787fb723955a327fde470a9e3bd8 Except0 In TypeMismatch
39f2340eccb89e439530e28e056dd21e0d13c8ac Except0 In TypeMismatch
d9b8d30ab450ea6077a7b6e9497eb50c708d3c2b Except0 NotIn TypeMismatch
9e241a08429df0997226ae18d5df432b151ddf73 Except0 NotIn TypeMismatch
1b27b76ddc3159f8ce30c808ecf01879a7cc011a Except0 Exists TypeMismatch
b03306268731e7a597f67539b8af49e75a9ba1cf Except0 Exists TypeMismatch
31730e037bb79c5d7ae5f2c0a22bef64cd42b9e3 Except0 Forall TypeMismatch
7eeee8be71ddf6d6a01ba4f2cbdaf5b12f4979e3 Except0 Forall TypeMismatch
279f32dd7177df2ab38ba4a7ace73959061c34ce Except0 ExistsInDef AlreadyCombined
12d806c40d2a5d461ed1c89bbddd87ed9079da14 Except0 ExistsInDef AlreadyCombined
81696fe6f5962f6abaa1b2e33eee59ed4c48ad62 Except0 ForallInDef AlreadyCombined
9cb8733cd0e2fa6759d688583c6d033b27244888 Except0 ForallInDef AlreadyCombined
00ed6cd261d1181abfb2648c78562b267e19349c Except0 ChooseInDef AlreadyCombined
a13e1608595bb51d4c70b229ea7686312ab7546f Except0 ChooseInDef AlreadyCombined
839fd3c010ca8b5105d7640783162bb6ee6238bb Except0 Except0 CanNotBePlug
1e9edb4f4a676fa2825f1d1550de5db20954b1a4 Except0 Except0 CanNotBePlug
337593e56c60eb1ef0218e36ff0ed85d1750fd90 Except0 Except1Fun CanNotBePlug
4792c23b8357445d5749930cc832bb5c89121ac4 Except0 Except1Fun CanNotBePlug
fe4dd30db26e71ef372dff2b64e448db63e6ede2 Except0 Except1FunWithAt CanNotBePlug
4cd456d6dbe7f570b4f0e0aaea234b7dc29070ba Except0 Except1FunWithAt CanNotBePlug
735a303a35e282a42f77a0234b9423e30f136f58 Except0 Except1Rec CanNotBePlug
68121922e8f116360cf0681e506c5ce1a74ad81a Except0 Except1Rec CanNotBePlug
b22c2f35da29db47146b09fc8a7da9df838b0309 Except0 Except1RecWithAt CanNotBePlug
8c19d9cda55570c88ff1fc8346cd47ad442b0195 Except0 Except1RecWithAt CanNotBePlug
bcfbaffdf420b6060d51516314227e5ba26aecf5 Except0 Except2Fun CanNotBePlug
939a7cefef2524614b1ef4ecf17747401a43625a Except0 Except2Fun CanNotBePlug
e5f9231ae72023d3391a4283eca83c771c142ed4 Except0 Except2FunTuple CanNotBePlug
ff9c666a444e79dcbd0b70420143af5c54754b8c Except0 Except2FunTuple CanNotBePlug
010d44f99256c04598c8f1f8a6dbacd8b61cd42e Except0 NumZero TypeMismatch
e071f739abdd0c24a0b14730a87f955bc7d41e50 Except0 NumZero TypeMismatch
d932f5c6be9f173a9b76c0843aeae0567d49575c Except0 NumOne TypeMismatch
885919c9b6155721431f8c50327a90282c443ddd Except0 NumOne TypeMismatch
6cf9065c7f359e18c1dc6d5ad9270c97d060b805 Except0 NumMaxInt TypeMismatch
264444d916f26438404425b549b7b0bdd6af0857 Except0 NumMaxInt TypeMismatch
5ed31f8ec83d1fe85da673f965b20e604adbbd42 Except0 NumUnaryMinus TypeMismatch
81a12add66bdf77407fd0d596eb12de3b2a78284 Except0 NumUnaryMinus TypeMismatch
4b3833816a404ec14b71b91b1be8c92929cada5a Except0 NumPlus TypeMismatch
cdd52579420976a965822ce91a7cb6d92e666462 Except0 NumPlus TypeMismatch
c185ad9710c9ab4c76d3d59e7d906d3ba9c65130 Except0 NumMinus TypeMismatch
255798e42a6d65df54293ecb49334c64a63654b6 Except0 NumMinus TypeMismatch
67069c02990b8e18c2358214a6c11927dff29d93 Except0 NumMul TypeMismatch
8a32855946e36fd6fcb2edf88349c06cc50fe421 Except0 NumMul TypeMismatch
2666d96d8c9dbf7fa07d5e5ec9ead52953adbfaa Except0 NumDiv TypeMismatch
ff2d669b0d8b06410258a926aecce0ca35106e5c Except0 NumDiv TypeMismatch
3f79cbff2414f5514402dac4788c377f3dab165e Except0 NumMod TypeMismatch
c2084ad404dd10989b8142e73e3ad83ee78b517f Except0 NumMod TypeMismatch
ec0e92ce2920a4351aad8e1f0879a033333f4dfc Except0 NumPow TypeMismatch
0d6629820b339b7e400c4c0dfea29c062ab8fc87 Except0 NumPow TypeMismatch
9c0d5664b2b132475760a674aa2fbef9b068d5ba Except0 NumGt TypeMismatch
cd861378a33c1e3e3e9b592305c623f2b680befc Except0 NumGt TypeMismatch
f61a7312837e2530f4deae8d89ae0e5df4f66492 Except0 NumGe TypeMismatch
0c4f14a5835bae7640c16be67fde19719851f947 Except0 NumGe TypeMismatch
6703e1552e2f66d0dc0cc42fb74ecfd2314744c8 Except0 NumLt TypeMismatch
242843752855535ca0a1aa15d98b4966afbc16a1 Except0 NumLt TypeMismatch
c706bfa86777a3882aedec2b4c4b86d1978a1d6e Except0 NumLe TypeMismatch
c1d8f880a368fdaeb1ccbcd27699e84e4e160efa Except0 NumLe TypeMismatch
0f4cabc8334418ff13e1f05d02d1049d2f91b1c5 Except0 DefFunInDef AlreadyCombined
87e10f3329e1a96b78f9805d8599af5137cedd4b Except0 DefFunInDef AlreadyCombined
5cef65d28fd2f50952c6d2f099bd6e917384682d Except0 LetDefFunInDef AlreadyCombined
7c480cdb4a3a2f1f187068ee11f1401f4184142f Except0 LetDefFunInDef AlreadyCombined
e6fc75ea90bac15758d0f5ad4b45d796cce585bc Except0 VariableViewExclude VariableExcludedFromView
9a35021037582236bf11f53da1584828434c2957 Except0 VariableViewExclude VariableExcludedFromView
902498fd3c4c6995c8b88af226f2c05d8cdf97c2 Except0 ConstantModelValue ModelValueCanNotBeUsed
54b53d6a034ed9643653ac0ba5c7ce210768b44c Except0 ConstantModelValue ModelValueCanNotBeUsed
bf8557b30f178694d74e5602ae756de1f5233897 Except0 Enabled TypeMismatch
c48cd41ec332862a71b8b5b23a0de817fd412917 Except0 Enabled TypeMismatch
5ede465359a244ff18c149bd1fde00f90bcce51e Except0 Assume AssumeIsNotEmbeddable
bc88ff00f179d41237f8f742d050571e3d59024c Except0 Assume AssumeIsNotEmbeddable
20a36f0462d00f46ad7dececb167fae597b31dc2 Except0 AssumeNamed AssumeIsNotEmbeddable
1fa53d180cfe97f08be743f750d1dbd6037ea84b Except0 AssumeNamed AssumeIsNotEmbeddable
f6ab8ca53313f7b6a21afcdf4258de511c86d88e Except0 Lambda TypeMismatch
a84b21d757daf015bead32c2b72318db0ea7fceb Except0 Lambda TypeMismatch
3cb9e89d2ad0bbc437e42c9707c5b31b2e20060e Except0 Cross2 TypeMismatch
6ee70f92a7ba19e41b0dab47230374f50dcc8f94 Except0 Cross2 TypeMismatch
7c1114a966fd5f20d36ec84b577178918700bcd5 Except0 Cross3 TypeMismatch
c391a977f649aaeb0dc7493279d8080b8f74bf6a Except0 Cross3 TypeMismatch
1cb4ac0c539fad85ae16c0d673b9a1ff45c7c158 Except0 FunSet TypeMismatch
5d16bd37e9e43ee4d1e2e498cbe933c68270d403 Except0 FunSet TypeMismatch
f55aea9740c21d2bd88c42f46ec3e1210707fcc7 Except0 RecordSet TypeMismatch
d124da9e915b39d274d5b875bc1d8a38dd181774 Except0 RecordSet TypeMismatch
dc9f27e5e31673a936616e8ebb33b7bdf21d49e1 Except0 SetDiff TypeMismatch
eb7cd05eca01c4abb245f0ed4411147ab7e87b7f Except0 SetDiff TypeMismatch
eb2f9fa09fae9d15a0d274a3b409f2ffb77afb61 Except0 SetUnion TypeMismatch
83a5548af4cf70fe1d82a1c90cf2485721eccebf Except0 SetUnion TypeMismatch
2d4a61c5c4a766f50afefbce8d472329b6e6b82e Except0 SetIntersect TypeMismatch
7940203af5d71da848bef7e940c8fe2ec83dce74 Except0 SetIntersect TypeMismatch
73c6ac08392ff0090949b89809bd8cfd20aa0d8c Except0 SubsetEq TypeMismatch
d13307ca9ea2572f6de66b2aaad99937049eddef Except0 SubsetEq TypeMismatch
f3e1558c2dc99afa95607188d00bdb84a7484d35 Except0 Subset TypeMismatch
b3965b7161425d351ffe84f2a36ad8029728b066 Except0 Subset TypeMismatch
85fc7bc53514ace584926b446205905556a8beaa Except0 Domain TypeMismatch
1ac833060742ae8ca992412e92297484e732077a Except0 Domain TypeMismatch
2530dfe56378c4dc300ff1489f08b41b6ae0e249 Except0 Union TypeMismatch
4f8f4ed2763f3d1c162adca97653014705731fc4 Except0 Union TypeMismatch
00e55a561e5d60cb892a4ab1e60a5baf0e13fec5 Except0 Unchanged TypeMismatch
42b9e720b47719306fac52a4707d64547c3fd8bc Except0 Unchanged TypeMismatch
cf42592ee8305183cb52dfa9c32d885e72238741 Except0 Equivalence TypeMismatch
d0f04001bff5a903ac7e625e6e28eb50aa9db0e8 Except0 Equivalence TypeMismatch
a5f6f2dadd348f3958929c23b5ecbd27d8ca8174 Except0 StringEmpty TypeMismatch
d4bba9c85cee6a2276ef38f723138ada8985f09f Except0 StringEmpty TypeMismatch
fdca26321beca7b6b0109f3ce9f3b4ca305dd825 Except0 String TypeMismatch
4d470ab7c5a288a3ac1bd5c59425aa38bd9a782d Except0 String TypeMismatch
2b55bf26f1367468550f64df6013aff0ac5f62c6 Except0 SeqLen TypeMismatch
945a2394ce6007c8068e6da46f83382ae8f09f8b Except0 SeqLen TypeMismatch
e419e8546f04cdde463112b1d8b4ca5e5758ef5d Except0 SeqSeq TypeMismatch
93526b7a6bdb95328b23dcb380310222e879970a Except0 SeqSeq TypeMismatch
7bcfd10a473445f3d92a598f6c66b8c751777d91 Except0 NatSet TypeMismatch
c89e5baa1a4dfadcf63cdeb3c6b8d222aa4159a3 Except0 NatSet TypeMismatch
f299dbddad78cba868bb5afdce8607baa4056b58 Except0 IntSet TypeMismatch
dab8458bf00cba71fc5bf1ccc6af4d8b6917bf49 Except0 IntSet TypeMismatch
1ef1e757bd1a5309fd64f3e687fce16815b04afe Except0 StringSet TypeMismatch
144cf55b611db10b128924dff40d465d4b518e14 Except0 StringSet TypeMismatch
1f7e3b91558165a2ebd72ca22165329f1026d20a Except0 NumRange TypeMismatch
bfb50900e2790d519517acfbb09713ae70756d23 Except0 NumRange TypeMismatch
84190470db9545dc080d20d4f3c173d91a857d4e Except0 TlcPermuteFun TypeMismatch
9d6f2c6b92f81e7ddae5c86c2e746c33925934f8 Except0 TlcPermuteFun TypeMismatch
6e739a02fa7ca884f9c009bb339d91d9cbfaedb5 Except0 BagBagToSet TypeMismatch
83c7fa9796bf3c4513ceac8db7eb5097caf79851 Except0 BagBagToSet TypeMismatch
2663256f1a111e3f58029b7db2fba78e857aaaa1 Except0 BagSetToBag TypeMismatch
4547e37d9641b53adf183000b59197d3bed7df5c Except0 BagSetToBag TypeMismatch
e9e464c97c14b9f3e215dcfa180d9daa5d5689fd Except0 BagBagIn TypeMismatch
b49425d5d0a02db7c9f491d7ca26dd0da7d17506 Except0 BagBagIn TypeMismatch
333158e76d7e4c9be18eb0ae323b44640f8991f0 Except0 BagEmptyBag TypeMismatch
3ee1e5b2ee508d6ced73ecef823096c67fc15952 Except0 BagEmptyBag TypeMismatch
e2deaa091599317c62ee7176bbe9a89c43d42879 Except0 BagAddBag TypeMismatch
8d8379faf773f65689a82e204d5de10a403d04cb Except0 BagAddBag TypeMismatch
98cb0b03a1f64fcb8d67141795b191dbdcfdddbc Except0 BagBagSub TypeMismatch
190ee1e9391f607e279b12d2d4266eb44b93c1c3 Except0 BagBagSub TypeMismatch
71dc0e1895c7f6e62e3038cccdca93371695110a Except0 BagCopiesIn TypeMismatch
89cee494a8af7e30eefbb789d9b977e8313709a2 Except0 BagCopiesIn TypeMismatch
c8a8d53f5a2fe72643c323bbdc97e809852c8211 Except0 BagSubsetEqBag TypeMismatch
89560cb00fa3509a62b589ccfe0b4061a3bc76fe Except0 BagSubsetEqBag TypeMismatch
b5854d3aa174af1d1c9ac5d0fbad31dfe50cc46b Except0 BagBagUnion TypeMismatch
357180f9f02e6f54590802e5dc15ee994fa8df07 Except0 BagBagUnion TypeMismatch
fc0c8970c3e4bd0947f66070624d97eb4a42c676 Except0 BagBagCardinality TypeMismatch
ec43e83df92e528e1a019437a9f4f121ba89eb7a Except0 BagBagCardinality TypeMismatch
e669bbd410e2d178452cd9ee2b5b15117a7a0006 Except0 BagBagOfAll TypeMismatch
72172941c2bc30cbac482ba70c862b58b7e4ab48 Except0 BagBagOfAll TypeMismatch
b3637ea98c46342eb7c4ed9774990e37a1ec2b18 Except0 BagSubBag TypeMismatch
cbad460411028698bb2192f3d618661ce8f9a231 Except0 BagSubBag TypeMismatch
fd169d053885bdd088a76836bede38b22b165421 Except0 FiniteSetsIsFiniteSet TypeMismatch
f6523030111489e0dc6b46f74bfcda9d8b8e3ae1 Except0 FiniteSetsIsFiniteSet TypeMismatch
31ab1eb9d6c1f617cd19063a4bb9cc24f09bf567 Except0 FiniteSetsCardinality TypeMismatch
d67a24b90d23d3de7de915601c9e8c21f3108e01 Except0 FiniteSetsCardinality TypeMismatch