We believe the --visualize is much harder to use than concrete playback. In the rare cases where a trace might be relevant, users can still use CBMC trace.
For most users, this will simplify installation since Kani will no longer depend on Python3.
Note: As opposed to --function which was purely an internal feature, I believe we have mentioned --visualize to users before, so I think it's important to have a deprecation period.
Related #2832
By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.
We believe the
--visualizeis much harder to use than concrete playback. In the rare cases where a trace might be relevant, users can still use CBMC trace.For most users, this will simplify installation since Kani will no longer depend on Python3.
Note: As opposed to
--functionwhich was purely an internal feature, I believe we have mentioned--visualizeto users before, so I think it's important to have a deprecation period.Related #2832
By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.