hbourbouh opened this issue 5 years ago · 1 comments
Hi Daniel,
I have an issue building Kind2. Maybe because we have different C compilers. Attached is the log file that may help you understand the error. I think it's an issue of a buffer size that should be increased.
build.txt
The issue was related to the C compiler.