Skip to content
Snippets Groups Projects
Commit b00629fe authored by Henrik Tjäder's avatar Henrik Tjäder
Browse files

Fix typos

parent 3d0ccd80
No related branches found
No related tags found
1 merge request!1Fix typos
...@@ -6,7 +6,7 @@ Low-level bindings to LLVM-KLEE. ...@@ -6,7 +6,7 @@ Low-level bindings to LLVM-KLEE.
LLVM KLEE performs symbolic execution of LLVM-IR programs. For each path KLEE will generate a concrete test. LLVM KLEE performs symbolic execution of LLVM-IR programs. For each path KLEE will generate a concrete test.
A path is termintated either by executing to end or hitting the `abort` symbol. We bind the Rust `panic_handler` to the `abort` symbol, thus any `panic!()` will result in path termination (and consequitively a concrete test). A path is terminated either by executing to end or hitting the `abort` symbol. We bind the Rust `panic_handler` to the `abort` symbol, thus any `panic!()` will result in path termination (and consecutively a concrete test).
As `assert!()`/`assert_eq!()` etc. expands to conditional `panic!()`, thus a failing assertion will be caught. As `assert!()`/`assert_eq!()` etc. expands to conditional `panic!()`, thus a failing assertion will be caught.
...@@ -30,7 +30,7 @@ fn klee_make_symbolic<T>( ...@@ -30,7 +30,7 @@ fn klee_make_symbolic<T>(
) {...} ) {...}
``` ```
However dealing with CStr is cumbersome in Rust user code so we provide a macro, `klee_make_symbolic!(&mut T, &str)`, that zero-termintes the `&str` and cast it to the appropriate type. However dealing with CStr is cumbersome in Rust user code so we provide a macro, `klee_make_symbolic!(&mut T, &str)`, that zero-terminates the `&str` and cast it to the appropriate type.
Example usage: Example usage:
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment