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)