|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
Public Member Functions | |
| None | __init__ (self, str initial_value="") |
| int | write (self, str s) |
| str | read (self) |
| str | getvalue (self) |
Protected Attributes | |
| str | _buf = initial_value |
| int | _pos = 0 |
io.StringIO: write() overwrites from the current position, as in
CPython, so StringIO("abc").write("x") leaves "xbc". | None io.StringIO.__init__ | ( | self, | |
| str | initial_value = "" ) |
| str io.StringIO.getvalue | ( | self | ) |
| str io.StringIO.read | ( | self | ) |
| int io.StringIO.write | ( | self, | |
| str | s ) |
|
protected |
|
protected |