Script to remove obsolete correctness labels from result files. They don't live in result files anymore.
Script to remove obsolete correctness labels from result files.
They don't live in result files anymore.

symbooglix/boogie-runner,symbooglix/boogie-runner