Add script for generating the WHILEY/ALL.results file that is used by wydiff. It captures the expected results of the Whiley prover.
Add script for generating the WHILEY/ALL.results file that is used by wydiff.
It captures the expected results of the Whiley prover.

utting/whiley2boogie,utting/whiley2boogie,utting/whiley2boogie