The RVT project does a really fascinating mix of ground work and plumbing to make it useful. I like the idea of being able to turn randomized testing into verif

The RVT project does a really fascinating mix of ground work and plumbing to make it useful. I like the idea of being able to turn randomized testing into verification. Having different backends for cargo-verify and the program annotations is also a nice way of unifying the various projects and still allowing for innovation to happen in a modular manner.