This is a group of several tools distributed by Program Analysis Lab(PAL). See README's for some tools under README.<toolname>.md, e.g. README.trace.md for the trace tool.

• harn: Generate a test harness for a code segment.
• plog: Capture code segment input from program input.
• pert: Generate a patch from a human-readable assertion format.
• trace: Generate a dynamic trace of a program's execution.

Run tests from the root directory.

python3 -m unittest