added stop-on-fail cmdline option

Author: Daniel Kroening

src/symex/symex_parse_options.h

@@ -37,7 +37,7 @@ class optionst;
   "(string-abstraction)(no-arch)(arch):(floatbv)(fixedbv)" \
   "(round-to-nearest)(round-to-plus-inf)(round-to-minus-inf)(round-to-zero)" \
   "(show-locs)(show-vcc)(show-properties)(show-trace)(show-goto-functions)" \
-  "(property):" \
+  "(property):(stop-on-fail)" \
   "(no-simplify)(no-unwinding-assertions)(no-propagation)"
   // the last line is for CBMC-regression testing only