Problems when installed Hcontrol_develop_2 plugin

[cathyuan]

Dear ibex team,
I successfully installed ibex-2.8.9.1 version. But when I installed Hcontrol_develop_2 plugin, I used commond make check. Then I encountered the following probelm. What should I do? If I use the sudo make install commond, will I successfully install the plugin? Any help is greatly appreciated.

cathyuan@cathyuan-virtual-machine:~/Desktop/IBEX/ibex-lib-develop/plugins/ibex-Hcontrol-develop_2$ mkdir build
cathyuan@cathyuan-virtual-machine:~/Desktop/IBEX/ibex-lib-develop/plugins/ibex-Hcontrol-develop_2$ cd build

cathyuan@cathyuan-virtual-machine:~/Desktop/IBEX/ibex-lib-develop/plugins/ibex-Hcontrol-develop_2/build$ cmake ..
-- The CXX compiler identification is GNU 11.3.0
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Check for working CXX compiler: /usr/bin/c++ - skipped
-- Detecting CXX compile features
-- Detecting CXX compile features - done
-- Found Ibex version 2.8.9.1
-- Running on system Linux-5.19.0-46-generic with processor x86_64
-- Using CMake 3.22.1
-- C++ compiler: GNU 11.3.0
-- Will build static libraries
-- Setting build type to 'Release' as none was specified.
-- Ibex was compiled with interval library Gaol 4.2.0
-- Ibex was compiled without any Linear Programming library
-- Found CppUnit: /usr/lib/x86_64-linux-gnu/libcppunit.so  
-- Configuring done
-- Generating done
-- Build files have been written to: /home/cathyuan/Desktop/IBEX/ibex-lib-develop/plugins/ibex-Hcontrol-develop_2/build

cathyuan@cathyuan-virtual-machine:~/Desktop/IBEX/ibex-lib-develop/plugins/ibex-Hcontrol-develop_2/build$ make
[ 14%] Building CXX object src/CMakeFiles/ibex-Hcontrol.dir/strategy/ibex_CellFuncMinMax.cpp.o
[ 28%] Building CXX object src/CMakeFiles/ibex-Hcontrol.dir/strategy/ibex_CellHeapMinMax.cpp.o
[ 42%] Building CXX object src/CMakeFiles/ibex-Hcontrol.dir/strategy/ibex_BxpMinMax.cpp.o
[ 57%] Building CXX object src/CMakeFiles/ibex-Hcontrol.dir/strategy/ibex_EvalMax.cpp.o
[ 71%] Linking CXX static library libibex-Hcontrol.a
[ 71%] Built target ibex-Hcontrol
[ 85%] Building CXX object src/bin/CMakeFiles/bin1.dir/bin1.cpp.o
[100%] Linking CXX executable bin1
[100%] Built target bin1
cathyuan@cathyuan-virtual-machine:~/Desktop/IBEX/ibex-lib-develop/plugins/ibex-Hcontrol-develop_2/build$ make check
Consolidate compiler generated dependencies of target ibex-Hcontrol
[ 45%] Built target ibex-Hcontrol
[ 54%] Building CXX object tests/CMakeFiles/test_common.dir/utest.cpp.o
[ 63%] Building CXX object tests/CMakeFiles/test_common.dir/utils.cpp.o
[ 72%] Linking CXX static library libtest_common.a
[ 72%] Built target test_common
[ 81%] Building CXX object tests/CMakeFiles/TestEvalMax.dir/TestEvalMax.cpp.o
[ 90%] Linking CXX executable TestEvalMax
[ 90%] Built target TestEvalMax
[100%] Running the tests
Test project /home/cathyuan/Desktop/IBEX/ibex-lib-develop/plugins/ibex-Hcontrol-develop_2/build
    Start 1: TestEvalMax
1/1 Test #1: TestEvalMax ......................***Exception: SegFault  0.08 sec
.


0% tests passed, 1 tests failed out of 1

Total Test time (real) =   0.08 sec

The following tests FAILED:
	  1 - TestEvalMax (SEGFAULT)
Errors while running CTest
make[3]: *** [CMakeFiles/check.dir/build.make:71: CMakeFiles/check] Error 8
make[2]: *** [CMakeFiles/Makefile2:890: CMakeFiles/check.dir/all] Error 2
make[1]: *** [CMakeFiles/Makefile2:897: CMakeFiles/check.dir/rule] Error 2
make: *** [Makefile:543: check] Error 2