summaryrefslogtreecommitdiff
path: root/tests/coq/hashmap_on_disk
diff options
context:
space:
mode:
authorSon Ho2023-12-13 16:54:10 +0100
committerSon Ho2023-12-13 16:54:10 +0100
commitc48859717d847f4492a0c3cc76e8f8b0b38fcc10 (patch)
tree15e16de213825acbb403c8a6d16f0f2e5c0d4618 /tests/coq/hashmap_on_disk
parentc6247e0c103cc1dc95c2a63ae01602c4a1208dc4 (diff)
Update the extraction to handle casts between integers/bools
Diffstat (limited to 'tests/coq/hashmap_on_disk')
0 files changed, 0 insertions, 0 deletions