diff options
| author | pacien | 2018-04-22 22:39:56 +0200 |
|---|---|---|
| committer | pacien | 2018-04-22 22:39:56 +0200 |
| commit | 0027c7b647e1b345badbb01bcafd22feee075470 (patch) | |
| tree | 8cf72c45c517b20c1adfe4eba25f8b3358115282 /README.md | |
| parent | db9de5bc717be46f0ca2dc1aa975c75adca6264d (diff) | |
| download | urm-0027c7b647e1b345badbb01bcafd22feee075470.tar.gz | |
Implement program execution from command line
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 6 |
1 files changed, 5 insertions, 1 deletions
| @@ -19,7 +19,11 @@ Unlimited Register Machine in OCaml. | |||
| 19 | 19 | ||
| 20 | ## Usage | 20 | ## Usage |
| 21 | 21 | ||
| 22 | TODO: describe usage of the `urm` program. | 22 | ``` |
| 23 | ./urm <run | trace> <program file> <initial register state file> | ||
| 24 | ``` | ||
| 25 | |||
| 26 | Examples programs are provided in the `examples` folder. | ||
| 23 | 27 | ||
| 24 | 28 | ||
| 25 | ## Authors | 29 | ## Authors |