Commit f78216a7 authored by Michele Volpato's avatar Michele Volpato
Browse files

added check for row to be defined before promoting

parent 3b1555f4
......@@ -194,6 +194,8 @@ class Table:
for row in rows:
if row not in self._entries.keys():
self._logger.warning("Promoting rows: "+ str(row) +" is not in the table.")
elif not self.isDefined(row):
self._logger.warning("Promoting rows: "+ str(row) +" is not defined.")
self._rowsInS.add(th.flatten(row, self._quiescence))
......@@ -689,6 +691,7 @@ class Table:
# Update an entry in the table. If it does not exist, create it
# observation is the answer of the observation oracle
# TODO: observation oracle? should be replaced with possible outputs?
def updateEntry(self, trace, output=None, observation=None):
trace = th.flatten(trace, self._quiescence)
if trace in self._entries:
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