Login
Z3 tests
Help: test-html-tokenize
☰
Home
Timeline
Branches
Tags
Login
Command-List
The "test-html-tokenize" command:
Tokenize an HTML file. Return the offset and length and text of each token - one token per line. Omit white-space tokens.