Artifact cfb530e60c931b0bc96c5bd07cc2fc346f1385bb956a297774e40db18d3a1ffe:
- File
bs/builtins/meson.build
— 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.