diff --git a/learning/observationtable.py b/learning/observationtable.py index 0b69eac9c1cb0ae853b8c51abfc4d3fc2f271d3b..7dccc5dcb16712732222a1a26de1ffb6d1792820 100644 --- a/learning/observationtable.py +++ b/learning/observationtable.py @@ -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.") else: 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: