-
- Downloads
runner examples
Showing
- Cargo.lock 73 additions, 81 deletionsCargo.lock
- Cargo.toml 5 additions, 1 deletionCargo.toml
- README.md 17 additions, 2 deletionsREADME.md
- examples/f401_minimal.rs 84 additions, 1 deletionexamples/f401_minimal.rs
- examples/f401_minimal2.rs 229 additions, 0 deletionsexamples/f401_minimal2.rs
- examples/f401_probe.rs 99 additions, 0 deletionsexamples/f401_probe.rs
- ktest/gdb.py 0 additions, 812 deletionsktest/gdb.py
- openocd.gdb 3 additions, 3 deletionsopenocd.gdb
- runner/Cargo.lock 76 additions, 0 deletionsrunner/Cargo.lock
... | ... | @@ -33,7 +33,9 @@ version = "0.1.0" |
[dependencies.klee-sys] | ||
git = "https://gitlab.henriktjader.com/pln/klee-sys.git" | ||
# path = "../klee-sys" | ||
version = "0.1.0" | ||
features = ["inline-asm"] | ||
# [dependencies.cortex-m-rtfm] | ||
# path = "../cortex-m-rtpro" | ||
... | ... | @@ -54,7 +56,9 @@ cortex-m-rt = { git = "https://github.com/perlindgren/cortex-m-rt.git", branch = |
# cortex-m-rt = { path = "../cortex-m-rt" } | ||
[features] | ||
# default = ["f4"] # uncomment to enable as default feature | ||
klee-analysis = [ | ||
"klee-sys/klee-analysis", | ||
"vcell/klee-analysis", | ||
"cortex-m/klee-analysis", | ||
"cortex-m-rt/klee-analysis" | ||
... | ... |
examples/f401_minimal2.rs
0 → 100644
examples/f401_probe.rs
0 → 100644
ktest/gdb.py
deleted
100644 → 0
Please register or sign in to comment