Merge pull request #2049 from karkhaz/kk-factor-goto-model-processing

Factor out goto model processing and default options

Author: tautschnig

src/cbmc/bmc.h

@@ -321,7 +321,8 @@ class path_explorert : public bmct
   "                              (use --show-loops to get the loop IDs)\n"     \
   " --show-vcc                   show the verification conditions\n"           \
   " --slice-formula              remove assignments unrelated to property\n"   \
-  " --unwinding-assertions       generate unwinding assertions\n"              \
+  " --unwinding-assertions       generate unwinding assertions (cannot be\n"   \
+  "                              used with --cover or --partial-loops)\n"      \
   " --partial-loops              permit paths with partial loops\n"            \
   " --no-pretty-names            do not simplify identifiers\n"                \
   " --graphml-witness filename   write the witness in GraphML format to "      \