Generalise check_files.py script by allowing to check more than two files at a time. This lets check an entire set of results and check all the results are common (i.e. this lets us determine if there are missing results).
Generalise check_files.py script by allowing to check more than two
files at a time. This lets check an entire set of results and check
all the results are common (i.e. this lets us determine if there
are missing results).

symbooglix/boogie-runner,symbooglix/boogie-runner