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

disable volatile register

parent eb47927d
No related branches found
No related tags found
No related merge requests found
Pipeline #97 canceled
Stage: build
Stage: test
Show whitespace changes
Inline Side-by-side
klee-examples/Cargo.toml
+ 9
− 8
View file @ 68dc73d2
...@@ -7,14 +7,15 @@ authors = ["Per Lindgren <per.lindgren@ltu.se>, Jorge Aparicio <jorge@japaric.io ...@@ -7,14 +7,15 @@ authors = ["Per Lindgren <per.lindgren@ltu.se>, Jorge Aparicio <jorge@japaric.io
klee = {path=".."} klee = {path=".."}
#panic-abort = "0.3.1" #panic-abort = "0.3.1"
[dependencies.volatile-register] # tmp disable
#branch = "klee-analysis" # [dependencies.volatile-register]
version = "0.3.0" # #branch = "klee-analysis"
features = ["klee-analysis"] # version = "0.3.0"
# features = ["klee-analysis"]
[patch.crates-io]
#[replace] # [patch.crates-io]
"volatile-register" = { path = "../../klee/volatile-register/" } # #[replace]
# "volatile-register" = { path = "../../klee/volatile-register/" }
# [dependencies.cortex-m] # [dependencies.cortex-m]
# version = "0.6.0" # version = "0.6.0"
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment