goto-diff(1) on Linux
The text b30b5b60fa7a, as Debian 13 (Trixie) shipped it. The page shows this text now.
Syntactic diff of goto binaries
Flags it lists
-
--assert-to-assume -
--backward-impact -
--bounds-check -
--compact-output -
--conversion-check -
--cover -
--cover-failed-assertions -
--div-by-zero-check -
--enum-range-check -
--error-label -
--float-div-by-zero-check -
--float-overflow-check -
--flush -
--json-ui -
--list-goto-functions -
--memory-cleanup-check -
--memory-leak-check -
--nan-check -
--no-assertions -
--no-assumptions -
--no-built-in-assertions -
--pointer-check -
--pointer-overflow-check -
--pointer-primitive-check -
--retain-trivial-checks -
--show-goto-functions -
--show-loops -
--show-properties -
--show-test-suite -
--signed-overflow-check -
--timestamp -
--undefined-shift-check -
--unified -
--unsigned-overflow-check -
--verbosity -
--version -
-u