diff options
| author | Son Ho | 2023-11-27 13:48:46 +0100 |
|---|---|---|
| committer | Son Ho | 2023-11-27 13:48:46 +0100 |
| commit | fdb8555cf6bc21ea230141373920196b078bdd28 (patch) | |
| tree | 948e676c2f85844cc26ea8af00f5c5e836106718 /tests/fstar/Makefile.template | |
| parent | bef2bd34fcb0817f1b7d16b95122bcc3c6f05c72 (diff) | |
Do not activate the sanity (invariant) checks by default
Diffstat (limited to 'tests/fstar/Makefile.template')
0 files changed, 0 insertions, 0 deletions