You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
CVC4 is not available on arm64 architecture so I built it from source. For the build process to go through, I had to make some modifications to a file of the project (see .patch attached). The compilation produces an executable that is in my PATH and that I can invoke from my terminal.
However, when I try to use smt-cvc4 option with Stainless, it freezes at the 1st VC. For the same project without smt-cvc4 everything works well.
CVC4 is not available on arm64 architecture so I built it from source. For the build process to go through, I had to make some modifications to a file of the project (see
.patch
attached). The compilation produces an executable that is in my PATH and that I can invoke from my terminal.However, when I try to use
smt-cvc4
option with Stainless, it freezes at the 1st VC. For the same project withoutsmt-cvc4
everything works well.to_build_arm.patch
The text was updated successfully, but these errors were encountered: