diff options
| author | Alex AUVOLAT <alex.auvolat@ens.fr> | 2013-11-08 21:49:39 +0100 |
|---|---|---|
| committer | Alex AUVOLAT <alex.auvolat@ens.fr> | 2013-11-08 21:49:39 +0100 |
| commit | 435042774cd03687297a8100e807c70dd7b1b3e4 (patch) | |
| tree | 4c08ca4d16515e73cb69b6e6e5cac23dbad885d9 /sched/main.ml | |
| parent | 05749abf8efdcaae6afd9f3dd087df475e5e93ad (diff) | |
| download | SystDigit-Projet-435042774cd03687297a8100e807c70dd7b1b3e4.tar.gz SystDigit-Projet-435042774cd03687297a8100e807c70dd7b1b3e4.zip | |
Simulator fixed.
Diffstat (limited to 'sched/main.ml')
| -rw-r--r-- | sched/main.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sched/main.ml b/sched/main.ml index ab6ef30..c8ea58e 100644 --- a/sched/main.ml +++ b/sched/main.ml @@ -6,9 +6,9 @@ let dumb_down = ref false let compile filename = try let p = Netlist.read_file filename in - let out_name = (Filename.chop_suffix filename ".net") ^ "_sch.net" in + let out_name = (Filename.chop_suffix filename ".net") ^ ".snet" in let dumb_out_name = (Filename.chop_suffix filename ".net") ^ ".dumb" in - let out_opt_name = (Filename.chop_suffix filename ".net") ^ "_sch_opt.net" in + let out_opt_name = (Filename.chop_suffix filename ".net") ^ "_opt.snet" in let dumb_opt_out_name = (Filename.chop_suffix filename ".net") ^ "_opt.dumb" in let q, q_opt = ref p, ref p in |