Dmitry Rodionov

Thanks for quick response! No, I’m building a binary target

Sorry for long response > Do you mean an executable? Yes > Is there anything unusual in your setup, and have you tested with the lastest Nix release? The only...

I rebased the patch on top of current master to resolve conflict in changelog. All pipelines that failed have this error message: `Failed to start an instance: FAILED_PRECONDITION: Monthly free...

Hey @SteveLauC! Sorry for the ping, will you have some time to take a look at the PR? Thanks in advance!

Yeah, I briefly looked at weak stuff. Apparently it has a bigger scope compared to reverting to raw syscalls, because I havent seen weak being already used anywhere in nix....

@SteveLauC what do you think if we merge this one? Do you have any objections?

Thanks for your response @zhassan-aws! 1. Yep, I'm trying with constant input without any calls to kani::any, though I'm hoping to use kani::any in the future 2. As far as...

I finished transition to arrayvec based maps and sets, however that only lead to cbmc crash caused by internal invariant violation. Here is the error I've got: ``` Unwinding loop...

I believe this is fixed. Checked with flaky tests database for 60 days to confirm

As discussed moving to draft