summaryrefslogtreecommitdiff
path: root/backends/fstar/Makefile
diff options
context:
space:
mode:
authorNadrieril2024-05-24 14:56:26 +0200
committerNadrieril2024-05-24 16:11:59 +0200
commitc0a6916549b55fbae2226e4c34af45e500928645 (patch)
treeebcc2308bfdf11555dac207cfb1c22f81bf86177 /backends/fstar/Makefile
parent03f9d1767b19fe68c35a5adcf936ac9f39ab7882 (diff)
Fix running individual tests
Diffstat (limited to 'backends/fstar/Makefile')
0 files changed, 0 insertions, 0 deletions