Merge pull request #264 from diffblue/p-command-line-option1

ebmc: fix -p command line option

Author: kroening

regression/ebmc/p-command-line-option/p-command-line-option1.desc

@@ -0,0 +1,8 @@
+CORE
+p-command-line-option1.v
+--bound 1 -p "some_value >= 1"
+^EXIT=0$
+^SIGNAL=0$
+^\[command-line assertion\] always main\.some_value >= 1: SUCCESS$
+--
+^warning: ignoring

regression/ebmc/p-command-line-option/p-command-line-option1.v

@@ -0,0 +1,10 @@
+module main(input clk);
+
+  reg [31:0] some_value;
+
+  initial some_value = 1;
+
+  always @(posedge clk)
+    some_value = some_value + 1;
+
+endmodule

src/ebmc/ebmc_properties.cpp

@@ -128,6 +128,8 @@ ebmc_propertiest ebmc_propertiest::from_command_line(
 
     auto property_string = cmdline.get_value('p');
 
+    language->set_message_handler(message_handler);
+
     exprt expr;
     if(language->to_expr(
          property_string,