Fix for divine4: name 'logging' was undefined
@@ -20,6 +20,9 @@ limitations under the License.
This file contains tool support for DIVINE (divine.fi.muni.cz)
"""
+
+import logging
+
import benchexec.util as util
import benchexec.tools.template
import benchexec.result as result
