DAILLER Sylvain f91bb58b89 Generalization of check_unused_vars to logic and program decl ...

Description:
- Choice was made to not add unused variables when there is no contract
  and no body (no pre/(x)post, and no body).
- For postcondition variable result, we only check variables that are not
  of unit type. And, we report a warning only if the variable is not present
  in all the ensures.
- For result variable, with several imbricated raise, it seems possible to
  have false positive with no location. Removing the no location case which
  seems unhelpful anyway

2019-08-20 15:48:44 +02:00

..

346_unused_variables_2.mlw

Generalization of check_unused_vars to logic and program decl

2019-08-20 15:48:44 +02:00

346_unused_variables_9.mlw

Generalization of check_unused_vars to logic and program decl

2019-08-20 15:48:44 +02:00

booleans.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

complex_arg_1.mlw

Generalization of check_unused_vars to logic and program decl

2019-08-20 15:48:44 +02:00

complex_arg_2.mlw

Generalization of check_unused_vars to logic and program decl

2019-08-20 15:48:44 +02:00

exceptions.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

exns.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

for.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

labels.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

list.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

loops.mlw

Generalization of check_unused_vars to logic and program decl

2019-08-20 15:48:44 +02:00

mutual_exns.mlw

Generalization of check_unused_vars to logic and program decl

2019-08-20 15:48:44 +02:00

mutual.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

oldify.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

po.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

poly.mlw

updated bench/

2016-02-22 16:10:13 +01:00

rec_oldies.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

recfun.mlw

Generalization of check_unused_vars to logic and program decl

2019-08-20 15:48:44 +02:00

scopes.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

see.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

set.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

tuples.mlw

updated bench/

2016-02-22 16:10:13 +01:00

wpcalls.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00