diff options
| author | Nadrieril | 2024-05-24 14:56:26 +0200 |
|---|---|---|
| committer | Nadrieril | 2024-05-24 16:11:59 +0200 |
| commit | c0a6916549b55fbae2226e4c34af45e500928645 (patch) | |
| tree | ebcc2308bfdf11555dac207cfb1c22f81bf86177 /tests/fstar/misc/Makefile | |
| parent | 03f9d1767b19fe68c35a5adcf936ac9f39ab7882 (diff) | |
Fix running individual tests
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions