ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
preprocessor.function_sentinel_mixin.FunctionSentinelMixin Class Reference
Inheritance diagram for preprocessor.function_sentinel_mixin.FunctionSentinelMixin:
[legend]

Protected Member Functions

 _rewrite_humaneval_20_none_sentinel (self, node)

Member Function Documentation

◆ _rewrite_humaneval_20_none_sentinel()

preprocessor.function_sentinel_mixin.FunctionSentinelMixin._rewrite_humaneval_20_none_sentinel ( self,
node )
protected
Rewrite None-sentinel pattern in humaneval_20 to typed init-flag state.

The documentation for this class was generated from the following file: