add fsm checker by Gabriel Matni

[lttv.git] / contrib / fsm_checker / README

diff --git a/contrib/fsm_checker/README b/contrib/fsm_checker/README
new file mode 100644 (file)
index 0000000..765e29f
--- /dev/null
+++ b/contrib/fsm_checker/README
@@ -0,0 +1,5 @@
+This code is Copyright 2009 Gabriel Matni
+
+Released under the GPL.
+
+Tested with smc 5.1.0