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

Classes

class  ABC

Functions

 abstractmethod (funcobj)

Detailed Description

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.

Function Documentation

◆ abstractmethod()

abc.abstractmethod ( funcobj)
Return funcobj unchanged; abstractness is read from the decorator.