Add new optional flags for the cprover contracts library.#224

remi-delmas-3000 wants to merge 1 commit into

model-checking:mastermodel-checking/cbmc-starter-kit:masterfrom

remi-delmas-3000:dfcc-lib-config-flagsremi-delmas-3000/cbmc-starter-kit:dfcc-lib-config-flagsCopy head branch name to clipboard