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

« Previous | Next »

Revision 397d5ae3

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

ID 397d5ae30e1d5d3872a37d367b183cf4a1deb337
Parent c9043042
Child 145379a9

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

added
modified
copied
renamed
deleted

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