Artifact b6ae13923fecfc4bf7f427c5e4e0f37bb3a8d032e3974796b677e21ae9682dcb:
- File
tests/noprelude/diagnostics/template-instantiation-context.txt
— 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.
A hex dump of this file is not available. Please download the raw binary file and generate a hex dump yourself.