Commit 2c9b8f4da3314b902d0b6f9a7784dcea9c7f0645

Thomas de Grivel 2023-08-26T11:20:20

TODO

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