Make tests public. Rewrite most tests. Add tests.

[pintos-anon] / src / examples / lib / user / .dummy

diff --git a/src/examples/lib/user/.dummy b/src/examples/lib/user/.dummy
new file mode 100644 (file)
index 0000000..e69de29