tnelson / Forge

Forge: A Tool and Language for Teaching Formal Methods
https://forge-fm.org/
MIT License
67 stars 9 forks source link

Add command-line argument support via racket #261

Closed tnelson closed 5 months ago

tnelson commented 5 months ago

Prototype command-line support for setting options. There are two flags supported at the moment: -o and -O (lower and uppercase).

The lowercase -o will set an initial option value, but will be OVERRIDDEN by file-level option statements. E.g., this at the command line (note the need to escape the backquote): racket ring_of_lights.frg -o run_sterling \'off -o verbose 1

In contrast, the uppercase -O will set the initial option value and disallow it changing. E.g., racket ring_of_lights.frg -o run_sterling \'off -O verbose 1 will give verbose 1 output.

The run-tests.sh script has been modified to give-O run_sterling \'off, which means that it can now be used vs. the examples folder for additional testing, as the run commands in those example models will not open browser tabs.