New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

linux-aarch64: "cargo-prusti: cannot execute binary file: Exec format error" #1526

Open

ValarMorghulisMaiDou opened this issue Aug 12, 2024 · 0 comments

ValarMorghulisMaiDou commented Aug 12, 2024

Hi,

I download prusti-release-ubuntu.zip and run cargo-prusti on the linux-x86_64 mechain(not in macos). It works well.

Then I run it on linux-aarch64 mechain(not in macos). It shows "-bash: /usr/local/bin/cargo-prusti: cannot execute binary file: Exec format error".

How to solve it? Does it support run cargo-prusti on linux-aarch64(not in macos) ?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment