Commit 2f1c022e authored by Michele's avatar Michele

fixed bug with table closedness

parent f2f226bb
......@@ -146,6 +146,7 @@ class Table:
rows.add(row)
continue
found = False
# search in S for Hminus
for rowInS in self._rowsInS:
if self._moreSpecificRow(rowInS, row, False):
......@@ -417,15 +418,14 @@ class Table:
labels = inputs.union(outputs)
for label in labels:
rowExt1 = row1 + (label,)
rowExt2 = row2 + (label,)
rowExt1 = th.flatten(row1 + (label,),self._quiescence)
rowExt2 = rowExt1 = th.flatten(row2 + (label,),self._quiescence)
# rowExt1 must be in Rows, because label is either an
# enabled input after row, or an observed output.
if rowExt1 not in self._rows:
self._logger.error("Error while checking consistency: the prefix "+str(rowExt1)+" should be a row, but it is not.")
self.printTable(prefix="_error")
self._logger.error("Table printed in ./tables/_error_table.csv")
self._logger.error(error)
raise
if not rowExt2 in self._rows:
# rowExt2 is not in rows. If label is an input then
......@@ -435,7 +435,6 @@ class Table:
self._logger.error("Error while checking consistency: the prefix "+str(rowExt2)+" should be a row, but it is not.")
self.printTable(prefix="_error")
self._logger.error("Table printed in ./tables/_error_table.csv")
self._logger.error(error)
raise
# If label is an output, then ok (being less specific,
# this is allowed)
......
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