Compilation 埃琳娜静态分析仪

我试着用数值静态分析仪， 当我尝试运行他们的八角形示例时，我遇到了以下问题。 以下是我所做的：

$ git clone https://github.com/eth-sri/ELINA.git
$ cd ELINA
$ ./configure
$ make
$ cd elina_oct
$ ./elina_test_oct

然后我得到以下错误：

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

我已经在他们的网站上发布了，但我不确定 这个项目有多活跃。也许这里的其他用户可以帮忙？

---

谢谢

好，下面是解决问题的方法：

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

然后输出以下内容：

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
...