c0121b1a9bdd4b40ff8e6c04ed6133d6260227f7
libmysqlclient-dev (or libmariadbclient-dev) is needed to build Fail*. A running MySQL/MariaDB server to talk to is needed for the fault-space pruning tools and the DatabaseCampaign, too, but that's a runtime dependency. Change-Id: I1f7fbdaf20b49370039e8d27a07a8785e0f052b5
This is an import of the old danceos svn repository. The Fail* development started with rev 187, but this git import only contains revisions 956 and newer due to directory structure changes. Imported from external gitsvn checkout. http://www.kernel.org/pub/software/scm/git/docs/howto/using-merge-subtree.html
Description
Languages
C++
45%
C
36.8%
Python
8.2%
Shell
1.7%
Makefile
1.6%
Other
6.2%