Display modal window in case a stop condition is true

asn1_value_editor/sdlHandler.py

@@ -28,7 +28,7 @@ from itertools import chain
 
 from PySide.QtGui import (QDockWidget, QPushButton, QGridLayout, QListWidget,
                           QUndoStack, QUndoCommand, QToolButton, QTableWidget,
-                          QTableWidgetItem, QComboBox)
+                          QTableWidgetItem, QComboBox, QMessageBox)
 from PySide.QtCore import QObject, Signal, Slot, Qt, QFile, QTimer
 from PySide.QtUiTools import QUiLoader
 
@@ -443,7 +443,13 @@ class sdlHandler(QObject):
         self.restore_global_state(statehash, dll=self.prop_dll)
         for text, check in self.properties.viewitems():
             if check():
-                self.log_area.addItem('Property "{}" is true'.format(text))
+                msg = 'Property "{}" is true'.format(text)
+                self.log_area.addItem(msg)
+                if self.sim_param['state'] != 'exhaustive':
+                    box = QMessageBox(QMessageBox.Information,
+                                'Stop condition', msg)
+                    box.exec_()
+                    self.sim_param['state'] = 'manual'
 
     @Slot()
     def startStop(self):