Revision 397d5ae3 - Copied Printers.pp_expr functions to Horn backend to escape < and > in XML tr... - LustreC

« Previous | Next »

Revision 397d5ae3

ID	397d5ae30e1d5d3872a37d367b183cf4a1deb337
Parent	c9043042
Child	145379a9

Added by Pierre-Loïc Garoche over 2 years ago

Copied Printers.pp_expr functions to Horn backend to escape < and > in XML traces output

Files

added
modified
copied
renamed
deleted

View differences

src
- backends
  - Horn
    - horn_backend_printers.ml (diff)
    - horn_backend_traces.ml (diff)