WyEval Evaluation tool for honours report. Goals Breakdown loop invariants of a Whiley program Minimize the total number of loop invariants to what is required to compile successfully. Report the results