Fixes #1093

[tests] removes -journal-disable & -check options that are already defined in @PTEST_DEFAULT_OPTIONS@

- use of cannot is apparently preferred over can not
- hov box without formatting hints is useless. Besides, opening
  an inner box very late on the line is usually not a good idea.

Only the functions whose body is analyzed are counted as covered by the
analysis. The functions reached by the analysis but for which a builtin or the
specification is used are not considered analyzed anymore.

Summary: computes statistics only for analyzed function. Returns [None] for
other functions.

most differences in Eva oracles come from the fact that now anonymous arguments are taken into
account when generating default assigns for prototypes with empty specs.

only type attributes are relevant here.

Fixes #1012

Lionel Blatter authored 4 years ago and Virgile Prevosto committed 4 years ago

Update oracle.