seahorn/verify-rust

Add kani docker image

Closed this issue · 1 comments

priyasiddharth commented
Add kani docker image
priyasiddharth commented

Done. Cannot run all jobs at once since it tries to compile sea-lib. Goto source dir e.g. src/rust-jobs/add and run cargo kani.