Failed to build Z3 "interp" branch

Feb 17, 2014 at 2:24 AM
Edited Feb 17, 2014 at 2:35 AM
Hi there, I tried to build the interp branch following the instructions in the "readme" file. When I executed the command
python scripts/mk_make.py -f <full/path/to/libfoci.so> ,
there was an error message which said that the file "interp_params.hpp" was missing. How could I solve this problem?
Coordinator
Feb 19, 2014 at 1:28 PM
Thanks for reporting this issue! The interp branch has been integrated with the unstable branch and it will soon be removed. Could you try again using the unstable branch? Thanks!