Move part of formal proof to the implementation
[soc.git] / .pylintrc
1 [TYPECHECK]
2 contextmanager-decorators=contextlib.contextmanager,_guardedcontextmanager