sail/test/ocaml/void/expect, branch sail2

sail/test/ocaml/void/expect, branch sail2 Formal specification language for ISAs More OCaml test cases 2017-12-07T19:53:14+00:00 Alasdair Armstrong 2017-12-07T19:53:14+00:00 47f1892406b5c10d06eb99af40d4523b93b2f254 Improved handling of try/catch Better handling of unprovable constraints when the environment contains false

Improved handling of try/catch

Better handling of unprovable constraints when the environment contains
false