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

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"

Variable Documentation

◆ ascii_letters

str string.ascii_letters = "abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ"

◆ ascii_lowercase

str string.ascii_lowercase = "abcdefghijklmnopqrstuvwxyz"

◆ ascii_uppercase

str string.ascii_uppercase = "ABCDEFGHIJKLMNOPQRSTUVWXYZ"

◆ digits

str string.digits = "0123456789"

◆ hexdigits

str string.hexdigits = "0123456789abcdefABCDEF"

◆ octdigits

str string.octdigits = "01234567"

◆ printable

str string.printable = "0123456789abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ!\"#$%&'()*+,-./:;<=>?@[\\‍]^_`{|}~ \t\n\r\x0b\x0c"

◆ punctuation

str string.punctuation = "!\"#$%&'()*+,-./:;<=>?@[\\‍]^_`{|}~"

◆ whitespace

str string.whitespace = " \t\n\r\x0b\x0c"