a little more prose describing manual_tests

[?]
Jun 14, 2022, 10:14 PM
66X36NZNEHWWURKSZ6G3XSC4CKQ7NTR4HYGDJGLHAUELMUAQC34AC

Dependencies

  • [2] CPZGQT72 go through and fix similar issues
  • [3] T4FRZSYL delete an ancient, unused file
  • [4] BLWAYPKV extract a module
  • [5] D2GCFTTT clean up repl functionality
  • [6] OTIBCAUJ love2d scaffold
  • [7] TLOAPLBJ add a license
  • [8] FS2ITYYH record a known issue
  • [9] TVCPXAAU rename
  • [10] OGUV4HSA remove some memory leaks from rendered fragments
  • [11] RSZD5A7G forgot to add json.lua
  • [12] VHQCNMAR several more modules
  • [13] BULPIBEG beginnings of a module for the text editor
  • [14] VXORMHME delete experimental REPL
  • [15] 6LJZN727 handle chords
  • [16] F63Q4OV7 several bugfixes
  • [17] 3QNOKBFM beginnings of a test harness
  • [18] AVTNUQYR basic test-enabled framework
  • [19] 73OCE2MC after much struggle, a brute-force undo
  • [20] XX7G2FFJ intermingle freehand line drawings with text
  • [21] LXTTOB33 extract a couple of files
  • [22] R5QXEHUI somebody stop me
  • [23] 4YDBYBA4 clean up memory leak experiments
  • [24] DSLD74DK lots more tests
  • [25] K2X6G75Z start writing some tests for drawings
  • [26] BJ5X5O4A let's prevent the text cursor from ever getting on a drawing

Change contents

  • file move: manual_tests (----------)Manual_tests.md (----------)
    [3.2]
    [3.1]
  • replacement in Manual_tests.md at line 1
    [3.1][2.1042:1389]()
    -- 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.
    [3.1]
    [2.1389]
    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
  • edit in Manual_tests.md at line 15
    [2.1390][2.1390:1406]()
    -- manual tests