Revision 397d5ae3
Copied Printers.pp_expr functions to Horn backend to escape < and > in XML traces output
Files
- added
- modified
- copied
- renamed
- deleted
ID | 397d5ae30e1d5d3872a37d367b183cf4a1deb337 |
Parent | c9043042 |
Child | 145379a9 |
Added by Pierre-Loïc Garoche over 3 years ago
Copied Printers.pp_expr functions to Horn backend to escape < and > in XML traces output