Loading...
Searching...
No Matches
Go to the documentation of this file.
3#ifndef CPROVER_GOTO_INSPECT_GOTO_INSPECT_PARSE_OPTIONS_H
4#define CPROVER_GOTO_INSPECT_GOTO_INSPECT_PARSE_OPTIONS_H
9#define GOTO_INSPECT_OPTIONS \
11 "(show-goto-functions)" \