output statements

Daniel Kroening · Daniel Kroening · commit 3896110f5609 · 2017-09-12T10:46:29.000+01:00
diff --git a/src/path-symex/path_symex.cpp b/src/path-symex/path_symex.cpp
@@ -1090,6 +1090,10 @@ void path_symext::operator()(
       {
         // just needs to be recorded
       }
+      else if(statement==ID_output)
+      {
+        // just needs to be recorded
+      }
       else
         throw "unexpected OTHER statement: "+id2string(statement);
     }

Original file line number	Diff line number	Diff line change
`@@ -1090,6 +1090,10 @@ void path_symext::operator()(`
`1090`	`1090`	`{`
`1091`	`1091`	`// just needs to be recorded`
`1092`	`1092`	`}`
	`1093`	`+ else if(statement==ID_output)`
	`1094`	`+ {`
	`1095`	`+ // just needs to be recorded`
	`1096`	`+ }`
`1093`	`1097`	`else`
`1094`	`1098`	`throw "unexpected OTHER statement: "+id2string(statement);`
`1095`	`1099`	`}`