a little more prose describing manual_tests

2 files changed, 30 insertions, 23 deletions

diff --git a/Manual_tests.md b/Manual_tests.md
new file mode 100644
index 0000000..1ee4aaf
--- /dev/null
+++ b/Manual_tests.md
@@ -0,0 +1,30 @@
+I care a lot about being able to automatically check _any_ property about my
+program before it ever runs. However, some things don't have tests yet.
+
+### Compromises
+
+Lua is dynamically typed. Tests can't patch over lack of type-checking.
+
+* All strings are UTF-8. Bytes within them are not characters. I try to label
+  byte offsets as _offset, and character positions as _pos. For example,
+  string.sub should never use a _pos to substring, only an _offset.
+
+
+### Todo list
+
+drawing
+  select a point and move it
+  select a point and name it
+
+persistence:
+  draw a line, circle, rectangle, square, polygon, quit, restart. All the shapes you drew should still be visible.
+  select a point and name it, quit, restart. Name is still visible.
+
+undo:
+  naming points
+  deleting points
+  moving points
+
+resize:
+  create a file containing a long line of characters without spaces. try
+  resizing the window vertically and horizontally, as far as possible.
diff --git a/manual_tests b/manual_tests
deleted file mode 100644
index b88f3a1..0000000
--- a/manual_tests
+++ /dev/null
@@ -1,23 +0,0 @@
--- static properties of the code
-All strings are UTF-8. Bytes within them are not characters.
-I try to label byte offsets as _offset, and character positions as _pos.
-For example, string.sub should never use a _pos to substring, only an _offset.
-Wish I had some static typing here. We're not going to try to write tests to catch issues like this.
-
--- manual tests
-drawing
-  select a point and move it
-  select a point and name it
-
-persistence:
-  draw a line, circle, rectangle, square, polygon, quit, restart. All the shapes you drew should still be visible.
-  select a point and name it, quit, restart. Name is still visible.
-
-undo:
-  naming points
-  deleting points
-  moving points
-
-resize:
-  create a file containing a long line of characters without spaces. try
-  resizing the window vertically and horizontally, as far as possible.