Skip to content
Snippets Groups Projects
Commit bcb75e41 authored by Per Lindgren's avatar Per Lindgren
Browse files

Merge branch 'exam' of gitlab.henriktjader.com:KLEE/cortex-m-rtfm-klee into exam

parents 9fb1d3e5 34bfaf5f
Branches exam
No related tags found
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 @ bcb75e41
...@@ -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