Scott Vokes
Scott Vokes
This is allocated with `f_malloc` but calls `free` directly. It may be worth auditing the whole codebase and/or using an allocator that checks for this in tests.
Running the following command: $ while true; do sleep 0.1; ./build/bin/lx -l test < src/lx/lexer.lx && echo ok; done will produce a steady stream of memory-related errors in lx. There...
Inside `minimise.c`'s `try_partition`, we split an equivalence class in place, but it's arbitrarily committing to keeping whichever states lead to the same EC as the first state in the EC...
If `lx -l dump` is used without any particular `-g` flag, it generates a `main` that declares `lgetc` and `getc_opaque`, but doesn't define them, leading to a program that doesn't...
The following directories under `build/tests/` need to be cleaned manually for `make -r clean` (or `bmake`/`pmake`/etc.) to work: - dump-lx - isdfa - intersect-ccuc - intersect - subtract-cuc - subtract...
Rather than saving stdout to a log file, autoclave could also buffer stdout, print it all on failure, and discard it if the run passes.
In order to further vary process timing, runs could be randomly `nice(2)`'d to different priorities. This could work particularly well with parallelism, but for single-process use, it may be worth...
The current implementation assumes that there is only one child process running, and runs it sequentially. For reproducing rare failures, it may be worth adding something like `-j 8`. This...
For mainly English text corpora, using a porter stemmer variant at index- and search-time might be a good idea. (If stemming, the terminal $ in the keyword search should be...
Add agrep / nrgrep support in gln.c - format_cmd. Will need to set up a gunzip -c pipe for compressed token indexes. This will allow searching for keywords with a...