From 6c196ec8a41d6ed506c133c8b33dba9684f9a7a6 Mon Sep 17 00:00:00 2001 From: xleroy Date: Wed, 3 Mar 2010 12:34:43 +0000 Subject: Updated raytracer test. Added SPASS test. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1271 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- test/spass/LICENSE.TXT | 1 + 1 file changed, 1 insertion(+) create mode 100644 test/spass/LICENSE.TXT (limited to 'test/spass/LICENSE.TXT') diff --git a/test/spass/LICENSE.TXT b/test/spass/LICENSE.TXT new file mode 100644 index 00000000..72712689 --- /dev/null +++ b/test/spass/LICENSE.TXT @@ -0,0 +1 @@ +see the file "COPYING" -- cgit