Login
Z3 tests
Help: test-builtin-list
☰
Home
Timeline
Branches
Tags
Login
Command-List
The "test-builtin-list" command:
If -verbose is used, it outputs a line at the end with the total item count and size.
List the names and sizes of all built-in resources.