1 2 3 4 5 6 7 8
# # Option specification file for CVC4 # See src/options/base_options for a description of this file format # module PROOF "proof/options.h" Proof endmodule