summaryrefslogtreecommitdiff
path: root/tests/fstar/misc
diff options
context:
space:
mode:
authorSon Ho2024-06-05 16:12:15 +0200
committerSon Ho2024-06-05 16:12:15 +0200
commita6c9ab139977982f610f3d46e2e2f4c141880c3c (patch)
treefa009e747aa09d9ab610cbcc13112f844b890a7c /tests/fstar/misc
parentbb1caf9a8efdadd599560b3ff7a12d275a12f696 (diff)
Relax some constraints in the symbolic execution when borrow-checking
Diffstat (limited to 'tests/fstar/misc')
0 files changed, 0 insertions, 0 deletions