I need the tool compiled for arm for some experiments using benchexec, so I'd need the compiled file as you release it for sv-comp but for the arm architecture. I was wondering if I can have some compilation instructions since I can't find them, or if you already have the compiled versions for arm. Thanks.