diff options
| author | Son Ho | 2023-09-07 15:28:06 +0200 |
|---|---|---|
| committer | Son Ho | 2023-09-07 15:28:06 +0200 |
| commit | 8b18c0da053e069b5a2d9fbf06f45eae2f05a029 (patch) | |
| tree | efc49cd0b669fc66e88e2b13a5797c92e260edc7 /tests/fstar/Makefile | |
| parent | e18160aa7a796989cc6ff7c953ee088023a3ea93 (diff) | |
Map some globals like u32::MAX to standard definitions
Diffstat (limited to 'tests/fstar/Makefile')
0 files changed, 0 insertions, 0 deletions