Index

Skipped feature combinations by plug feature DefFun

Id Case Feature Plug Feature Skip Reason
05ea2fc66be6c78b2da1cd2b7bd3ed27261c5983 OneLineComment DefFun CanNotBeCase
7961a1e99bb469239a28e7753cdaa847b1a144d3 OneLineComment DefFun CanNotBeCase
39130561a9a3cd84dd7787771c3eac0577cccc51 MultiLineComment DefFun CanNotBeCase
855cbc15c78004a2306f7611d7c5f1b1b52bb8d1 MultiLineComment DefFun CanNotBeCase
2e5f47afadf3b84d80249dd7efc2ffef9930679e BoolTrue DefFun TypeMismatch
900a6c61c742e8a5201b54356e602a342ac16f8b BoolTrue DefFun TypeMismatch
9f9d96c1c92c87664d564acecb319c2627e0a0b4 BoolFalse DefFun TypeMismatch
47b2cf3457141ed88dec0d6a1660b4e5358c253b BoolFalse DefFun TypeMismatch
697ecaf571e3d1e4360d379a212e0e8eea567062 BoolSet DefFun CanNotBeCase
d632f63bab0fcc4b8dde12c5f79f82dffcd36b01 BoolSet DefFun CanNotBeCase
86b46ab119db4b7438c71e7fdf4a00ddeb0e207a And DefFun TypeMismatch
ca1ea3e3372204a9d192bbca0674732c9a0e5a2f And DefFun TypeMismatch
0c4d022b270b7b8e93a146b5efe191fd7e31ae35 AndMultiLine DefFun TypeMismatch
a78fde128fda45a18424774383e30c10f1f0c06b AndMultiLine DefFun TypeMismatch
4cef44983e6e43a09fb602a4b4bed33cf48962b3 Imply DefFun TypeMismatch
3669f3f402793237dcdd5871fd79daa2f8263543 Imply DefFun TypeMismatch
902fa1e1555a61ff635dbbcd22ab7585d06b7fa8 Not DefFun TypeMismatch
b315e98125c52518c782ddddd58f54d55a7a1ac7 Not DefFun TypeMismatch
d652b2ef74ce10abfeda7f4a8750e9c6f8bc3a2c Or DefFun TypeMismatch
9e177b2c9f0ab828ed3b16860be7411b4094102a Or DefFun TypeMismatch
e84348ebdb840e5d98a15458e9208fc046b64f8b OrMultiLine DefFun TypeMismatch
e812f3c5c593d0393b0d96064db5bd5ec68566ac OrMultiLine DefFun TypeMismatch
ddefe67aafaf28d0640c82fef10826026125c5e0 AndProp DefFun TypeMismatch
db8d46e71d9689ced048e0bf78b88b3933398b58 AndProp DefFun TypeMismatch
b1cb8219b5ca709a6c86cc1f9fafc7ad0d063ef0 Boxed DefFun TypeMismatch
f45c54b2a552b47a35ca3ecdceab72d1608b5d0b Boxed DefFun TypeMismatch
4414fc885c8398806195a98ab6bf13a91a62fac2 SetEmpty DefFun CanNotBeCase
fb5618075015ce99df155aff3cf1b40764b3dd71 SetEmpty DefFun CanNotBeCase
53d9f6288e1ed9b97de3989397476da2453d413e Set1InDef DefFun TypeMismatch
d80dc48b22f48b126f83f59f6309f1d6b507e57a Set1InDef DefFun TypeMismatch
dd2cd86675178008cf3da4b5ee04a069283c5962 Set2InDef DefFun TypeMismatch
5250d9fc111b54190d9f51fd42c7edc9d7bece17 Set2InDef DefFun TypeMismatch
396a071318ae9b9a98030a5cab34e04a326ff026 InDef0 DefFun CanNotBeCase
e62dcf1c21fb63ae42da852905861eccaf65afe6 InDef0 DefFun CanNotBeCase
372271d1624778a33c48a35816bd9afd201965ba InDef1 DefFun CanNotBeCase
f705ada3a17f2a09a24bbfff07cb21578d40b0ae InDef1 DefFun CanNotBeCase
29a32bb399e3969668c4afbc58d8f02604973413 InDef2 DefFun CanNotBeCase
289565f3eaaf876287894c0bccb8f302ac770fa0 InDef2 DefFun CanNotBeCase
f9ed7945a4d5b8520237ee9f0284af539e3200c8 FunInDef DefFun TypeMismatch
82e224421c901495fbcc2ba78e2cce22530ae224 FunInDef DefFun TypeMismatch
0d6bdfd986b2be1fd1f09f18b6f8749a51b12358 Exists DefFun TypeMismatch
864cf3870d7f9de38d2d554b21eca6defcdec21e Exists DefFun TypeMismatch
200af449bf4bf2bd9316ccb4632a3d68afa02fbe Forall DefFun TypeMismatch
82c246924f87889deb4b2cd19f686c1a2ebcf1f3 Forall DefFun TypeMismatch
45dc2216319465a8f3a30397497df6289b1ce9f0 ExistsInDef DefFun TypeMismatch
29db8d79ff3caf3ac04e6abad59fb3f5793e57fc ExistsInDef DefFun TypeMismatch
2445b75561de9adf53ad4614880c9cdba23b5bd5 ForallInDef DefFun TypeMismatch
3ef43daf9af5350b96ed7dbbfbb99365e32ae87b ForallInDef DefFun TypeMismatch
a183d5fd5ea70dbfe2b2713015a86260d57a475f Choose DefFun TypeMismatch
6c1e68a2e3d486f081e61ee0f4bed1fefbe12a47 Choose DefFun TypeMismatch
22f504073bdb033bfc312ad728b866da40740d1e ChooseInDef DefFun TypeMismatch
1b84410db2aeb3707c9ae43d96abaacdbc7042b3 ChooseInDef DefFun TypeMismatch
95219bf4772dc054cda13b7a72ca80997aeddeaf TupleEmpty DefFun CanNotBeCase
880530276e4fb36cdede10d28f372ef55a1e06c4 TupleEmpty DefFun CanNotBeCase
0b215802a364e0259deff74a7f904c3c9c922b97 Except2FunTuple DefFun TypeMismatch
5bf6ab8833c77cbfc084de6e03fce91dac5e79d8 Except2FunTuple DefFun TypeMismatch
341a537c2a1c8b845e58b584f97c6ce65c1df776 NumZero DefFun TypeMismatch
a869137092c2aba592d935b17887a1f9774ca981 NumZero DefFun TypeMismatch
5be4db3492851fa370a7b1210118c1d7be0c8006 NumOne DefFun TypeMismatch
32a1483943320ad69c041f014eef67205a32901d NumOne DefFun TypeMismatch
ac08789ee89822fa92d5f143211e5452acb5972e NumMaxInt DefFun TypeMismatch
e6d9da46da1400736f8dfaa33b121b13d29599c3 NumMaxInt DefFun TypeMismatch
ca3982bb1b4cbc9fd32af35f772c145d5d2b9af8 NumUnaryMinus DefFun TypeMismatch
45f2c60f25dc4e2bf7dd8f229669d445c6ac649e NumUnaryMinus DefFun TypeMismatch
8f1f585b80122b697a3ea57ea3803dcc89218ae0 NumPlus DefFun TypeMismatch
e286fcbd4e76109c68e115a904649258da578441 NumPlus DefFun TypeMismatch
c46fde424f8d03e143da41ea094cb0ff2e23d426 NumMinus DefFun TypeMismatch
209e0edd246fe3b5c01e96baf0bd9de0d0a6e8ee NumMinus DefFun TypeMismatch
953c926a4a7927c738e3476a02e9f4ac30e7c979 NumMul DefFun TypeMismatch
b7172c445972ac96fe1c6175e3070bbb80e02507 NumMul DefFun TypeMismatch
8d16749802e963c5c64a049c144952edbe6d3cc0 NumDiv DefFun TypeMismatch
91382e38c88cf8c0b9a7b99792afd3249ba99ba2 NumDiv DefFun TypeMismatch
1e798f5e1ff61fb3a9f521780543d979786159a2 NumMod DefFun TypeMismatch
52d613348c663a6d62903b1eed806e963d7cb021 NumMod DefFun TypeMismatch
c4c9d974cb2852753502372155c4a05bbcc5c6e8 NumPow DefFun TypeMismatch
30a3181c5a18313834d540c5bddcc0cc9636c378 NumPow DefFun TypeMismatch
28ebe194515e46d1f6e84b264d67e94c5e5fa3dc NumGt DefFun TypeMismatch
b361f0dd7996904505f2e3a51d342c16dee184b9 NumGt DefFun TypeMismatch
84a81d8dbd7a009605f3b52481cbe93d3d76ae8d NumGe DefFun TypeMismatch
45d17d475522298166a706968be8305480bc42db NumGe DefFun TypeMismatch
01dea35d1ed39d8c3be52c1446531dae22486cfe NumLt DefFun TypeMismatch
253d1589cc5682cdf4bc652bb533f267ea97ba07 NumLt DefFun TypeMismatch
c79da7dbdc211ca1908c12ff4758f96fdddfbd4b NumLe DefFun TypeMismatch
c4762fe97eecf52edbb06c8ef4af950684635cba NumLe DefFun TypeMismatch
2a3612e415994f4b8fa55210bb50524e38c69ba9 DefFunInDef DefFun TypeMismatch
cbfb130cc087360580a291354247315a1931d3ae DefFunInDef DefFun TypeMismatch
34161e85de0b557617c15babf1361849d539f24c LetDefFunInDef DefFun TypeMismatch
72643ae5a59a1e36b0bcc4f647f622bbe99d3f53 LetDefFunInDef DefFun TypeMismatch
c493ee824d16c3d80f4d220645cb2e65b411c571 ConstantModelValue DefFun CanNotBeCase
6bc24df07e05b76cf18fb88f53f0b2a6be77e4af ConstantModelValue DefFun CanNotBeCase
e5322ec9e28d644ccd25f50b92b5fa959fe9cb92 Enabled DefFun TypeMismatch
7b5bc92bb7bfd7ee8418643fc49c7afefff68eb5 Enabled DefFun TypeMismatch
ae37b7ebb6595d8317d2945582a30ada97f73a6f Assume DefFun TypeMismatch
3ea5122266663377956e4c11d933411b643a209b Assume DefFun TypeMismatch
13a36a854cda8b8ba2e6a274029d77eae5c0dcac AssumeNamed DefFun TypeMismatch
18c7565d13f6afb00373f74704575cfbdff99a89 AssumeNamed DefFun TypeMismatch
a8d478026f5465a601e83bb92b2c49aa6bf00fae Cross2 DefFun TypeMismatch
4406b05c7bcfc31c397a8dbd314e272f07ed9e1f Cross2 DefFun TypeMismatch
f317a2cfb9b8d73746ded3254d640d0a6dfcc665 Cross3 DefFun TypeMismatch
aa4ec1330a5911335063c44102b10c6f3b2bdf61 Cross3 DefFun TypeMismatch
0a5f73c427a7b778630d16fc58062ed54b0350be FunSet DefFun TypeMismatch
72b14343a3569346a5f5c21e7718ffecd4bb33df FunSet DefFun TypeMismatch
031a41255fafea250a00aefc35dd4e53f0058ace RecordSet DefFun TypeMismatch
60b4219d3762c02f56859fca6eab3a8b34482ce2 RecordSet DefFun TypeMismatch
2f665bfeb736bb9ce5f81683955457c747d8f4ba SetDiff DefFun TypeMismatch
32d4631b9eab8cdd91ea800a6f0822c6a9bee0bf SetDiff DefFun TypeMismatch
f7bd6e927f6fe4d5a308629166a307d4097a9bdb SetUnion DefFun TypeMismatch
0de8fe94b3b091ff13f0ac93b98ee041ac898992 SetUnion DefFun TypeMismatch
68ffb82a1041fee3541cafb672d1f1c00c19b484 SetIntersect DefFun TypeMismatch
486e88d9413a3ee33b517e21d6057fed2bc8da84 SetIntersect DefFun TypeMismatch
c3f880e66034242511d1ea1cfb5ab4956f7e4efe SubsetEq DefFun TypeMismatch
d10be91d16394c9838780077d1b6ba520d7a1d05 SubsetEq DefFun TypeMismatch
558e7537c9a8709f042323afadc501263afdd3a1 IfCond DefFun TypeMismatch
d25b29ad1ea659abd8534fd5dfd5eb3550827060 IfCond DefFun TypeMismatch
0357fb77dc4940950f11e7196229785cd1a41700 Subset DefFun TypeMismatch
d273ba5e8fac9c3c2078e5a82e014dfb68cfd6ef Subset DefFun TypeMismatch
97bae7e062ac3f796195ae5385ed21db355dcddb Union DefFun TypeMismatch
a5874b203d84f59206893c1ba1385e9982f27323 Union DefFun TypeMismatch
9ad2b21a2c19fd54307bfc3b257fb446e5f6321c Equivalence DefFun TypeMismatch
2c8639f8f29f8ef38f7b07f80668c919c17de6c4 Equivalence DefFun TypeMismatch
8532ba5b83febcf85dcebb01f5e39d00a4e05d0e StringEmpty DefFun TypeMismatch
cbe17e933ece1cbbc4efd7f9bdc0f2e08a182460 StringEmpty DefFun TypeMismatch
5c4c9f3fcf40e562e0ec19c1cb785446139a5e56 String DefFun TypeMismatch
b1ea44fa33b04f96765004907c4724ce226eab73 String DefFun TypeMismatch
4f8541bffa76d4abfdc4d95b19bf690994531a6b SeqLen DefFun TypeMismatch
ea574b93f457c2270208468205eeab56443094a4 SeqLen DefFun TypeMismatch
33f1efbe8aa092ba8695a12fb6bc86726849c8e7 SeqConcat DefFun TypeMismatch
e498c403eda0edda1556f4dac03d70785d9f84a2 SeqConcat DefFun TypeMismatch
873e3e3bfc5ca9e19a12ebd06888078047acb832 SeqSeq DefFun TypeMismatch
14f8df0c024ae8503c1d02e6c220d78e810ba9f2 SeqSeq DefFun TypeMismatch
1f92118bf8fc9e6cd03ca03ae05ba3ae5275fb97 NatSet DefFun CanNotBeCase
f825180b8aab11a9cd38883b07c49d81982ae0bd NatSet DefFun CanNotBeCase
8d66a717b21fca6bdda9beabfabaece6b6bff239 IntSet DefFun CanNotBeCase
4c48cefec5bef1388b7c52519d72800f57b681a0 IntSet DefFun CanNotBeCase
06400122ab32d0ce14ec951f2575088b16f3cb53 StringSet DefFun CanNotBeCase
b43fa513e7c2405142156ce77ffc877dcbd95a89 StringSet DefFun CanNotBeCase
fd4574c9e60fe18c0b6c3cfc065d46888ccd1a83 SeqSelectSeq DefFun TypeMismatch
7dc072f9f5c434669fea9f6d15273eacecf6314b SeqSelectSeq DefFun TypeMismatch
59db5a308e5ee23e90ddcfaa109ade5175b3cfde SeqSubSeq DefFun TypeMismatch
db20ac6437805376ba27871437ef0a50b457a36f SeqSubSeq DefFun TypeMismatch
776211bf22299982b801729466ad2992c812af0b NumRange DefFun TypeMismatch
c917a16fd552a8bdc494245f540dec877466e5c9 NumRange DefFun TypeMismatch
a2cbd75aacb785c808f3aad9bc3f3efb47382d47 TlcPermuteFun DefFun TypeMismatch
c070acef3d520f3543385b765d9b09f1d7aa6d9e TlcPermuteFun DefFun TypeMismatch
8dcd256f78903448f75dca92abbc677e37d242dd TlcSortSeq DefFun TypeMismatch
e2a409561e3e0fe8d9687259650c1ccc873f7355 TlcSortSeq DefFun TypeMismatch
00b85b75157a10b4ac495cddc501a458cc8fa5dd BagBagToSet DefFun TypeMismatch
914a69cec6ef3d2dad8a5fdcc3cfccb1f2d21592 BagBagToSet DefFun TypeMismatch
f4a4bb0d3d1d4d3721b32b13d42a4f323617249e BagSetToBag DefFun TypeMismatch
b04111038320a84c70e4ae17b6d14a638028002f BagSetToBag DefFun TypeMismatch
03aad12df626d6248c31738d888d33cbe6a4c48a BagEmptyBag DefFun CanNotBeCase
7ddb12af1ae6d8148780f4041308f57806495b76 BagEmptyBag DefFun CanNotBeCase
b86adefb21227eeca09d9a9e47e6f8d101d9a826 BagAddBag DefFun TypeMismatch
cb9c9c66dd3b939c2f9d3dca79ff081c9d0a75ff BagAddBag DefFun TypeMismatch
377e834f5b81f1354b641b013c12e141d89b83d1 BagBagSub DefFun TypeMismatch
f5d976d5d8fcdc78efb8647f45c889ca70460ac8 BagBagSub DefFun TypeMismatch
5e13d848ebed08e3915f2c6f826dc449419d9d45 BagSubsetEqBag DefFun TypeMismatch
5383e9d3d2bd9bbe23ba7e32fb6d2e952422d3df BagSubsetEqBag DefFun TypeMismatch
bcf634aa0681a5bbecf5b844313506cd108ea693 BagBagUnion DefFun TypeMismatch
ee51ea85ff790a0bf734fd75be8f117eb5b98029 BagBagUnion DefFun TypeMismatch
09710dee7ffa34cee272e7c047c8535ae7d5cc3e BagBagCardinality DefFun TypeMismatch
586b656e6d77ac73c69cb35be539d0df29a13b27 BagBagCardinality DefFun TypeMismatch
04831b604971f985d5b8223af3a851b84e1ae202 BagBagOfAll DefFun TypeMismatch
d43c7dfab0637c9efc300ab3489fc64aff3bc854 BagBagOfAll DefFun TypeMismatch
b27a7b64f47c162216454d60e86cce5975fd1a28 BagSubBag DefFun TypeMismatch
80dc1f9d3d4b0ee0dcc9107b1626b7745e851535 BagSubBag DefFun TypeMismatch
dcaf44adeb808e332ac7231a1c403ec6273c6235 FiniteSetsIsFiniteSet DefFun TypeMismatch
1f28dc9c3bed042688d28d849637328d53ad5635 FiniteSetsIsFiniteSet DefFun TypeMismatch
0d17044af4b1f8dce9a261cb148ea4741bc8de85 FiniteSetsCardinality DefFun TypeMismatch
e1cb3f3f0d9e6b6d86f59f96a8a21e3d54434072 FiniteSetsCardinality DefFun TypeMismatch
98ea9a7c8c5a9345988d00fe1028235d05cf45aa SeqHead DefFun TypeMismatch
72a98460e0ee15f39139fe76b1b90e94bcfe2474 SeqHead DefFun TypeMismatch
4131810529539ec1894185098424a63d1f9c18d1 SeqTail DefFun TypeMismatch
b5572f04445ad19799a40a4b8723dd5f9e081daf SeqTail DefFun TypeMismatch