diff options
| author | Gaëtan Gilbert | 2020-08-28 15:38:04 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-08-28 16:31:09 +0200 |
| commit | 2269c97be12263f96a538c1c5311b78b3eb67915 (patch) | |
| tree | 9c9c20b6e354e9707ae9381fd420d271f8062a03 /dev/base_include | |
| parent | 4341759b033286b132ecaeb4816db63c47a66e10 (diff) | |
Name saved goals in name_mangling test
Should be more robust with async proofs
Diffstat (limited to 'dev/base_include')
0 files changed, 0 insertions, 0 deletions