Teach check_files.py how to check that the "expected_correct" fields of result files are consistent. This can be enabled by using the ``--check-expected-correct`` flag.
Teach check_files.py how to check that the "expected_correct" fields
of result files are consistent. This can be enabled by using the
``--check-expected-correct`` flag.

symbooglix/boogie-runner,symbooglix/boogie-runner