Speaking-too-soon is a valid and powerful code verification technique; it exploits tempting the bugs to make their move.
--
SP
_______________________________________________
Containers-users mailing list
Containers-users@lists.ocaml.org
http://lists.ocaml.org/listinfo/containers-users
