|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
Classes | |
| class | ABC |
Functions | |
| abstractmethod (funcobj) | |
Operational model for the abc module. Instantiating a class that still has abstract methods is rejected by the converter, which reads the @abstractmethod decorators; this model only makes the names resolvable.
| abc.abstractmethod | ( | funcobj | ) |
Return funcobj unchanged; abstractness is read from the decorator.