Login
Z3 tests
Help: test-command-stats
☰
Home
Timeline
Branches
Tags
Login
Command-List
The "test-command-stats" command:
Print statistics about the built-in command dispatch table.