diff options
| author | Son Ho | 2024-04-04 15:47:54 +0200 |
|---|---|---|
| committer | Son Ho | 2024-04-04 15:47:54 +0200 |
| commit | 1f3ce79023d902d0145da38e878d991a6ba29236 (patch) | |
| tree | 1dad0ad70d25020d2e231573ba7174954df2980c /tests/fstar/Makefile | |
| parent | 9e7aacc885c067af71d12c8f796f9951dd045261 (diff) | |
Update the way errors are reported
Diffstat (limited to 'tests/fstar/Makefile')
0 files changed, 0 insertions, 0 deletions