kc3-lang/kc3

diff --git a/README.md b/README.md
index 24c2d63..fe42afd 100644
--- a/README.md
+++ b/README.md
@@ -33,14 +33,20 @@ make
 ### Running the tests
 ```sh
 make test
-make test_asan
 ```
 
 ### Running gdb
 ```sh
+make gdb_ic3
 make gdb_test
 ```
 
+### Running ic3
+```sh
+export LD_LIBRARY_PATH=$PWD/libc3/.libs:$PWD/libffi/.libs
+ic3/.libs/ic3
+```
+
 
 ## Structure