summaryrefslogtreecommitdiff
path: root/tests/fstar/Makefile
diff options
context:
space:
mode:
authorSon Ho2023-09-07 15:28:06 +0200
committerSon Ho2023-09-07 15:28:06 +0200
commit8b18c0da053e069b5a2d9fbf06f45eae2f05a029 (patch)
treeefc49cd0b669fc66e88e2b13a5797c92e260edc7 /tests/fstar/Makefile
parente18160aa7a796989cc6ff7c953ee088023a3ea93 (diff)
Map some globals like u32::MAX to standard definitions
Diffstat (limited to 'tests/fstar/Makefile')
0 files changed, 0 insertions, 0 deletions