Skip to content
  • Erwan Jahier's avatar
    lurette 0.71 Mon, 22 Jul 2002 16:51:44 +0200 by jahier · 562a6ed5
    Erwan Jahier authored
    Parent-Version:      0.70
    Version-Log:
    
    automata.ml,mli:
    env.ml,mli:
    ima_exe.ml,mli:
    lurette.ml,mli:
       Fix a bug where the control expr were evaluated twice, which
       migth produce strange behavior whenever a CS var was drawn to 0
       in the place, and a value different from 0 in the second place.
       The fix consist in attaching the control.state at automata.t leaves,
       instead of the control expr labels (which was a bit silly BTW).
    
    show_env.ml:
       Fix a small bug in the dot output.
    
    Project-Description: Lurette
    562a6ed5