Jaisurya Nanduri
Jaisurya Nanduri
> Hi guys, Sorry for taking so long, I've been out on holiday. I made an issue for adding regression tests. Do we want to complete that in this PR?...
> I swear I'm not as flaky as I seem but my computer's screen just broke and I'm going to have to get it replaced which might take some time....
> Finally getting back around to this. I will be creating that test and merging in the new base, then asking for a review to be merged. Awesome, thank you!
> Hey everyone, any update here? Almost there, can you resolve the merge conflicts and push again?
Before we merge, can you resolve the merge conflicts locally? It'll allow us to see CI as well
Thank you for the feature request! This is a great idea for an improvement. Can you describe a little bit more about how this would be useful for a user...
Of course! We encourage and welcome external pull requests! Please feel free to add your changes as a PR.
Hello, thanks for this suggestion. Would it be possible to link to a reproducer code that triggers an error when running harnesses in parallel without terse output?
Thank you for your feature request! We shall discuss the feature and ping this issue if we have any updates. Thanks for using Kani!
Some support is being added as of this PR: https://github.com/model-checking/kani/pull/3306. @zhassan-aws is this enough to close the issue or should we keep the issue open till they're fully stable?