Merge pull request diffblue#2095 from diffblue/get_json_stream_precondition

Daniel Kroening · web-flow · commit 290feb4bd4ff · 2018-04-21T14:50:56.000+01:00
precondition for get_json_stream()
diff --git a/src/util/ui_message.h b/src/util/ui_message.h
@@ -52,6 +52,7 @@ class ui_message_handlert : public message_handlert
 
   json_stream_arrayt &get_json_stream() override
   {
+    PRECONDITION(json_stream!=nullptr);
     return *json_stream;
   }
 

Original file line number	Diff line number	Diff line change
`@@ -52,6 +52,7 @@ class ui_message_handlert : public message_handlert`
`52`	`52`
`53`	`53`	`json_stream_arrayt &get_json_stream() override`
`54`	`54`	`{`
	`55`	`+ PRECONDITION(json_stream!=nullptr);`
`55`	`56`	`return *json_stream;`
`56`	`57`	`}`
`57`	`58`