symex no longer needs partial inlining by default

peterschrammel · peterschrammel · commit d403a96b2866 · 2017-09-16T13:10:25.000+01:00
diff --git a/lib/cbmc b/lib/cbmc
@@ -1 +1 @@
-Subproject commit e54c0e9dcba0e0cd3e16172f566ee36cdc328d09
+Subproject commit 2b050a063ee60ee88b45409d533b409cf1efc26a
diff --git a/src/symex/symex_parse_options.cpp b/src/symex/symex_parse_options.cpp
@@ -296,10 +296,6 @@ bool symex_parse_optionst::process_goto_program(const optionst &options)
     // we add the library
     link_to_library(goto_model, ui_message_handler);
 
-    // do partial inlining
-    status() << "Partial Inlining" << eom;
-    goto_partial_inline(goto_model, ui_message_handler);
-
     // add generic checks
     status() << "Generic Property Instrumentation" << eom;
     goto_check(options, goto_model);
