Jaisurya Nanduri
Jaisurya Nanduri
Would it be possible to share a synthetic example that might have caused the crash?
Thanks for the issue! Should be a matter of adding parsing for these values.
1. I agree with changing the default output to what you are proposing and adding the other suggested outputs. 2. What about warnings? Do we still display them by default?...
@tedinski @danielsn any thoughts?
Thank you very much for your input! @Djazouli, much appreciated.
The change would be breaking the VS Code extension. Is there any way to ease the transition to the new output from Kani?
The only parts I see breaking are the message creation parts. We parse Kani's output directly so it would break that, but nothing else. Concrete-playback and the links don't come...
This output format is untested as of this PR. I'd like to see one regression test added at least. This isn't a blocking request, but likely something we want to...
> Okay I tested it and added the -Z --unstable-options instead of --enable-unstable. Do we still want to add tests as a part of this PR? I'm okay without a...
> I don't want to be the bottleneck on this but in short, I am having a difficult time upgrading because of permissions issues on my remote server, and thus,...