add formal verif

[lttv.git] / trunk / verif / Spin / Src5.1.6 / version.h

diff --git a/trunk/verif/Spin/Src5.1.6/version.h b/trunk/verif/Spin/Src5.1.6/version.h
new file mode 100755 (executable)
index 0000000..23eb6a5
--- /dev/null
+++ b/trunk/verif/Spin/Src5.1.6/version.h
@@ -0,0 +1 @@
+#define SpinVersion    "Spin Version 5.1.6 -- 9 May 2008"