Problems running elina_test_oct

[OrenGitHub]

Hi,
I've successfully installed ELINA, but when I try to run the octagon test with:

$ ./elina_oct/elina_test_oct

I get the following error message:

./elina_oct/elina_test_oct: error while loading shared libraries: libelinaux.so: cannot open shared object file: No such file or directory

So where is this mysterious libelinaux.so file? Thanks!

[OrenGitHub]

OK here is what solved it:

 $ LD_LIBRARY_PATH=/usr/local/lib ./elina_oct/elina_test_oct 3 8

Then it outputs this:

Testing Meet
8
array of constraints of size 8
 0: x1 + x0 + 5 >= 0
 1: -x0 + x1 = 0
 2: -x2 - x1 + 2 >= 0
 3: x2 - x0 = 0
 4: -x1 - x2 + 8 = 0
 5: -x0 + x1 + 2 >= 0
 6: -x0 + x2 + 8 >= 0
 7: x2 - x0 + 1 = 0
...

Also posted on Stack Overflow