TenjintShell.execution\_count
=============================

.. currentmodule:: tenjint.plugins.interactive

.. autoattribute:: TenjintShell.execution_count