Login
Z3 tests
Help: test-atoi
☰
Home
Timeline
Branches
Tags
Login
Topic-List
The "test-atoi" command:
Use the blob_is_int() and blob_is_int64() routines to convert arguments into integers. Used for unit testing of those routines.