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

README license

parent 9e4452e0
No related branches found
No related tags found
No related merge requests found
......@@ -48,7 +48,7 @@ As a consequence, you have to eleminate sources of `panic!()` one by one, which
We provide a set of macros `klee_abort`, `klee_assert` and `klee_assert_eq`, that gets fully inlined, allowing KLEE to generate specific tests for each failing assertion. Using these, all errors will be covered by unique test.
## Licencse
## License
Copyright Per Lindgren.
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment