|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
Public Member Functions | |
| __init__ (self, int year, int month, int day) | |
Public Attributes | |
| int | year = year |
| int | month = month |
| int | day = day |
| int | hour = 0 |
| int | minute = 0 |
| int | second = 0 |
| int | microsecond = 0 |
Represent a date and time.
Initialize a datetime with the given calendar date; time fields default to 0.
| int datetime.datetime.day = day |
| int datetime.datetime.hour = 0 |
| int datetime.datetime.microsecond = 0 |
| int datetime.datetime.minute = 0 |
| int datetime.datetime.month = month |
| int datetime.datetime.second = 0 |
| int datetime.datetime.year = year |