diff options
| author | Sidney Congard | 2022-08-11 10:39:04 +0200 |
|---|---|---|
| committer | Sidney Congard | 2022-08-11 10:39:04 +0200 |
| commit | fa491861faed3ba5ed4fe806b55bea663a29579c (patch) | |
| tree | 05a4e268aedfdea0b14ac9e44f8ee66210aeae65 /tests/misc/Constants.fst | |
| parent | cd754eabe3af025ca3465c5fc6d8cb48da66a1ae (diff) | |
Correct assertion for stateless globals
Diffstat (limited to 'tests/misc/Constants.fst')
0 files changed, 0 insertions, 0 deletions