summaryrefslogtreecommitdiff
path: root/tests/fstar/traits
diff options
context:
space:
mode:
authorAymeric Fromherz2024-05-31 13:09:37 +0200
committerAymeric Fromherz2024-05-31 13:09:37 +0200
commit092dae81f5f90281b634e229102d2dff7f5c3fd7 (patch)
treea12b32fb8c41844de6644fa0c36b658811598ec3 /tests/fstar/traits
parent1ee3d0f7d4f3c83351d5989c7979be3642069e63 (diff)
Regenerate test output
Diffstat (limited to 'tests/fstar/traits')
0 files changed, 0 insertions, 0 deletions