Revision e9c64a30 - Reactivated the generation of traceability information Changed the test-compi... - LustreC

« Previous | Next »

Revision e9c64a30

Added by Pierre-Loïc Garoche about 10 years ago

ID e9c64a301adb66f100970b27a9009298c13703bb
Parent 56d3f3e1
Child c065827c

Reactivated the generation of traceability information
Changed the test-compile to use the horn-traces and the horn-queries option

added
modified
copied
renamed
deleted

src
- backends
  - Horn
    - horn_backend.ml (diff)
- normalization.ml (diff)
test
- test-compile.sh (diff)