diff --git a/README.org b/README.org index c4b24bb..9e6aa8c 100644 --- a/README.org +++ b/README.org @@ -8,7 +8,7 @@ While I hope that you will find it useful, the tool is being provided AS IS, this means - 1) There are no guarantee that emulator emulates LLVM-- + 1) There is no guarantee that emulator emulates LLVM-- correctly. Various liberties has been taken to simplify the emulations, e.g. values of type ~i64~ can be arbitrarily large. And there can, of course, be bugs in the application.