draw Gentzen turnstile using Unicode

Daniel Kroening · Daniel Kroening · commit f2fa169b73b8 · 2018-08-28T16:22:34.000+01:00
diff --git a/src/cbmc/show_vcc.cpp b/src/cbmc/show_vcc.cpp
@@ -66,7 +66,10 @@ void bmct::show_vcc_plain(std::ostream &out)
         }
       }
 
-    out << "|--------------------------" << "\n";
+    // Unicode equivalent of "|--------------------------"
+    out << u8"\u251c";
+    for(unsigned i=0; i<26; i++) out << u8"\u2500";
+    out << '\n';
 
     std::string string_value=
       from_expr(ns, s_it->source.pc->function, s_it->cond_expr);

Original file line number	Diff line number	Diff line change
`@@ -66,7 +66,10 @@ void bmct::show_vcc_plain(std::ostream &out)`
`66`	`66`	`}`
`67`	`67`	`}`
`68`	`68`
`69`		`- out << "\|--------------------------" << "\n";`
	`69`	`+ // Unicode equivalent of "\|--------------------------"`
	`70`	`+ out << u8"\u251c";`
	`71`	`+ for(unsigned i=0; i<26; i++) out << u8"\u2500";`
	`72`	`+ out << '\n';`
`70`	`73`
`71`	`74`	`std::string string_value=`
`72`	`75`	`from_expr(ns, s_it->source.pc->function, s_it->cond_expr);`