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

Adding regressions tests for output based on output configuration

Open Alexander-Aghili opened this issue 1 year ago • 0 comments

Proposed change: Adding regressions tests to determine if the output is correct for Kani based on the configuration from issue/PR: #3360 #3356 Motivation: Ensure correctness.

Alexander-Aghili avatar Aug 04 '24 17:08 Alexander-Aghili