diff --git a/README.md b/README.md index ba6ac92579d71d625333c24a38f95cd00dbf9103..35230b4f77925ca79740d9504f552ca3a059bb6b 100644 --- a/README.md +++ b/README.md @@ -47,3 +47,9 @@ LLVM KLEE strives to cover all feasible paths. When generating tests for errors As a consequence, you have to eleminate sources of `panic!()` one by one, which may be time consuming. 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 + +Copyright Per Lindgren. + +All rights reserved, use restricted for non-commercial purpose.