tctests.txt

algorithms/aggregate-correct
algorithms/sorting
algorithms/fulcrum
algorithms/leftpad
algorithms/extended-gcd
algorithms/reachabilityChecker
data-structures/amortized-queue1
data-structures/amortized-queue2
data-structures/maps/mutablemaps
data-structures/sets/mutablesets
data-structures/lisp
data-structures/sorted-array
data-structures/trees/concrope
data-structures/trees/redblack
data-structures/trees/simple-conc
data-structures/uarray
expression-compiler
fp-principles/example
fp-principles/functional-sets
fp-principles/object-oriented-sets
fp-principles/huffman-coding
fp-principles/recursion
lexers/regex/verifiedlexer
software-foundations
system-f
tutorials/add-digits
tutorials/binary-search
tutorials/const-fold
tutorials/dispenser
tutorials/krakow2020/working
tutorials/memory
tutorials/simple-transform
tutorials/fmcad2021/alt-diffs
tutorials/fmcad2021/binary-search
tutorials/fmcad2021/find-index
tutorials/explicit-memory