diff options
Diffstat (limited to 'tutorial.md')
-rw-r--r-- | tutorial.md | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/tutorial.md b/tutorial.md index b58d7c8..aeabd43 100644 --- a/tutorial.md +++ b/tutorial.md @@ -199,8 +199,7 @@ To generate the test program, and running it to produce the test report, the following commands are needed: ```sh -./ftt-codegen echo.md > tmp.py -python3 tmp.py +./ftt-codegen echo.md --run ``` The output of the last command is the test report: |