K-tails
Enter program traces below either in the text box or by uploading a .txt file containing the traces. Each trace should be on its own line either in the text input or file, and each sequence in the trace should be separated by a comma. Optionally, each trace can be enclosed in angle brackets (< and >) for better readability. An example trace input would be <start, pause, stop>