about summary refs log tree commit diff stats
path: root/Manual_tests.md
blob: 8c1398efe70f0288219453844ee2337c96cacadb (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
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, either
because I don't know how to test them or because I've been lazy. I'll at least
record those here.

### 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 with the suffix `_offset`, and character positions as `_pos`.
  For example, `string.sub` should never use a `_pos` to substring, only an
  `_offset`.