Skip to content
Snippets Groups Projects
Commit 34bfaf5f authored by Per's avatar Per
Browse files

fixed typo in README.md

parent 904e6664
Branches
Tags
No related merge requests found
Show whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
README.md
+ 1
− 1
View file @ 34bfaf5f
...@@ -67,7 +67,7 @@ A docker daemon should be started/enabled. ...@@ -67,7 +67,7 @@ A docker daemon should be started/enabled.
In the current folder: In the current folder:
``` ```
arm-none-eabi-gdb -x klee.py arm-none-eabi-gdb -x gdb.py
``` ```
The script will build for both KLEE and the MCU, run the KLEE tests and then proceed with testing the KLEE-generated values on the MCU. The script will build for both KLEE and the MCU, run the KLEE tests and then proceed with testing the KLEE-generated values on the MCU.
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment