Login
Z3 tests
Help: test-relative-name
☰
Home
Timeline
Branches
Tags
Login
Command-List
The "test-relative-name" command:
Test the operation of the relative name generator.