On 29 Oct 2015, at 17:37, Thomas Gazagnaire <[email protected]> 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? https://blogs.janestreet.com/quickcheck-for-core/ <https://blogs.janestreet.com/quickcheck-for-core/> 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). -anil
_______________________________________________ MirageOS-devel mailing list [email protected] http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
