This page contains tricks handy for using the parser. It's primarily somewhere for me to jot down commands that I'll need later. It's bold somewhere to start learning how to use the parser!

Parser Progress

When running the parser in multiprocessing mode, it's hard to tell how many parses have completed. Perhaps I'll one day add in some output to report on its progress, but I think there are things that will make this difficult.

For now, you can find out which parses have completed by looking at the output files in the directory given as the --output option to the parser or evaluation script. If the parse hasn't finished, the file will contain a line of text saying as much. If it has, it will contain binary data.

This command simply checks for files that have text data:

for filename in * do if [ "$(file $filename|grep text)" ]; then echo $filename; fi; done