Pulled partially from: https://github.com/runtimeverification/kontrol/issues/977 - [ ] How to use kontrol prove ... --lemmas LEMMAS-FILE:LEMMAS-MODULE (renamed from --extra-module). - [ ] How to know when to rekompile or not (currently we recommend to rekompile when solidity code changes: https://github.com/runtimeverification/kontrol/pull/1007#discussion_r2014193727). - [ ] Command `kontrol solc-to-k` does not exist anymore, but is in the Kontrol Arguments sheet: https://docs.runtimeverification.com/kontrol/glossary/kontrol-arguments - [ ] Command `kontrol compile` may not exist anymore, given: https://github.com/runtimeverification/kontrol/pull/1019 - [ ] Command `kontrol to-dot` may not exist anymore, given: https://github.com/runtimeverification/kontrol/pull/1019 - [ ] How `--run-constructor` is used: https://github.com/runtimeverification/gitbook-kontrol/issues/31
Pulled partially from: #977
kontrol solc-to-kdoes not exist anymore, but is in the Kontrol Arguments sheet: https://docs.runtimeverification.com/kontrol/glossary/kontrol-argumentskontrol compilemay not exist anymore, given: Refactors to simplify import structure #1019kontrol to-dotmay not exist anymore, given: Refactors to simplify import structure #1019--run-constructoris used: Document overflow and constructor Kontrol gotchas gitbook-kontrol#31