Project

General

Profile

Revision 8446bf03 src/main_lustre_testgen.ml

View differences:

src/main_lustre_testgen.ml
15 15
open Log
16 16

  
17 17
open Utils
18
open LustreSpec
18
open Lustre_types
19 19
open Compiler_common
20 20

  
21 21
let usage = "Usage: lustret [options] \x1b[4msource file\x1b[0m"

Also available in: Unified diff