About
=====

SeaCoral is an orchestration tool that is able to combine the power of
a wide range of test generation techniques in order to automatically
produce tests for your C projects.


Authors
-------

* Steven de Oliveira <steven.de-oliveira@ocamlpro.com>
* Nicolas Berthier <nicolas.berthier@ocamlpro.com>