Be sure that the
z3 executables are in your
The only way to use
flux is to build it from source.
First you need to clone the repository
git clone https://github.com/liquid-rust/flux cd flux
To build the source you need a nightly version of
We pin the version using a toolchain file (more info here).
If you are using
rustup, no special action is needed as it should install the correct
rustc version and components based on the information on that file.
Next, run the following to build and install
cargo install --path flux cargo install --path flux-bin
This will install
cargo-flux. Note that you should not call
flux-driver directly, but rather use