When simultaneously providing the --gen-exclude=GEN_LIST and --exclude=EXC_LIST command-line switches, it looks like verrou excludes EXC_LIST symbols from the list generated in GEN_LIST. However, EXC_LIST symbols are still instrumented (i.e. rounding-modes are perturbated if --rounding-mode=random is provided as well).
Is such a behavior intended? If so, the documentation should mention it.
When simultaneously providing the
--gen-exclude=GEN_LISTand--exclude=EXC_LISTcommand-line switches, it looks like verrou excludes EXC_LIST symbols from the list generated in GEN_LIST. However, EXC_LIST symbols are still instrumented (i.e. rounding-modes are perturbated if--rounding-mode=randomis provided as well).Is such a behavior intended? If so, the documentation should mention it.