-
* Switch from @ to @echo off in the batch files * Make sure the .bat files do setlocal - ensures if it fails you don't keep the directory change * Give RuleResult instances to all the oracles, as required by the forthcoming shake-0.16
df4848c9
* Switch from @ to @echo off in the batch files * Make sure the .bat files do setlocal - ensures if it fails you don't keep the directory change * Give RuleResult instances to all the oracles, as required by the forthcoming shake-0.16