diff --git a/README.md b/README.md index 35230b4f77925ca79740d9504f552ca3a059bb6b..881e2ce3c801d9bb3d13191a3f09d1b4d6fb2a7c 100644 --- a/README.md +++ b/README.md @@ -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.