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

Remove --visualize and cbmc-viewer call

Open jaisnan opened this issue 1 year ago • 2 comments

Current status:

  1. Removing CBMC-Viewer invocation from kani
  2. Remove --visualize flag

Todo:

  1. Remove python from CI jobs
  2. Update documentation

Resolves #

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 Jun 28 '24 00:06 jaisnan

@jaisnan Is this PR blocked on anything?

zhassan-aws avatar Sep 27 '24 22:09 zhassan-aws

I think we decided to deprecate it first, but it should be ready to go. @jaisnan can you please resolve the conflicts so we can merge this?

celinval avatar Sep 27 '24 23:09 celinval

The changes from this PR were included in #3699 which was merged. Closing this one.

zhassan-aws avatar Nov 12 '24 21:11 zhassan-aws