David Bühler authored 3 years ago and Andre Maroneze committed 3 years ago

According to the name of the corresponding domains.

[Ptests] Allows 'FILTER: diff %{dep:../oracle/@PTESTS_ORACLE@}' to compare the current log file with the corresponding oracle of another configuration

New experimental warning for the traces domain.

As it is redundant with all the information displayed during the analysis.

Separate from EVA_CONFIG, which also disables the other plugins.

- Fix Value/Value#5
- Fix Value/Value#14

Some case studies (e.g. dyad) use some ugly casts from fd_set_t which lead
to the analysis stopping too early.
Changing the representation of fd_set_t should also help it better conform to
the standard (since a fd_set_t should be able to hold FD_SETSIZE elements).

[Ptests] preserve LOG after STDOPT directive

See merge request frama-c/frama-c!2073

This is absolutely not a sneaky attempt to relaunch a build (now that OCI seems
in better shape) pushing a nearly empty commit.