[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [MirageOS-devel] BLOCK APIs

On 29 Oct 2015, at 17:37, Thomas Gazagnaire <thomas@xxxxxxxxxxxxxx> wrote:

This is similar to the existing mirage/mirage-flow repo, only for `BLOCK`.

Let me know what you think!

That's very useful. Would also useful be useful if we have unit-tests functors that BLOCK implementation can instantiate to check that they are correct. Haven't done that for mirage-flow, but that would be nice.

That's a really good idea -- would the Core quickcheck come in handy here?

Block devices are particularly amenable to simple fuzz testing, especially if we had a Quickcheck module that applied the graph of BLOCK functors in random permutations (via first-class modules).


MirageOS-devel mailing list



Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.