Goose  Artifact [0914f330b4]

Artifact 0914f330b4a94f9f091e40668701d2f765524e761867a4d7285bc2be8a825c30:

• File tests/noprelude/execute/using.g — part of check-in [3740e7a491] at 2019-10-05 16:37:24 on branch trunk —
  • Renamed the "assert" test helper function to "check".
  • Implemented a builtin "assert" intrinsic that emits an Assert instruction for the verifier.
  • Implemented a couple of tests to verify the generated z3 expressions for a couple of simple functions.
  • Fixed a few issues when building the z3 expressions.
  (user: achavasse size: 137)

#Include( "tests/noprelude/helpers.g" )

using u1 = u2
using u2 = "test"

if !check( u1 == "test", "using test" )
    return 0

return 1