Ajout nouveaux tests

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@708 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

1 files changed, 7 insertions, 0 deletions

diff --git a/test/raytracer/surface.h b/test/raytracer/surface.h
new file mode 100644
index 00000000..ac128b27
--- /dev/null
+++ b/test/raytracer/surface.h
@@ -0,0 +1,7 @@
+/* Return the texture coordinates for the given point on the given
+   object.  Point in object coords. */
+
+void surface_coords(struct object * obj, struct point * p,
+                    /*out*/ int * face,
+                    /*out*/ flt * u,
+                    /*out*/ flt * v);