|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
Variables | |
| str | digits = "0123456789" |
| str | octdigits = "01234567" |
| str | ascii_lowercase = "abcdefghijklmnopqrstuvwxyz" |
| str | ascii_uppercase = "ABCDEFGHIJKLMNOPQRSTUVWXYZ" |
| str | ascii_letters = "abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ" |
| str | hexdigits = "0123456789abcdefABCDEF" |
| str | punctuation = "!\"#$%&'()*+,-./:;<=>?@[\\]^_`{|}~" |
| str | whitespace = " \t\n\r\x0b\x0c" |
| str | printable = "0123456789abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ!\"#$%&'()*+,-./:;<=>?@[\\]^_`{|}~ \t\n\r\x0b\x0c" |
| str string.ascii_letters = "abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ" |
| str string.ascii_lowercase = "abcdefghijklmnopqrstuvwxyz" |
| str string.ascii_uppercase = "ABCDEFGHIJKLMNOPQRSTUVWXYZ" |
| str string.digits = "0123456789" |
| str string.hexdigits = "0123456789abcdefABCDEF" |
| str string.octdigits = "01234567" |
| str string.printable = "0123456789abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ!\"#$%&'()*+,-./:;<=>?@[\\]^_`{|}~ \t\n\r\x0b\x0c" |
| str string.punctuation = "!\"#$%&'()*+,-./:;<=>?@[\\]^_`{|}~" |
| str string.whitespace = " \t\n\r\x0b\x0c" |