Commit e234666c authored by Michele Volpato's avatar Michele Volpato

added some logging

parent ba6bd882
......@@ -264,7 +264,7 @@ class LearningAlgorithm:
output = self._teacher.oneOutput(consecutiveInputs)
if output == None:
# SUT did not accept an input.
self._logger.warning("SUT did not accept input in " + str(consecutiveInputs))
#self._logger.warning("SUT did not accept input in " + str(consecutiveInputs))
return None
return output
return self._teacher.output()
......@@ -548,6 +548,7 @@ class LearningAlgorithm:
elif choice == 'testing':
self._logger.info("Improve preciseness method: testing")
ce, output = self.tester.findCounterexample(self._hMinus)
self._logger.info("Counterexample: " + str(ce))
# Handle counterexample
if ce:
if not self._table.handleCounterexample(ce, output):
......
......@@ -251,6 +251,7 @@ class Table:
# add new columns
# and add outputs to the new entry!
self.updateEntry(ce, output)
self._logger.warning("Handling a counterexample: adding column "+str(newSuffixes))
return self.addColumn(newSuffixes, force=True)
def addColumn(self, columns, force=False):
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment