diff options
| author | Son Ho | 2024-03-10 19:07:36 +0100 |
|---|---|---|
| committer | Son Ho | 2024-03-10 19:07:36 +0100 |
| commit | 6f505d8e879793e8e2798dac5aa1a3e99c8e2466 (patch) | |
| tree | 02ccff5f9bab007b3214a55ad8382461a26feb3c /tests/hol4/betree | |
| parent | 14171474f9a4a45874d181cdb6567c7af7dc32cd (diff) | |
Update the name generation and add CLI to print external pat names
Diffstat (limited to 'tests/hol4/betree')
0 files changed, 0 insertions, 0 deletions