Index

Skipped feature combinations by plug feature DefFunRecursive

Id Case Feature Plug Feature Skip Reason
b5fa40617b6c7f966c6a47824c3dabad7db7d102 OneLineComment DefFunRecursive CanNotBeCase
8710f8700eff77fd37233806a94105c15f0f8b3b OneLineComment DefFunRecursive CanNotBeCase
f9d518fd4f6da86b2015352b87971ca5e3bfd51d MultiLineComment DefFunRecursive CanNotBeCase
71c3d6fe68021b7faef8ec8d93e8f9366b579257 MultiLineComment DefFunRecursive CanNotBeCase
a635b460341423ca101cb9bed80aa0e504ef9c34 BoolTrue DefFunRecursive TypeMismatch
df32472f51366fc7611912f9b4f519566d9d0b61 BoolTrue DefFunRecursive TypeMismatch
bc68cfd9aa8ea4d057e25ca3fb23efabc037515b BoolFalse DefFunRecursive TypeMismatch
72e56df16c8b993f5c46b0090807d4d6c77d5832 BoolFalse DefFunRecursive TypeMismatch
3b5ce9544a1ab998f45f2765540e5b5499aded13 BoolSet DefFunRecursive CanNotBeCase
86f2094551d075dcc545d0c5d4c5e3b1fca549d4 BoolSet DefFunRecursive CanNotBeCase
ddf787362f0f70a08cca31ac08fdd85ba0e18f0a And DefFunRecursive TypeMismatch
5d56f1846c95729bd8ab020b7ff40b515356e471 And DefFunRecursive TypeMismatch
e9f8f4d8d96640c24b2a4ad3c7dd43dc175373fd AndMultiLine DefFunRecursive TypeMismatch
df16e96443406bf8de14d1fc1a1a01615c1480a9 AndMultiLine DefFunRecursive TypeMismatch
605c88693de767967f1002efa82e3f2ba5e030a3 Imply DefFunRecursive TypeMismatch
d810895821cb32058426c35022cb35cdde90abbd Imply DefFunRecursive TypeMismatch
ac9d9a423bb33e42c784baef7bf967dc976bc6fe Not DefFunRecursive TypeMismatch
7279240c6e6d01e1e7bd0f956599e335b3239670 Not DefFunRecursive TypeMismatch
d222469f4d129765c0efe17b60f5cb5add4c5106 Or DefFunRecursive TypeMismatch
b2fe7fa5fdd22ea6f2d1e35a9f536d7742c5095e Or DefFunRecursive TypeMismatch
2a8921c375466fe7fb43a44846351bd0d494cb27 OrMultiLine DefFunRecursive TypeMismatch
df993f847424d4cbfa961496ad6c674161bbe16b OrMultiLine DefFunRecursive TypeMismatch
cfe4321afea43198309c8ad73fe12737419d7288 AndProp DefFunRecursive TypeMismatch
8126a91cbb584fd1e5f2d6d61bd70d8395204ae6 AndProp DefFunRecursive TypeMismatch
395c580df6dd4b150d8a37a929524c694667a380 Boxed DefFunRecursive TypeMismatch
d5ddc8da9e78e21e8e998d8d16a8211c74be4b7b Boxed DefFunRecursive TypeMismatch
86d8846c46af229717756f42f337b5f10b934ce4 SetEmpty DefFunRecursive CanNotBeCase
8e83e693812b8de6d487fa9bc642ab663be345d5 SetEmpty DefFunRecursive CanNotBeCase
bef47c2c29854d0e8d4004ba2a0cd43acf042675 Set1InDef DefFunRecursive TypeMismatch
ff5886473e9b55c883205b19176dd6df2612de73 Set1InDef DefFunRecursive TypeMismatch
c39e8b073d963e134dda0b1ab602052c73454b31 Set2InDef DefFunRecursive TypeMismatch
bcec68d9a50cc9fe570e2030e65b84f82d65d429 Set2InDef DefFunRecursive TypeMismatch
f8b1b49546c5ab817e080accc936ee715d95dc24 InDef0 DefFunRecursive CanNotBeCase
165e05de89e2cc863e39afeed30acb839e1c2c16 InDef0 DefFunRecursive CanNotBeCase
4a8cbf994d179f87a5dcc300b86d2f89b6a47600 InDef1 DefFunRecursive CanNotBeCase
df2741720fbb1568781709a5d66c3ccd0818238e InDef1 DefFunRecursive CanNotBeCase
8e424be71bbe07810dc087ad4958a21af51bddfd InDef2 DefFunRecursive CanNotBeCase
bbd4c61e603cf75aaa2f40e26f01e091c11917ad InDef2 DefFunRecursive CanNotBeCase
4420629392a85eefc2ccf23c4e891768c2bf2cbf FunInDef DefFunRecursive TypeMismatch
6e3cc7f0f7e426e68f0fca12eda94c8993bd4796 FunInDef DefFunRecursive TypeMismatch
8035068d9b9ee41967488e65cae6150d82701521 Exists DefFunRecursive TypeMismatch
8d7664e381d266d5f396617c99a2b9444f13c811 Exists DefFunRecursive TypeMismatch
447e8563b51d9183541d4e58b63e47b0f14fb24b Forall DefFunRecursive TypeMismatch
806004883cdc17885163c7a9907f4af51570f5c9 Forall DefFunRecursive TypeMismatch
aa16d1111738c072da89ac463ab343e41e4cf35a ExistsInDef DefFunRecursive TypeMismatch
be9978330fac3064a810b175f2b564c0e57d5604 ExistsInDef DefFunRecursive TypeMismatch
a75978f74280c593e15c9115dd83e9b2356a9ef6 ForallInDef DefFunRecursive TypeMismatch
04601415e789f692c36f17c7d45dd1ee74803e28 ForallInDef DefFunRecursive TypeMismatch
5824ba21e56031faefafd0176c4624708012b9e6 Choose DefFunRecursive TypeMismatch
39ac189382e71933f70ea2fcc9348fc74b9e471f Choose DefFunRecursive TypeMismatch
ed1e139c34fbad607a0d5d5f37c501637b833bff ChooseInDef DefFunRecursive TypeMismatch
3c820331e141452652570623bbda04843eea60b7 ChooseInDef DefFunRecursive TypeMismatch
dbc5587e7bb3504f542b924de21e9398159c46b1 TupleEmpty DefFunRecursive CanNotBeCase
5a80c0079288d7269e8b39229da3712fb1486456 TupleEmpty DefFunRecursive CanNotBeCase
cac636ee84b4276ab1cf41d2b37d3bb3a7b5622f Except2FunTuple DefFunRecursive TypeMismatch
a1d36715264d9c6724a4ac3ef0bb575f8dac0999 Except2FunTuple DefFunRecursive TypeMismatch
4949272e7e419056e5f92b2c96a35db0bfe4bbce NumZero DefFunRecursive TypeMismatch
21c14aeec2f34a09e05f726db9c7896a55d538c2 NumZero DefFunRecursive TypeMismatch
343c5f442626f41c16f359075a29dbd1045d5f16 NumOne DefFunRecursive TypeMismatch
75640afdd0529199e07759b313268338fd91843f NumOne DefFunRecursive TypeMismatch
298ecc8d7728922ee2be52dba1bbf927bde8092e NumMaxInt DefFunRecursive TypeMismatch
1e57ba2c1cf6c976f5c281010c9e0ee25a44b7e5 NumMaxInt DefFunRecursive TypeMismatch
a2b7e05bfdffc2607160ddb62c376a528ef186a0 NumUnaryMinus DefFunRecursive TypeMismatch
165b0d185f0eaad2d684def2cba418787302d9ad NumUnaryMinus DefFunRecursive TypeMismatch
545eb44db7fb2ff6ee3de049db8e8581daf601c3 NumPlus DefFunRecursive TypeMismatch
36de7ac33ccb9c4ebd0e39a3c9bdeac9fe240a9a NumPlus DefFunRecursive TypeMismatch
83a1ed81a3bbdb2a6f0235d248e05aa00082899f NumMinus DefFunRecursive TypeMismatch
36a8282e28f8353cb73bcb57da63ee223e397f8e NumMinus DefFunRecursive TypeMismatch
553c3da83891ce22273eaedce9fef80adc1eb729 NumMul DefFunRecursive TypeMismatch
926f6d42771c93247884578e8408eeb34dae28e6 NumMul DefFunRecursive TypeMismatch
860b8c07419ecabaeb618400c9199b4961c0c01a NumDiv DefFunRecursive TypeMismatch
a0021d1bb18ca406fa364be8933a72244b0914cd NumDiv DefFunRecursive TypeMismatch
2253a2b77fa4efaddc26addbd89a6567ecc20873 NumMod DefFunRecursive TypeMismatch
29162d650f9c765d7b349ebf0619c455e481bb10 NumMod DefFunRecursive TypeMismatch
6aacdf3445b5878ae58ef4c916999721e31205b2 NumPow DefFunRecursive TypeMismatch
e9c0413737b1c65846cc3f4d3bbdbe6ee6c8a71a NumPow DefFunRecursive TypeMismatch
20d9a3af5bdeb4370f8dc3c723575cd6bacdac9e NumGt DefFunRecursive TypeMismatch
64f289d5f2fba1d5fa07439dca02e49a4e7c6afb NumGt DefFunRecursive TypeMismatch
dccf683bf371c97e71f31ef6e9ababf08abff4c8 NumGe DefFunRecursive TypeMismatch
7acc7fc68efbea66705efad0a1890acf099a7614 NumGe DefFunRecursive TypeMismatch
6061897d8f1f7bcb455ac01fb7e770f03c723b5a NumLt DefFunRecursive TypeMismatch
79678e931542f157c4cc5e0dbdd07093997c2213 NumLt DefFunRecursive TypeMismatch
752e3358544ce45ce447352a87e38964a455b1d6 NumLe DefFunRecursive TypeMismatch
a1fac3919b4e06573158cc21c129b58dfbed9899 NumLe DefFunRecursive TypeMismatch
f459e9d027d4adc6f063e518a6e608e5756f9f0c DefFunInDef DefFunRecursive TypeMismatch
f138a11933aa95bc2c031f393966448e2dcd1a46 DefFunInDef DefFunRecursive TypeMismatch
2b0c7a2bb8a63df6f19467ae12654516bcb00dc9 LetDefFunInDef DefFunRecursive TypeMismatch
476118200540bf8823eb5543425bdbf9ed7e6f4e LetDefFunInDef DefFunRecursive TypeMismatch
f60ffa6e8a9578fd5350cd440507e24d77e9862a ConstantModelValue DefFunRecursive CanNotBeCase
ff576e55658037ca08615c075c6984d9e098e991 ConstantModelValue DefFunRecursive CanNotBeCase
2a7c394dd4ea21a875b5aa42aacf1383a094b8e4 Enabled DefFunRecursive TypeMismatch
96eb71accea7176a56046bdd7d11356883abe2c8 Enabled DefFunRecursive TypeMismatch
9a4151aea8bb74f583ff87e0b2045b54092393b5 Assume DefFunRecursive TypeMismatch
bdb2e8fc71c85822248d2767674e82405cb12f0a Assume DefFunRecursive TypeMismatch
2b5d44f9db81e55c9aa462f811488e49ce02c8fd AssumeNamed DefFunRecursive TypeMismatch
95af98c1811a077b88b7d4c5afff18a3c371c49c AssumeNamed DefFunRecursive TypeMismatch
7a0d421fa91e3f37429e392096fccdcd29b66581 Cross2 DefFunRecursive TypeMismatch
dcb9156840cdb80398c2dd0e62dabd8f075202ef Cross2 DefFunRecursive TypeMismatch
60b17bc5237af589a1719d8a26992f6712f21db4 Cross3 DefFunRecursive TypeMismatch
b1d1b573e82b86bbc06f9ac4454e59d012e27295 Cross3 DefFunRecursive TypeMismatch
c0f0b50d537db9e6ea76f85f1ea68bfea2225387 FunSet DefFunRecursive TypeMismatch
606ca79bfb8476fc6dee85928a9e7150c9e39e13 FunSet DefFunRecursive TypeMismatch
0bdde1471dacf646a3bca103a6857e9d80a7d490 RecordSet DefFunRecursive TypeMismatch
e42399192df64f68c7ba9a6b6dbbf6ba97eaad7e RecordSet DefFunRecursive TypeMismatch
8b4cf53866d54c30e958919290e0e8cb670f7e62 SetDiff DefFunRecursive TypeMismatch
bf728cc8cb48c170ac7f58d09653d4efb7c6428c SetDiff DefFunRecursive TypeMismatch
8d18ea50f5b7fb1c566a0e7b11b37e267952faed SetUnion DefFunRecursive TypeMismatch
ce6a0583ff542a3c8d5fda83929ecdf48a912ec9 SetUnion DefFunRecursive TypeMismatch
ba680307d92f0412c22c0d4d3a68a7b38ba96c64 SetIntersect DefFunRecursive TypeMismatch
b870f397e6980d76a2abdabec56f36bbdfe64853 SetIntersect DefFunRecursive TypeMismatch
9d2688c2a9cac28ba22c8b35b2541a8cc6e0e27d SubsetEq DefFunRecursive TypeMismatch
1e96ec3beedfcda174e63868899e08adc3a8e525 SubsetEq DefFunRecursive TypeMismatch
f71e46fe4c89f75bc71f3637bb35529b42b60b33 IfCond DefFunRecursive TypeMismatch
d2d4dce44930500e76ca162280c759d9ed842de5 IfCond DefFunRecursive TypeMismatch
c61fd58839f6eb68e0b5ca76e09d7532d93cd9b6 Subset DefFunRecursive TypeMismatch
7d25c44085a225d1704949d126820fa95d0b4e8f Subset DefFunRecursive TypeMismatch
b8853c0784cd55a1e5e424a0a4702c886d3a266c Union DefFunRecursive TypeMismatch
9f14912621e1926e6cabc47cce2c02217eb7eed2 Union DefFunRecursive TypeMismatch
b029a5bd6df81caf17087d14fa92cbf8913d73cb Equivalence DefFunRecursive TypeMismatch
68b7b1c6d99fa5f7e58478b2aa53d3b51de66abc Equivalence DefFunRecursive TypeMismatch
76eb5c54d2ae0b8c953689c73672356ea9837682 StringEmpty DefFunRecursive TypeMismatch
de7ad3781ef12dc9dc701fb53e577d7d89ba9f5d StringEmpty DefFunRecursive TypeMismatch
8fb415072e96901b5c28e72e9d35ec0909263fa3 String DefFunRecursive TypeMismatch
31a76b9edeed179ac985337eee40252938542fe1 String DefFunRecursive TypeMismatch
c4bbb41c9364826898169c3058fd2b06bd112056 SeqLen DefFunRecursive TypeMismatch
3ce0f957c5820654061d7d04c02a517508251a0d SeqLen DefFunRecursive TypeMismatch
91113a0d014cd775fff3c5f777a5cafe9622fad7 SeqConcat DefFunRecursive TypeMismatch
509f538d524e2f7b0257191d1c6fb2681a581c85 SeqConcat DefFunRecursive TypeMismatch
f65373fe8a23cd7f7d945779e60b7094258e8bdf SeqSeq DefFunRecursive TypeMismatch
f913094fb03059c66074856c2eb01a2852cc5a1a SeqSeq DefFunRecursive TypeMismatch
5221d89ef24d7b5d16be4015fc77700e8575909e NatSet DefFunRecursive CanNotBeCase
1a0f3505f3db1a3a888922540c87241b74d6e443 NatSet DefFunRecursive CanNotBeCase
15431bb26fcbf30fde2f5ca464b59c162e118c55 IntSet DefFunRecursive CanNotBeCase
1846af45746a9a1cef12e41e0474ac327ed18b09 IntSet DefFunRecursive CanNotBeCase
fbbcd43ac38846fdda1acba740b8f909e0898bc1 StringSet DefFunRecursive CanNotBeCase
eeb23e69dd93601f3d339ba0a6d1e2746836b323 StringSet DefFunRecursive CanNotBeCase
ab6fbc80cc159eadfe49ec67fe5c202be95f1072 SeqSelectSeq DefFunRecursive TypeMismatch
455e03555e941cf6597f8e72f241f05f4bd752b6 SeqSelectSeq DefFunRecursive TypeMismatch
ab50eae673174189611b0b60989fb6e76937c5b7 SeqSubSeq DefFunRecursive TypeMismatch
e575790988efeaffb937c80707a842da8d666522 SeqSubSeq DefFunRecursive TypeMismatch
c68fa59a8f8f231161d69cea6e4574029a3efe98 NumRange DefFunRecursive TypeMismatch
1e1df96e5eb4fae6152a5c4ae108a67956c8ae1e NumRange DefFunRecursive TypeMismatch
70e8d91d7b692e62def594fd5ec541f9eaf278a4 TlcPermuteFun DefFunRecursive TypeMismatch
45bbf6e8a7bd91736d3c8af90aaa22244eec763f TlcPermuteFun DefFunRecursive TypeMismatch
df43ce2cd6c4762a94e1b3072f9259f6dac86fe9 TlcSortSeq DefFunRecursive TypeMismatch
fccb28b28245fa2a74f745afdd223c7df633ff32 TlcSortSeq DefFunRecursive TypeMismatch
27f60ff65840ef87528972ac980fa277a3a98bc2 BagBagToSet DefFunRecursive TypeMismatch
b1ac1346122f46bdc3f74af93740b4cd8af94641 BagBagToSet DefFunRecursive TypeMismatch
09dbdca41fa195883ed7c441f31361e0f118cb49 BagSetToBag DefFunRecursive TypeMismatch
1ea0032bc41d64e9dc8bbc35fbbefca0a2aaf916 BagSetToBag DefFunRecursive TypeMismatch
94b7b9793f0eb4152c3b4175de306061114b292f BagEmptyBag DefFunRecursive CanNotBeCase
686af2c8232f10a4a0cb293fffef1f11b0a8d17a BagEmptyBag DefFunRecursive CanNotBeCase
bdfbbaa69ae71d1ba1eecbd49493cdd346834540 BagAddBag DefFunRecursive TypeMismatch
6138c96412fb6404a9d785a4f35e251d310af08d BagAddBag DefFunRecursive TypeMismatch
3a34ef4838c1ce29204bf38a3964652f44801085 BagBagSub DefFunRecursive TypeMismatch
3cccace89a961eb15538242970ef2ffdd2b0a178 BagBagSub DefFunRecursive TypeMismatch
e85aa84f3ffb0236ef3cc4f9b385f40a255392b3 BagSubsetEqBag DefFunRecursive TypeMismatch
63455da3ae86ee734579b089fd94f3584f35823a BagSubsetEqBag DefFunRecursive TypeMismatch
fafdc0073cbedf895ed79f1b4a27320ea65e2524 BagBagUnion DefFunRecursive TypeMismatch
7351b4af8df9a083e498a2d96ef71c288a558454 BagBagUnion DefFunRecursive TypeMismatch
a67f43738d1dd91fa25e84776f5cae7ed9237adf BagBagCardinality DefFunRecursive TypeMismatch
303289aa74f90b25d61439ac9ea1b9b299163d94 BagBagCardinality DefFunRecursive TypeMismatch
1f2bc5b7023af7c780e8e7bcdfa8fc6317c8b094 BagBagOfAll DefFunRecursive TypeMismatch
8d9135cab09c401ba194a6c7d4c4961b8ce4d215 BagBagOfAll DefFunRecursive TypeMismatch
0f328a3422096f3d567bf5b09c836fe3f5eb51cf BagSubBag DefFunRecursive TypeMismatch
eca715ee99656db5445e8963619c8ba0082d259e BagSubBag DefFunRecursive TypeMismatch
fbbf1d244d1f9a03ba04b1e969f767b2ed6696f7 FiniteSetsIsFiniteSet DefFunRecursive TypeMismatch
719f6401878283366a0d148854bc4da60f4f1690 FiniteSetsIsFiniteSet DefFunRecursive TypeMismatch
4da734e2ff7d85dae01d3403bfb471229714b9f3 FiniteSetsCardinality DefFunRecursive TypeMismatch
ad0b2a3bdec20e5fa5217d0b0335e0ea2dc074b6 FiniteSetsCardinality DefFunRecursive TypeMismatch
3a1c1bd112077c22ab0b1d4301392a9abe55741d SeqHead DefFunRecursive TypeMismatch
f0e58acbf198d09c905c2ca6c3691098c5bbe776 SeqHead DefFunRecursive TypeMismatch
fb553e01068d602536931d2c6953186b658459b6 SeqTail DefFunRecursive TypeMismatch
686f492186f7f2652696f957d7f5d52a8cdb5d04 SeqTail DefFunRecursive TypeMismatch