1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38
diff --git a/README.md b/README.md
index f7f6068..0ff982b 100644
--- a/README.md
+++ b/README.md
@@ -30,23 +30,27 @@ git submodule update
make
```
-### Running the tests
+### Add the sources to LD_LIBRARY_PATH
```sh
-make test
+export LD_LIBRARY_PATH=$PWD/libc3/.libs:$PWD/libffi/.libs
```
-### Running gdb
+### Running the tests
```sh
-make gdb_ic3
-make gdb_test
+make test
```
### Running ic3
```sh
-export LD_LIBRARY_PATH=$PWD/libc3/.libs:$PWD/libffi/.libs
ic3/.libs/ic3
```
+### Running gdb
+```sh
+make gdb_ic3
+make gdb_test
+```
+
## Structure