Warn user when unsound flags are enabled.#6479

Merged

NlightNFotis merged 6 commits intodiffblue:developfrom

NlightNFotis:warn_unsound_flags

Mar 1, 2023

Commits on Feb 28, 2023

Remove (broken) code contracts link from CPROVER manual
tautschnig
committed
CPROVER manual: consistent formatting of headings
tautschnig
committed
Add missing newline in help output
tautschnig
committed
Synchronise help output with actual support for --fp-reachability-slice
tautschnig
committed
Issue warnings when options may yield unsound verification results

NlightNFotis
authored and
tautschnig
committed
Explain unsound and experimental options in documentation.

NlightNFotis
and
tautschnig
committed