Project

General

Profile

« Previous | Next » 

Revision 89fd79f0

Added by Lélio Brun over 2 years ago

a working version for automata with 'last' case of enums as default case

View differences:

src/machine_code_common.ml
112 112
        pp_print_string fmt "false"
113 113
      | Equal (a, b) ->
114 114
        fprintf fmt "%a == %a" pp_expr a pp_expr b
115
      | GEqual (a, b) ->
116
        fprintf fmt "%a >= %a" pp_expr a pp_expr b
115 117
      | And fs ->
116 118
        pp_print_list
117 119
          ~pp_sep:(fun fmt () -> fprintf fmt "@ ∧ ")

Also available in: Unified diff