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

Setup crashes because CBMC-Viewer has a dependency conflict

Open jaisnan opened this issue 2 years ago • 1 comments

Extension of the issue on cbmc-viewer: https://github.com/model-checking/cbmc-viewer/issues/146

jaisnan avatar Nov 16 '23 03:11 jaisnan

Related PR: https://github.com/model-checking/cbmc-viewer/pull/147 & https://github.com/model-checking/kani/pull/2879

jaisnan avatar Nov 16 '23 03:11 jaisnan

Closing as all related PRs have been merged (both in Kani as well as in CBMC Viewer).

tautschnig avatar Jul 23 '24 18:07 tautschnig