Merge branch 'feature/eva/traces-test-dot' into 'master'
[eva] fix pretty-printing of dot graph in traces domain See merge request frama-c/frama-c!4773
No related branches found
No related tags found
Showing
- src/libraries/utils/pretty_utils.ml 4 additions, 0 deletionssrc/libraries/utils/pretty_utils.ml
- src/libraries/utils/pretty_utils.mli 4 additions, 0 deletionssrc/libraries/utils/pretty_utils.mli
- src/plugins/eva/domains/traces_domain.ml 8 additions, 5 deletionssrc/plugins/eva/domains/traces_domain.ml
- tests/value/traces/oracle/test1.dot 103 additions, 0 deletionstests/value/traces/oracle/test1.dot
- tests/value/traces/oracle/test1.res.oracle 1 addition, 0 deletionstests/value/traces/oracle/test1.res.oracle
- tests/value/traces/test1.c 2 additions, 1 deletiontests/value/traces/test1.c
Loading
Please register or sign in to comment