Revision 2d2144c0 - Solved bug#57: issues when indirect init of a pre in horn-traces - LustreC

« Previous | Next »

Revision 2d2144c0

Added by Pierre-Loïc Garoche almost 5 years ago

ID 2d2144c04d8df16bfae1936b93eb7eeb8e5fcc4c
Parent bc9fd714
Child c1c4263c, 681f591b, 1c9625b4, b6efcf3a

Solved bug#57: issues when indirect init of a pre in horn-traces

added
modified
copied
renamed
deleted

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