diff options
| author | Thomas Bauereiss | 2017-10-31 16:17:45 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2017-10-31 16:17:45 +0000 |
| commit | fe486c7b4126131920157c9348478fe6b40d3636 (patch) | |
| tree | 1866f3e7a7c6259745214dcb94040b23a7031a6e /src/pre_parser.mly | |
| parent | a88e0182b05acf417b262173a2b83ecd9a35c93a (diff) | |
Pretty-print Sail assertions in Lem
Map to calls to monadic function assert_exp that throws an exception if the
assertion is false
Diffstat (limited to 'src/pre_parser.mly')
0 files changed, 0 insertions, 0 deletions