summaryrefslogtreecommitdiff
path: root/tests/fstar
diff options
context:
space:
mode:
authorEscherichia2024-03-25 10:16:15 +0100
committerEscherichia2024-03-28 15:26:17 +0100
commit9b1a0d82c19375619904efe7e18e064701fb947b (patch)
treec6e5c474b651a76b7409098561266828608c50b6 /tests/fstar
parent76fda6b5d205a4422c2360b676227690714c9ac5 (diff)
Replaced some unclear TODOs error message placeholder by clearer TODOs, they were forgotten before last push
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions