diff options
| author | Son Ho | 2023-01-07 16:47:33 +0100 |
|---|---|---|
| committer | Son HO | 2023-02-03 11:21:46 +0100 |
| commit | f8b7206e0d92aa33812047c521a3c2278fdb6327 (patch) | |
| tree | 2f7a37aa85200f5757d0c9fa9d9bd46ae6c6fcff /tests/fstar/hashmap/Primitives.fst | |
| parent | 9a94302823e07c4e8a50ea4e67c8f61e8827c23c (diff) | |
Improve the heuristic to find pretty names for the variables in the loops
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions