search

viperproject / prusti-dev

A static verifier for Rust, based on the Viper verification infrastructure.
http://prusti.org
Other
1.58k stars 109 forks source link

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

Open ValarMorghulisMaiDou opened 3 months ago

ValarMorghulisMaiDou commented 3 months ago

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) ?