kani icon indicating copy to clipboard operation
kani copied to clipboard
verified publisher icon model-checking

Add `--use-local-toolchain` to Kani setup

Open jaisnan opened this issue 1 year ago • 0 comments

Adds --use-local-toolchain to Kani's setup flow, which accepts a local toolchain and then uses that to finish the Kani setup.

Some notes:

  1. Why? This is mainly for installing GPG verified toolchains.
  2. This is missing some cleanup and refactoring work, like ensuring that the user defined toolchain matches the one that Kani was built against etc. Marked as Todo, for later.

Resolves #3058

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.

jaisnan avatar Mar 04 '24 17:03 jaisnan