goto-harness(1) on Linux
The text fa53aa382586, as Debian 13 (Trixie) shipped it. The page shows this text now.
Generate environments for symbolic analysis
Flags it lists
-
--associated-array-size -
--function -
--function-pointer-can-be-null -
--harness-function-name -
--harness-type -
--havoc-member -
--havoc-variables -
--initial-goto-location -
--initial-source-location -
--max-array-size -
--max-nondet-tree-depth -
--memory-snapshot -
--min-array-size -
--min-null-tree-depth -
--nondet-globals -
--pointer-as-array -
--size-of-array -
--treat-pointer-as-array -
--treat-pointer-as-cstring -
--treat-pointers-equal -
--treat-pointers-equal-maybe