12 #ifndef CPROVER_GOTO_INSTRUMENT_DOCUMENT_PROPERTIES_H
13 #define CPROVER_GOTO_INSTRUMENT_DOCUMENT_PROPERTIES_H
27 #define OPT_DOCUMENT_PROPERTIES \
28 "(document-claims-latex)(document-claims-html)" \
29 "(document-properties-latex)(document-properties-html)"
32 #define HELP_DOCUMENT_PROPERTIES \
33 " --document-properties-html generate HTML property documentation\n" \
34 " --document-properties-latex generate Latex property documentation\n"
void document_properties_html(const goto_modelt &, std::ostream &out)
void document_properties_latex(const goto_modelt &, std::ostream &out)