Bus Error:10 when running on MacOS
Any search run with ikpx2 built on MacOS with MacOS clang 11.0.3 or Homebrew GCC 10.1.0 results in a crash very early in the search.
macOS Catalina version 10.15.6
Same error still happens when building without "-march=native"
STR:
$ ./ikpx2 -p 1 -v c/3
Result:
Instruction set AVX2 detected
ikpx2 has been compiled for the rule b3s23 (330 prime implicants).
Checking SAT solver...
...check complete!
sizeof(workitem) = 32
# Valid velocity: (1,0)c/3
# Jacobian: [(0, 3), (1, 0), (0, 1)]
# lookahead = 27; jumpahead = 13
# Profile: depth1 = 1 = depth0
Bus error: 10
Crash happens under ikpx2`kissat_reduce
at libsystem_pthread.dylib`___chkstk_darwin + 55
See https://pastebin.com/934YXbbf for stacktrace. The only similar issue I can find is https://github.com/grpc/grpc/issues/22220 which was reportedly caused by a stack overflow.