You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
The text was updated successfully, but these errors were encountered:
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.
The text was updated successfully, but these errors were encountered: