Skip to content
Snippets Groups Projects
Commit df4848c9 authored by Neil Mitchell's avatar Neil Mitchell Committed by Andrey Mokhov
Browse files

.bat file tidy up plus shake-0.16 compatibility (#392) 

* 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
parent 67ae38d6
No related tags found
Hide whitespace changes
Inline Side-by-side
Showing
with 59 additions and 32 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment