Merge pull request diffblue#21 from diffblue/smowton/feature/disable_start

Disable _start function

Author: smowton

src/driver/sec_driver_parse_options.cpp

@@ -198,6 +198,10 @@ int sec_driver_parse_optionst::doit()
 
   goto_model.set_message_handler(get_message_handler());
 
+  // Prevent generation of _start, which isn't necessary for our analysis
+  // and can be costly:
+  goto_model.generate_start_function = false;
+
   if(goto_model(cmdline))
     return 6;