Commit 3ed184fd authored by Andreas Marek's avatar Andreas Marek

Rename check_correctness function

parent 5748ad54