search

viperproject / axiom-profiler-2

The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).
https://viperproject.github.io/axiom-profiler-2/
8 stars 3 forks source link

Clean up with automated tools #47

Closed JonasAlaif closed 1 month ago

JonasAlaif commented 1 month ago

When rebasing on top of this simply run:

cargo fmt
cargo clippy --fix
cargo fmt

This still leaves some clippy issues to be fixed