Make tests public. Rewrite most tests. Add tests.

[pintos-anon] / src / tests / userprog / boundary.h

diff --git a/src/tests/userprog/boundary.h b/src/tests/userprog/boundary.h
new file mode 100644 (file)
index 0000000..c8e4b3b
--- /dev/null
+++ b/src/tests/userprog/boundary.h
@@ -0,0 +1,7 @@
+#ifndef TESTS_USERPROG_BOUNDARY_H
+#define TESTS_USERPROG_BOUNDARY_H
+
+void *get_boundary_area (void);
+char *copy_string_across_boundary (const char *);
+
+#endif /* tests/userprog/boundary.h */