tests/value/traces/oracle/test1.dot · 618e9d8d44267f09a3267ac42a6c29b6a5da8e63 · pub / frama-c

"tests/syntax/oracle/ast_diff_1.0.res.oracle" did not exist on "c028c472244600ba2d617f511ed5da1425e164cc"

Blame

6 months ago

618e9d8d

[eva] fix pretty-printing of dot graph in traces domain · 618e9d8d

Andre Maroneze authored 6 months ago and

David Bühler committed 6 months ago

Without escaping strings such as variable names, the produced .dot file
might print '\result' as a variable name, which results in '\r' being
stripped. Dot will then show edges such as 'esult<main>'.

618e9d8d

History

[eva] fix pretty-printing of dot graph in traces domain

Andre Maroneze authored 6 months ago and

David Bühler committed 6 months ago

Without escaping strings such as variable names, the produced .dot file
might print '\result' as a variable name, which results in '\r' being
stripped. Dot will then show edges such as 'esult<main>'.

test1.dot 3.41 KiB