ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
string.py File Reference

Namespaces

namespace  string

Variables

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