Revision 3c862628
Added by Teme Kahsai almost 10 years ago
| src/options.ml | ||
|---|---|---|
| 12 | 12 |
let version = Version.number |
| 13 | 13 |
let include_path = Version.include_path |
| 14 | 14 |
|
| 15 |
let print_version () =
|
|
| 15 |
let print_version () = |
|
| 16 | 16 |
Format.printf "Lustrec compiler, version %s@." version; |
| 17 |
Format.printf "Include directory: %s@." include_path
|
|
| 17 |
Format.printf "Include directory: %s@." include_path |
|
| 18 | 18 |
|
| 19 | 19 |
let main_node = ref "" |
| 20 | 20 |
let static_mem = ref true |
Also available in: Unified diff
Fixed horn backend to make query for properties. More work needed for cex