Project

General

Profile

« Previous | Next » 

Revision 57f27fe1

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

Bug solved: issues when generation traceability annotation in normalization

View differences:

src/backends/Horn/horn_backend.ml
12 12
(* The compilation presented here was first defined in Garoche, Gurfinkel,
13 13
   Kahsai, HCSV'14.
14 14

  
15
   This is a modified version that handle reset
15
   This is a modified version that handles reset and automaton
16 16
*)
17 17

  
18 18
open Format

Also available in: Unified diff