diff options
| author | Thomas Bauereiss | 2017-08-08 13:52:49 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2017-08-08 14:53:42 +0100 |
| commit | 6100aecd642766252b73d3271a026d17de605fa0 (patch) | |
| tree | 00f18dd834a71d133612a465caa68d11d13999b0 /src/gen_lib | |
| parent | 3071a02cf521d076f1ac0f4c6069e4e943aa15e7 (diff) | |
Fix Lem bindings in test cases
Add a test case with the MIPS spec using the TLB stub.
Use the sequential monad for Lem testing for now; the free monad (in
"prompt.lem") has not been updated for machine words yet.
Diffstat (limited to 'src/gen_lib')
0 files changed, 0 insertions, 0 deletions