Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

python -m unittest discover tests/ #65

Open
TomyYamy opened this issue Jan 19, 2021 · 7 comments
Open

python -m unittest discover tests/ #65

TomyYamy opened this issue Jan 19, 2021 · 7 comments
Assignees
@nickovic
Labels
bug Something isn't working

Comments

@TomyYamy
Copy link
Collaborator

TomyYamy commented Jan 19, 2021 •
edited
Loading

I tried

python -m unittest discover tests/

with master 6555257
But it was failed with Ubuntu 18.04 python 3.6

$ python3 -m unittest discover tests/
..................................................................................................................................................EEEEEEEEEEEEEEEEEEEEEEEEEEE.E....../mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_dense_time_online_evaluation.py:662: DeprecationWarning: Please use assertRaises instead.
  self.failUnlessRaises(rtamt.STLNotImplementedException, spec.update, ['req', [0.0, 3.0]])
......................................................................../mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_online_evaluation.py:510: DeprecationWarning: Please use assertRaises instead.
  self.failUnlessRaises(rtamt.STLNotImplementedException, spec.update, 0, [('req', self.left1)])
........................................
======================================================================
ERROR: test_abs (python.spec.test_stl_reset.TestSTLReset)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_reset.py", line 57, in test_abs
    spec.reset()
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/specification.py", line 238, in reset
    self.reseter.reset(self.top)
  File "/mnt/data/repos/rtamt/rtamt/spec/ltl/discrete_time/reset.py", line 9, in reset
    return self.visit(element, [])
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/reset.py", line 10, in visit
    STLVisitor.visit(self, element, args)
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/visitor.py", line 74, in visit
    out = self.visitAbs(element, args)
  File "/mnt/data/repos/rtamt/rtamt/spec/ltl/discrete_time/reset.py", line 52, in visitAbs
    monitor = self.node_monitor_dict[element]
KeyError: Abs

======================================================================
ERROR: test_addition (python.spec.test_stl_reset.TestSTLReset)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_reset.py", line 76, in test_addition
    spec.reset()
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/specification.py", line 238, in reset
    self.reseter.reset(self.top)
  File "/mnt/data/repos/rtamt/rtamt/spec/ltl/discrete_time/reset.py", line 9, in reset
    return self.visit(element, [])
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/reset.py", line 10, in visit
    STLVisitor.visit(self, element, args)
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/visitor.py", line 76, in visit
    out = self.visitAddition(element, args)
  File "/mnt/data/repos/rtamt/rtamt/spec/ltl/discrete_time/reset.py", line 29, in visitAddition
    monitor = self.node_monitor_dict[element]
KeyError: Addition

======================================================================
ERROR: test_conjunction (python.spec.test_stl_reset.TestSTLReset)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_reset.py", line 284, in test_conjunction
    spec.reset()
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/specification.py", line 238, in reset
    self.reseter.reset(self.top)
  File "/mnt/data/repos/rtamt/rtamt/spec/ltl/discrete_time/reset.py", line 9, in reset
    return self.visit(element, [])
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/reset.py", line 10, in visit
    STLVisitor.visit(self, element, args)
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/visitor.py", line 52, in visit
    out = self.visitAnd(element, args)
  File "/mnt/data/repos/rtamt/rtamt/spec/ltl/discrete_time/reset.py", line 73, in visitAnd
    monitor = self.node_monitor_dict[element]
KeyError: Conjunction

======================================================================
ERROR: test_constant (python.spec.test_stl_reset.TestSTLReset)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_reset.py", line 21, in test_constant
    spec.reset()
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/specification.py", line 238, in reset
    self.reseter.reset(self.top)
  File "/mnt/data/repos/rtamt/rtamt/spec/ltl/discrete_time/reset.py", line 9, in reset
    return self.visit(element, [])
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/reset.py", line 10, in visit
    STLVisitor.visit(self, element, args)
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/visitor.py", line 88, in visit
    out = self.visitConstant(element, args)
  File "/mnt/data/repos/rtamt/rtamt/spec/ltl/discrete_time/reset.py", line 12, in visitConstant
    monitor = self.node_monitor_dict[element]
KeyError: Constant

======================================================================
ERROR: test_disjunction (python.spec.test_stl_reset.TestSTLReset)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_reset.py", line 303, in test_disjunction
    spec.reset()
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/specification.py", line 238, in reset
    self.reseter.reset(self.top)
  File "/mnt/data/repos/rtamt/rtamt/spec/ltl/discrete_time/reset.py", line 9, in reset
    return self.visit(element, [])
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/reset.py", line 10, in visit
    STLVisitor.visit(self, element, args)
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/visitor.py", line 50, in visit
    out = self.visitOr(element, args)
  File "/mnt/data/repos/rtamt/rtamt/spec/ltl/discrete_time/reset.py", line 79, in visitOr
    monitor = self.node_monitor_dict[element]
KeyError: Disjunction

======================================================================
ERROR: test_division (python.spec.test_stl_reset.TestSTLReset)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_reset.py", line 133, in test_division
    spec.reset()
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/specification.py", line 238, in reset
    self.reseter.reset(self.top)
  File "/mnt/data/repos/rtamt/rtamt/spec/ltl/discrete_time/reset.py", line 9, in reset
    return self.visit(element, [])
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/reset.py", line 10, in visit
    STLVisitor.visit(self, element, args)
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/visitor.py", line 82, in visit
    out = self.visitDivision(element, args)
  File "/mnt/data/repos/rtamt/rtamt/spec/ltl/discrete_time/reset.py", line 47, in visitDivision
    monitor = self.node_monitor_dict[element]
KeyError: Division

======================================================================
ERROR: test_fall (python.spec.test_stl_reset.TestSTLReset)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_reset.py", line 396, in test_fall
    spec.reset()
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/specification.py", line 238, in reset
    self.reseter.reset(self.top)
  File "/mnt/data/repos/rtamt/rtamt/spec/ltl/discrete_time/reset.py", line 9, in reset
    return self.visit(element, [])
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/reset.py", line 10, in visit
    STLVisitor.visit(self, element, args)
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/visitor.py", line 86, in visit
    out = self.visitFall(element, args)
  File "/mnt/data/repos/rtamt/rtamt/spec/ltl/discrete_time/reset.py", line 62, in visitFall
    monitor = self.node_monitor_dict[element]
KeyError: Fall

======================================================================
ERROR: test_historically (python.spec.test_stl_reset.TestSTLReset)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_reset.py", line 450, in test_historically
    spec.reset()
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/specification.py", line 238, in reset
    self.reseter.reset(self.top)
  File "/mnt/data/repos/rtamt/rtamt/spec/ltl/discrete_time/reset.py", line 9, in reset
    return self.visit(element, [])
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/reset.py", line 10, in visit
    STLVisitor.visit(self, element, args)
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/visitor.py", line 68, in visit
    out = self.visitHistorically(element, args)
  File "/mnt/data/repos/rtamt/rtamt/spec/ltl/discrete_time/reset.py", line 133, in visitHistorically
    monitor = self.node_monitor_dict[element]
KeyError: Historically

======================================================================
ERROR: test_historically_0_1 (python.spec.test_stl_reset.TestSTLReset)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_reset.py", line 543, in test_historically_0_1
    spec.reset()
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/specification.py", line 238, in reset
    self.reseter.reset(self.top)
  File "/mnt/data/repos/rtamt/rtamt/spec/ltl/discrete_time/reset.py", line 9, in reset
    return self.visit(element, [])
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/reset.py", line 10, in visit
    STLVisitor.visit(self, element, args)
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/visitor.py", line 104, in visit
    out = self.visitTimedHistorically(element, args)
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/reset.py", line 42, in visitTimedHistorically
    monitor = self.node_monitor_dict[element]
KeyError: TimedHistorically

======================================================================
ERROR: test_iff (python.spec.test_stl_reset.TestSTLReset)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_reset.py", line 341, in test_iff
    spec.reset()
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/specification.py", line 238, in reset
    self.reseter.reset(self.top)
  File "/mnt/data/repos/rtamt/rtamt/spec/ltl/discrete_time/reset.py", line 9, in reset
    return self.visit(element, [])
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/reset.py", line 10, in visit
    STLVisitor.visit(self, element, args)
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/visitor.py", line 56, in visit
    out = self.visitIff(element, args)
  File "/mnt/data/repos/rtamt/rtamt/spec/ltl/discrete_time/reset.py", line 91, in visitIff
    monitor = self.node_monitor_dict[element]
KeyError: Iff

======================================================================
ERROR: test_implication (python.spec.test_stl_reset.TestSTLReset)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_reset.py", line 322, in test_implication
    spec.reset()
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/specification.py", line 238, in reset
    self.reseter.reset(self.top)
  File "/mnt/data/repos/rtamt/rtamt/spec/ltl/discrete_time/reset.py", line 9, in reset
    return self.visit(element, [])
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/reset.py", line 10, in visit
    STLVisitor.visit(self, element, args)
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/visitor.py", line 54, in visit
    out = self.visitImplies(element, args)
  File "/mnt/data/repos/rtamt/rtamt/spec/ltl/discrete_time/reset.py", line 85, in visitImplies
    monitor = self.node_monitor_dict[element]
KeyError: Implies

======================================================================
ERROR: test_multiplication (python.spec.test_stl_reset.TestSTLReset)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_reset.py", line 114, in test_multiplication
    spec.reset()
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/specification.py", line 238, in reset
    self.reseter.reset(self.top)
  File "/mnt/data/repos/rtamt/rtamt/spec/ltl/discrete_time/reset.py", line 9, in reset
    return self.visit(element, [])
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/reset.py", line 10, in visit
    STLVisitor.visit(self, element, args)
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/visitor.py", line 80, in visit
    out = self.visitMultiplication(element, args)
  File "/mnt/data/repos/rtamt/rtamt/spec/ltl/discrete_time/reset.py", line 35, in visitMultiplication
    monitor = self.node_monitor_dict[element]
KeyError: Multiplication

======================================================================
ERROR: test_not (python.spec.test_stl_reset.TestSTLReset)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_reset.py", line 265, in test_not
    spec.reset()
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/specification.py", line 238, in reset
    self.reseter.reset(self.top)
  File "/mnt/data/repos/rtamt/rtamt/spec/ltl/discrete_time/reset.py", line 9, in reset
    return self.visit(element, [])
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/reset.py", line 10, in visit
    STLVisitor.visit(self, element, args)
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/visitor.py", line 48, in visit
    out = self.visitNot(element, args)
  File "/mnt/data/repos/rtamt/rtamt/spec/ltl/discrete_time/reset.py", line 67, in visitNot
    monitor = self.node_monitor_dict[element]
KeyError: Neg

======================================================================
ERROR: test_once (python.spec.test_stl_reset.TestSTLReset)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_reset.py", line 432, in test_once
    spec.reset()
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/specification.py", line 238, in reset
    self.reseter.reset(self.top)
  File "/mnt/data/repos/rtamt/rtamt/spec/ltl/discrete_time/reset.py", line 9, in reset
    return self.visit(element, [])
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/reset.py", line 10, in visit
    STLVisitor.visit(self, element, args)
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/visitor.py", line 66, in visit
    out = self.visitOnce(element, args)
  File "/mnt/data/repos/rtamt/rtamt/spec/ltl/discrete_time/reset.py", line 118, in visitOnce
    monitor = self.node_monitor_dict[element]
KeyError: Once

======================================================================
ERROR: test_once_0_1 (python.spec.test_stl_reset.TestSTLReset)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_reset.py", line 524, in test_once_0_1
    spec.reset()
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/specification.py", line 238, in reset
    self.reseter.reset(self.top)
  File "/mnt/data/repos/rtamt/rtamt/spec/ltl/discrete_time/reset.py", line 9, in reset
    return self.visit(element, [])
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/reset.py", line 10, in visit
    STLVisitor.visit(self, element, args)
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/visitor.py", line 102, in visit
    out = self.visitTimedOnce(element, args)
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/reset.py", line 47, in visitTimedOnce
    monitor = self.node_monitor_dict[element]
KeyError: TimedOnce

======================================================================
ERROR: test_precedes_0_1 (python.spec.test_stl_reset.TestSTLReset)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_reset.py", line 575, in test_precedes_0_1
    out = spec.update(0, [['req', 1.1], ['gnt', 2.2]])
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/specification.py", line 117, in update
    self.online_evaluator = STLOnlineEvaluator(self)
  File "/mnt/data/repos/rtamt/rtamt/evaluator/stl/online_evaluator.py", line 32, in __init__
    self.node_monitor_dict = generator.generate(self.spec.top)
  File "/mnt/data/repos/rtamt/rtamt/evaluator/stl/discrete_time/online/python/online_discrete_time_python_monitor.py", line 35, in generate
    self.visit(node, [])
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/visitor.py", line 94, in visit
    out = self.visitTimedUntil(element, args)
  File "/mnt/data/repos/rtamt/rtamt/evaluator/stl/discrete_time/online/python/online_discrete_time_python_monitor.py", line 209, in visitTimedUntil
    raise STLNotImplementedException('Bounded until operator not implemented in STL online monitor.')
rtamt.exception.stl.exception.STLNotImplementedException: Bounded until operator not implemented in STL online monitor.

======================================================================
ERROR: test_predicate_eq (python.spec.test_stl_reset.TestSTLReset)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_reset.py", line 228, in test_predicate_eq
    spec.reset()
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/specification.py", line 238, in reset
    self.reseter.reset(self.top)
  File "/mnt/data/repos/rtamt/rtamt/spec/ltl/discrete_time/reset.py", line 9, in reset
    return self.visit(element, [])
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/reset.py", line 10, in visit
    STLVisitor.visit(self, element, args)
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/visitor.py", line 44, in visit
    out = self.visitPredicate(element, args)
  File "/mnt/data/repos/rtamt/rtamt/spec/ltl/discrete_time/reset.py", line 18, in visitPredicate
    monitor = self.node_monitor_dict[element]
KeyError: Predicate

======================================================================
ERROR: test_predicate_geq (python.spec.test_stl_reset.TestSTLReset)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_reset.py", line 190, in test_predicate_geq
    spec.reset()
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/specification.py", line 238, in reset
    self.reseter.reset(self.top)
  File "/mnt/data/repos/rtamt/rtamt/spec/ltl/discrete_time/reset.py", line 9, in reset
    return self.visit(element, [])
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/reset.py", line 10, in visit
    STLVisitor.visit(self, element, args)
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/visitor.py", line 44, in visit
    out = self.visitPredicate(element, args)
  File "/mnt/data/repos/rtamt/rtamt/spec/ltl/discrete_time/reset.py", line 18, in visitPredicate
    monitor = self.node_monitor_dict[element]
KeyError: Predicate

======================================================================
ERROR: test_predicate_greater (python.spec.test_stl_reset.TestSTLReset)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_reset.py", line 209, in test_predicate_greater
    spec.reset()
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/specification.py", line 238, in reset
    self.reseter.reset(self.top)
  File "/mnt/data/repos/rtamt/rtamt/spec/ltl/discrete_time/reset.py", line 9, in reset
    return self.visit(element, [])
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/reset.py", line 10, in visit
    STLVisitor.visit(self, element, args)
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/visitor.py", line 44, in visit
    out = self.visitPredicate(element, args)
  File "/mnt/data/repos/rtamt/rtamt/spec/ltl/discrete_time/reset.py", line 18, in visitPredicate
    monitor = self.node_monitor_dict[element]
KeyError: Predicate

======================================================================
ERROR: test_predicate_leq (python.spec.test_stl_reset.TestSTLReset)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_reset.py", line 152, in test_predicate_leq
    spec.reset()
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/specification.py", line 238, in reset
    self.reseter.reset(self.top)
  File "/mnt/data/repos/rtamt/rtamt/spec/ltl/discrete_time/reset.py", line 9, in reset
    return self.visit(element, [])
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/reset.py", line 10, in visit
    STLVisitor.visit(self, element, args)
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/visitor.py", line 44, in visit
    out = self.visitPredicate(element, args)
  File "/mnt/data/repos/rtamt/rtamt/spec/ltl/discrete_time/reset.py", line 18, in visitPredicate
    monitor = self.node_monitor_dict[element]
KeyError: Predicate

======================================================================
ERROR: test_predicate_less (python.spec.test_stl_reset.TestSTLReset)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_reset.py", line 171, in test_predicate_less
    spec.reset()
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/specification.py", line 238, in reset
    self.reseter.reset(self.top)
  File "/mnt/data/repos/rtamt/rtamt/spec/ltl/discrete_time/reset.py", line 9, in reset
    return self.visit(element, [])
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/reset.py", line 10, in visit
    STLVisitor.visit(self, element, args)
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/visitor.py", line 44, in visit
    out = self.visitPredicate(element, args)
  File "/mnt/data/repos/rtamt/rtamt/spec/ltl/discrete_time/reset.py", line 18, in visitPredicate
    monitor = self.node_monitor_dict[element]
KeyError: Predicate

======================================================================
ERROR: test_predicate_neq (python.spec.test_stl_reset.TestSTLReset)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_reset.py", line 247, in test_predicate_neq
    spec.reset()
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/specification.py", line 238, in reset
    self.reseter.reset(self.top)
  File "/mnt/data/repos/rtamt/rtamt/spec/ltl/discrete_time/reset.py", line 9, in reset
    return self.visit(element, [])
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/reset.py", line 10, in visit
    STLVisitor.visit(self, element, args)
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/visitor.py", line 44, in visit
    out = self.visitPredicate(element, args)
  File "/mnt/data/repos/rtamt/rtamt/spec/ltl/discrete_time/reset.py", line 18, in visitPredicate
    monitor = self.node_monitor_dict[element]
KeyError: Predicate

======================================================================
ERROR: test_prev (python.spec.test_stl_reset.TestSTLReset)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_reset.py", line 414, in test_prev
    spec.reset()
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/specification.py", line 238, in reset
    self.reseter.reset(self.top)
  File "/mnt/data/repos/rtamt/rtamt/spec/ltl/discrete_time/reset.py", line 9, in reset
    return self.visit(element, [])
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/reset.py", line 10, in visit
    STLVisitor.visit(self, element, args)
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/visitor.py", line 90, in visit
    out = self.visitPrevious(element, args)
  File "/mnt/data/repos/rtamt/rtamt/spec/ltl/discrete_time/reset.py", line 123, in visitPrevious
    monitor = self.node_monitor_dict[element]
KeyError: Previous

======================================================================
ERROR: test_rise (python.spec.test_stl_reset.TestSTLReset)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_reset.py", line 378, in test_rise
    spec.reset()
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/specification.py", line 238, in reset
    self.reseter.reset(self.top)
  File "/mnt/data/repos/rtamt/rtamt/spec/ltl/discrete_time/reset.py", line 9, in reset
    return self.visit(element, [])
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/reset.py", line 10, in visit
    STLVisitor.visit(self, element, args)
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/visitor.py", line 84, in visit
    out = self.visitRise(element, args)
  File "/mnt/data/repos/rtamt/rtamt/spec/ltl/discrete_time/reset.py", line 57, in visitRise
    monitor = self.node_monitor_dict[element]
KeyError: Rise

======================================================================
ERROR: test_since (python.spec.test_stl_reset.TestSTLReset)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_reset.py", line 505, in test_since
    spec.reset()
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/specification.py", line 238, in reset
    self.reseter.reset(self.top)
  File "/mnt/data/repos/rtamt/rtamt/spec/ltl/discrete_time/reset.py", line 9, in reset
    return self.visit(element, [])
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/reset.py", line 10, in visit
    STLVisitor.visit(self, element, args)
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/visitor.py", line 70, in visit
    out = self.visitSince(element, args)
  File "/mnt/data/repos/rtamt/rtamt/spec/ltl/discrete_time/reset.py", line 139, in visitSince
    monitor = self.node_monitor_dict[element]
KeyError: Since

======================================================================
ERROR: test_since_0_1 (python.spec.test_stl_reset.TestSTLReset)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_reset.py", line 562, in test_since_0_1
    spec.reset()
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/specification.py", line 238, in reset
    self.reseter.reset(self.top)
  File "/mnt/data/repos/rtamt/rtamt/spec/ltl/discrete_time/reset.py", line 9, in reset
    return self.visit(element, [])
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/reset.py", line 10, in visit
    STLVisitor.visit(self, element, args)
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/visitor.py", line 100, in visit
    out = self.visitTimedSince(element, args)
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/reset.py", line 37, in visitTimedSince
    monitor = self.node_monitor_dict[element]
KeyError: TimedSince

======================================================================
ERROR: test_subtraction (python.spec.test_stl_reset.TestSTLReset)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_reset.py", line 95, in test_subtraction
    spec.reset()
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/specification.py", line 238, in reset
    self.reseter.reset(self.top)
  File "/mnt/data/repos/rtamt/rtamt/spec/ltl/discrete_time/reset.py", line 9, in reset
    return self.visit(element, [])
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/reset.py", line 10, in visit
    STLVisitor.visit(self, element, args)
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/visitor.py", line 78, in visit
    out = self.visitSubtraction(element, args)
  File "/mnt/data/repos/rtamt/rtamt/spec/ltl/discrete_time/reset.py", line 41, in visitSubtraction
    monitor = self.node_monitor_dict[element]
KeyError: Subtraction

======================================================================
ERROR: test_xor (python.spec.test_stl_reset.TestSTLReset)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_reset.py", line 360, in test_xor
    spec.reset()
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/specification.py", line 238, in reset
    self.reseter.reset(self.top)
  File "/mnt/data/repos/rtamt/rtamt/spec/ltl/discrete_time/reset.py", line 9, in reset
    return self.visit(element, [])
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/reset.py", line 10, in visit
    STLVisitor.visit(self, element, args)
  File "/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/visitor.py", line 58, in visit
    out = self.visitXor(element, args)
  File "/mnt/data/repos/rtamt/rtamt/spec/ltl/discrete_time/reset.py", line 97, in visitXor
    monitor = self.node_monitor_dict[element]
KeyError: Xor

----------------------------------------------------------------------
Ran 293 tests in 0.152s

FAILED (errors=28)
@TomyYamy
Copy link
Collaborator Author

TomyYamy commented Jan 19, 2021 •
edited
Loading

@nickovic Should I try python2.7 too?

@TomyYamy TomyYamy added the bug Something isn't working label Jan 19, 2021
@TomyYamy
Copy link
Collaborator Author

That is Ubuntu18.04 python 2.7 case too

$ python2 -m unittest discover tests/
...................................................................................................................................................................EEEEEEEEEEEEEEEEEEEEEEEEEEE.E.....................................................................................................
======================================================================
ERROR: test_abs (python.spec.test_stl_reset.TestSTLReset)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_reset.py", line 57, in test_abs
    spec.reset()
  File "rtamt/spec/stl/discrete_time/specification.py", line 238, in reset
    self.reseter.reset(self.top)
  File "rtamt/spec/ltl/discrete_time/reset.py", line 9, in reset
    return self.visit(element, [])
  File "rtamt/spec/stl/discrete_time/reset.py", line 10, in visit
    STLVisitor.visit(self, element, args)
  File "rtamt/spec/stl/discrete_time/visitor.py", line 74, in visit
    out = self.visitAbs(element, args)
  File "rtamt/spec/ltl/discrete_time/reset.py", line 52, in visitAbs
    monitor = self.node_monitor_dict[element]
KeyError: Abs

======================================================================
ERROR: test_addition (python.spec.test_stl_reset.TestSTLReset)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_reset.py", line 76, in test_addition
    spec.reset()
  File "rtamt/spec/stl/discrete_time/specification.py", line 238, in reset
    self.reseter.reset(self.top)
  File "rtamt/spec/ltl/discrete_time/reset.py", line 9, in reset
    return self.visit(element, [])
  File "rtamt/spec/stl/discrete_time/reset.py", line 10, in visit
    STLVisitor.visit(self, element, args)
  File "rtamt/spec/stl/discrete_time/visitor.py", line 76, in visit
    out = self.visitAddition(element, args)
  File "rtamt/spec/ltl/discrete_time/reset.py", line 29, in visitAddition
    monitor = self.node_monitor_dict[element]
KeyError: Addition

======================================================================
ERROR: test_conjunction (python.spec.test_stl_reset.TestSTLReset)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_reset.py", line 284, in test_conjunction
    spec.reset()
  File "rtamt/spec/stl/discrete_time/specification.py", line 238, in reset
    self.reseter.reset(self.top)
  File "rtamt/spec/ltl/discrete_time/reset.py", line 9, in reset
    return self.visit(element, [])
  File "rtamt/spec/stl/discrete_time/reset.py", line 10, in visit
    STLVisitor.visit(self, element, args)
  File "rtamt/spec/stl/discrete_time/visitor.py", line 52, in visit
    out = self.visitAnd(element, args)
  File "rtamt/spec/ltl/discrete_time/reset.py", line 73, in visitAnd
    monitor = self.node_monitor_dict[element]
KeyError: Conjunction

======================================================================
ERROR: test_constant (python.spec.test_stl_reset.TestSTLReset)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_reset.py", line 21, in test_constant
    spec.reset()
  File "rtamt/spec/stl/discrete_time/specification.py", line 238, in reset
    self.reseter.reset(self.top)
  File "rtamt/spec/ltl/discrete_time/reset.py", line 9, in reset
    return self.visit(element, [])
  File "rtamt/spec/stl/discrete_time/reset.py", line 10, in visit
    STLVisitor.visit(self, element, args)
  File "rtamt/spec/stl/discrete_time/visitor.py", line 88, in visit
    out = self.visitConstant(element, args)
  File "rtamt/spec/ltl/discrete_time/reset.py", line 12, in visitConstant
    monitor = self.node_monitor_dict[element]
KeyError: Constant

======================================================================
ERROR: test_disjunction (python.spec.test_stl_reset.TestSTLReset)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_reset.py", line 303, in test_disjunction
    spec.reset()
  File "rtamt/spec/stl/discrete_time/specification.py", line 238, in reset
    self.reseter.reset(self.top)
  File "rtamt/spec/ltl/discrete_time/reset.py", line 9, in reset
    return self.visit(element, [])
  File "rtamt/spec/stl/discrete_time/reset.py", line 10, in visit
    STLVisitor.visit(self, element, args)
  File "rtamt/spec/stl/discrete_time/visitor.py", line 50, in visit
    out = self.visitOr(element, args)
  File "rtamt/spec/ltl/discrete_time/reset.py", line 79, in visitOr
    monitor = self.node_monitor_dict[element]
KeyError: Disjunction

======================================================================
ERROR: test_division (python.spec.test_stl_reset.TestSTLReset)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_reset.py", line 133, in test_division
    spec.reset()
  File "rtamt/spec/stl/discrete_time/specification.py", line 238, in reset
    self.reseter.reset(self.top)
  File "rtamt/spec/ltl/discrete_time/reset.py", line 9, in reset
    return self.visit(element, [])
  File "rtamt/spec/stl/discrete_time/reset.py", line 10, in visit
    STLVisitor.visit(self, element, args)
  File "rtamt/spec/stl/discrete_time/visitor.py", line 82, in visit
    out = self.visitDivision(element, args)
  File "rtamt/spec/ltl/discrete_time/reset.py", line 47, in visitDivision
    monitor = self.node_monitor_dict[element]
KeyError: Division

======================================================================
ERROR: test_fall (python.spec.test_stl_reset.TestSTLReset)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_reset.py", line 396, in test_fall
    spec.reset()
  File "rtamt/spec/stl/discrete_time/specification.py", line 238, in reset
    self.reseter.reset(self.top)
  File "rtamt/spec/ltl/discrete_time/reset.py", line 9, in reset
    return self.visit(element, [])
  File "rtamt/spec/stl/discrete_time/reset.py", line 10, in visit
    STLVisitor.visit(self, element, args)
  File "rtamt/spec/stl/discrete_time/visitor.py", line 86, in visit
    out = self.visitFall(element, args)
  File "rtamt/spec/ltl/discrete_time/reset.py", line 62, in visitFall
    monitor = self.node_monitor_dict[element]
KeyError: Fall

======================================================================
ERROR: test_historically (python.spec.test_stl_reset.TestSTLReset)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_reset.py", line 450, in test_historically
    spec.reset()
  File "rtamt/spec/stl/discrete_time/specification.py", line 238, in reset
    self.reseter.reset(self.top)
  File "rtamt/spec/ltl/discrete_time/reset.py", line 9, in reset
    return self.visit(element, [])
  File "rtamt/spec/stl/discrete_time/reset.py", line 10, in visit
    STLVisitor.visit(self, element, args)
  File "rtamt/spec/stl/discrete_time/visitor.py", line 68, in visit
    out = self.visitHistorically(element, args)
  File "rtamt/spec/ltl/discrete_time/reset.py", line 133, in visitHistorically
    monitor = self.node_monitor_dict[element]
KeyError: Historically

======================================================================
ERROR: test_historically_0_1 (python.spec.test_stl_reset.TestSTLReset)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_reset.py", line 543, in test_historically_0_1
    spec.reset()
  File "rtamt/spec/stl/discrete_time/specification.py", line 238, in reset
    self.reseter.reset(self.top)
  File "rtamt/spec/ltl/discrete_time/reset.py", line 9, in reset
    return self.visit(element, [])
  File "rtamt/spec/stl/discrete_time/reset.py", line 10, in visit
    STLVisitor.visit(self, element, args)
  File "rtamt/spec/stl/discrete_time/visitor.py", line 104, in visit
    out = self.visitTimedHistorically(element, args)
  File "rtamt/spec/stl/discrete_time/reset.py", line 42, in visitTimedHistorically
    monitor = self.node_monitor_dict[element]
KeyError: TimedHistorically

======================================================================
ERROR: test_iff (python.spec.test_stl_reset.TestSTLReset)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_reset.py", line 341, in test_iff
    spec.reset()
  File "rtamt/spec/stl/discrete_time/specification.py", line 238, in reset
    self.reseter.reset(self.top)
  File "rtamt/spec/ltl/discrete_time/reset.py", line 9, in reset
    return self.visit(element, [])
  File "rtamt/spec/stl/discrete_time/reset.py", line 10, in visit
    STLVisitor.visit(self, element, args)
  File "rtamt/spec/stl/discrete_time/visitor.py", line 56, in visit
    out = self.visitIff(element, args)
  File "rtamt/spec/ltl/discrete_time/reset.py", line 91, in visitIff
    monitor = self.node_monitor_dict[element]
KeyError: Iff

======================================================================
ERROR: test_implication (python.spec.test_stl_reset.TestSTLReset)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_reset.py", line 322, in test_implication
    spec.reset()
  File "rtamt/spec/stl/discrete_time/specification.py", line 238, in reset
    self.reseter.reset(self.top)
  File "rtamt/spec/ltl/discrete_time/reset.py", line 9, in reset
    return self.visit(element, [])
  File "rtamt/spec/stl/discrete_time/reset.py", line 10, in visit
    STLVisitor.visit(self, element, args)
  File "rtamt/spec/stl/discrete_time/visitor.py", line 54, in visit
    out = self.visitImplies(element, args)
  File "rtamt/spec/ltl/discrete_time/reset.py", line 85, in visitImplies
    monitor = self.node_monitor_dict[element]
KeyError: Implies

======================================================================
ERROR: test_multiplication (python.spec.test_stl_reset.TestSTLReset)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_reset.py", line 114, in test_multiplication
    spec.reset()
  File "rtamt/spec/stl/discrete_time/specification.py", line 238, in reset
    self.reseter.reset(self.top)
  File "rtamt/spec/ltl/discrete_time/reset.py", line 9, in reset
    return self.visit(element, [])
  File "rtamt/spec/stl/discrete_time/reset.py", line 10, in visit
    STLVisitor.visit(self, element, args)
  File "rtamt/spec/stl/discrete_time/visitor.py", line 80, in visit
    out = self.visitMultiplication(element, args)
  File "rtamt/spec/ltl/discrete_time/reset.py", line 35, in visitMultiplication
    monitor = self.node_monitor_dict[element]
KeyError: Multiplication

======================================================================
ERROR: test_not (python.spec.test_stl_reset.TestSTLReset)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_reset.py", line 265, in test_not
    spec.reset()
  File "rtamt/spec/stl/discrete_time/specification.py", line 238, in reset
    self.reseter.reset(self.top)
  File "rtamt/spec/ltl/discrete_time/reset.py", line 9, in reset
    return self.visit(element, [])
  File "rtamt/spec/stl/discrete_time/reset.py", line 10, in visit
    STLVisitor.visit(self, element, args)
  File "rtamt/spec/stl/discrete_time/visitor.py", line 48, in visit
    out = self.visitNot(element, args)
  File "rtamt/spec/ltl/discrete_time/reset.py", line 67, in visitNot
    monitor = self.node_monitor_dict[element]
KeyError: Neg

======================================================================
ERROR: test_once (python.spec.test_stl_reset.TestSTLReset)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_reset.py", line 432, in test_once
    spec.reset()
  File "rtamt/spec/stl/discrete_time/specification.py", line 238, in reset
    self.reseter.reset(self.top)
  File "rtamt/spec/ltl/discrete_time/reset.py", line 9, in reset
    return self.visit(element, [])
  File "rtamt/spec/stl/discrete_time/reset.py", line 10, in visit
    STLVisitor.visit(self, element, args)
  File "rtamt/spec/stl/discrete_time/visitor.py", line 66, in visit
    out = self.visitOnce(element, args)
  File "rtamt/spec/ltl/discrete_time/reset.py", line 118, in visitOnce
    monitor = self.node_monitor_dict[element]
KeyError: Once

======================================================================
ERROR: test_once_0_1 (python.spec.test_stl_reset.TestSTLReset)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_reset.py", line 524, in test_once_0_1
    spec.reset()
  File "rtamt/spec/stl/discrete_time/specification.py", line 238, in reset
    self.reseter.reset(self.top)
  File "rtamt/spec/ltl/discrete_time/reset.py", line 9, in reset
    return self.visit(element, [])
  File "rtamt/spec/stl/discrete_time/reset.py", line 10, in visit
    STLVisitor.visit(self, element, args)
  File "rtamt/spec/stl/discrete_time/visitor.py", line 102, in visit
    out = self.visitTimedOnce(element, args)
  File "rtamt/spec/stl/discrete_time/reset.py", line 47, in visitTimedOnce
    monitor = self.node_monitor_dict[element]
KeyError: TimedOnce

======================================================================
ERROR: test_precedes_0_1 (python.spec.test_stl_reset.TestSTLReset)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_reset.py", line 575, in test_precedes_0_1
    out = spec.update(0, [['req', 1.1], ['gnt', 2.2]])
  File "rtamt/spec/stl/discrete_time/specification.py", line 117, in update
    self.online_evaluator = STLOnlineEvaluator(self)
  File "rtamt/evaluator/stl/online_evaluator.py", line 32, in __init__
    self.node_monitor_dict = generator.generate(self.spec.top)
  File "rtamt/evaluator/stl/discrete_time/online/python/online_discrete_time_python_monitor.py", line 35, in generate
    self.visit(node, [])
  File "rtamt/spec/stl/discrete_time/visitor.py", line 94, in visit
    out = self.visitTimedUntil(element, args)
  File "rtamt/evaluator/stl/discrete_time/online/python/online_discrete_time_python_monitor.py", line 209, in visitTimedUntil
    raise STLNotImplementedException('Bounded until operator not implemented in STL online monitor.')
STLNotImplementedException: Bounded until operator not implemented in STL online monitor.

======================================================================
ERROR: test_predicate_eq (python.spec.test_stl_reset.TestSTLReset)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_reset.py", line 228, in test_predicate_eq
    spec.reset()
  File "rtamt/spec/stl/discrete_time/specification.py", line 238, in reset
    self.reseter.reset(self.top)
  File "rtamt/spec/ltl/discrete_time/reset.py", line 9, in reset
    return self.visit(element, [])
  File "rtamt/spec/stl/discrete_time/reset.py", line 10, in visit
    STLVisitor.visit(self, element, args)
  File "rtamt/spec/stl/discrete_time/visitor.py", line 44, in visit
    out = self.visitPredicate(element, args)
  File "rtamt/spec/ltl/discrete_time/reset.py", line 18, in visitPredicate
    monitor = self.node_monitor_dict[element]
KeyError: Predicate

======================================================================
ERROR: test_predicate_geq (python.spec.test_stl_reset.TestSTLReset)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_reset.py", line 190, in test_predicate_geq
    spec.reset()
  File "rtamt/spec/stl/discrete_time/specification.py", line 238, in reset
    self.reseter.reset(self.top)
  File "rtamt/spec/ltl/discrete_time/reset.py", line 9, in reset
    return self.visit(element, [])
  File "rtamt/spec/stl/discrete_time/reset.py", line 10, in visit
    STLVisitor.visit(self, element, args)
  File "rtamt/spec/stl/discrete_time/visitor.py", line 44, in visit
    out = self.visitPredicate(element, args)
  File "rtamt/spec/ltl/discrete_time/reset.py", line 18, in visitPredicate
    monitor = self.node_monitor_dict[element]
KeyError: Predicate

======================================================================
ERROR: test_predicate_greater (python.spec.test_stl_reset.TestSTLReset)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_reset.py", line 209, in test_predicate_greater
    spec.reset()
  File "rtamt/spec/stl/discrete_time/specification.py", line 238, in reset
    self.reseter.reset(self.top)
  File "rtamt/spec/ltl/discrete_time/reset.py", line 9, in reset
    return self.visit(element, [])
  File "rtamt/spec/stl/discrete_time/reset.py", line 10, in visit
    STLVisitor.visit(self, element, args)
  File "rtamt/spec/stl/discrete_time/visitor.py", line 44, in visit
    out = self.visitPredicate(element, args)
  File "rtamt/spec/ltl/discrete_time/reset.py", line 18, in visitPredicate
    monitor = self.node_monitor_dict[element]
KeyError: Predicate

======================================================================
ERROR: test_predicate_leq (python.spec.test_stl_reset.TestSTLReset)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_reset.py", line 152, in test_predicate_leq
    spec.reset()
  File "rtamt/spec/stl/discrete_time/specification.py", line 238, in reset
    self.reseter.reset(self.top)
  File "rtamt/spec/ltl/discrete_time/reset.py", line 9, in reset
    return self.visit(element, [])
  File "rtamt/spec/stl/discrete_time/reset.py", line 10, in visit
    STLVisitor.visit(self, element, args)
  File "rtamt/spec/stl/discrete_time/visitor.py", line 44, in visit
    out = self.visitPredicate(element, args)
  File "rtamt/spec/ltl/discrete_time/reset.py", line 18, in visitPredicate
    monitor = self.node_monitor_dict[element]
KeyError: Predicate

======================================================================
ERROR: test_predicate_less (python.spec.test_stl_reset.TestSTLReset)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_reset.py", line 171, in test_predicate_less
    spec.reset()
  File "rtamt/spec/stl/discrete_time/specification.py", line 238, in reset
    self.reseter.reset(self.top)
  File "rtamt/spec/ltl/discrete_time/reset.py", line 9, in reset
    return self.visit(element, [])
  File "rtamt/spec/stl/discrete_time/reset.py", line 10, in visit
    STLVisitor.visit(self, element, args)
  File "rtamt/spec/stl/discrete_time/visitor.py", line 44, in visit
    out = self.visitPredicate(element, args)
  File "rtamt/spec/ltl/discrete_time/reset.py", line 18, in visitPredicate
    monitor = self.node_monitor_dict[element]
KeyError: Predicate

======================================================================
ERROR: test_predicate_neq (python.spec.test_stl_reset.TestSTLReset)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_reset.py", line 247, in test_predicate_neq
    spec.reset()
  File "rtamt/spec/stl/discrete_time/specification.py", line 238, in reset
    self.reseter.reset(self.top)
  File "rtamt/spec/ltl/discrete_time/reset.py", line 9, in reset
    return self.visit(element, [])
  File "rtamt/spec/stl/discrete_time/reset.py", line 10, in visit
    STLVisitor.visit(self, element, args)
  File "rtamt/spec/stl/discrete_time/visitor.py", line 44, in visit
    out = self.visitPredicate(element, args)
  File "rtamt/spec/ltl/discrete_time/reset.py", line 18, in visitPredicate
    monitor = self.node_monitor_dict[element]
KeyError: Predicate

======================================================================
ERROR: test_prev (python.spec.test_stl_reset.TestSTLReset)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_reset.py", line 414, in test_prev
    spec.reset()
  File "rtamt/spec/stl/discrete_time/specification.py", line 238, in reset
    self.reseter.reset(self.top)
  File "rtamt/spec/ltl/discrete_time/reset.py", line 9, in reset
    return self.visit(element, [])
  File "rtamt/spec/stl/discrete_time/reset.py", line 10, in visit
    STLVisitor.visit(self, element, args)
  File "rtamt/spec/stl/discrete_time/visitor.py", line 90, in visit
    out = self.visitPrevious(element, args)
  File "rtamt/spec/ltl/discrete_time/reset.py", line 123, in visitPrevious
    monitor = self.node_monitor_dict[element]
KeyError: Previous

======================================================================
ERROR: test_rise (python.spec.test_stl_reset.TestSTLReset)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_reset.py", line 378, in test_rise
    spec.reset()
  File "rtamt/spec/stl/discrete_time/specification.py", line 238, in reset
    self.reseter.reset(self.top)
  File "rtamt/spec/ltl/discrete_time/reset.py", line 9, in reset
    return self.visit(element, [])
  File "rtamt/spec/stl/discrete_time/reset.py", line 10, in visit
    STLVisitor.visit(self, element, args)
  File "rtamt/spec/stl/discrete_time/visitor.py", line 84, in visit
    out = self.visitRise(element, args)
  File "rtamt/spec/ltl/discrete_time/reset.py", line 57, in visitRise
    monitor = self.node_monitor_dict[element]
KeyError: Rise

======================================================================
ERROR: test_since (python.spec.test_stl_reset.TestSTLReset)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_reset.py", line 505, in test_since
    spec.reset()
  File "rtamt/spec/stl/discrete_time/specification.py", line 238, in reset
    self.reseter.reset(self.top)
  File "rtamt/spec/ltl/discrete_time/reset.py", line 9, in reset
    return self.visit(element, [])
  File "rtamt/spec/stl/discrete_time/reset.py", line 10, in visit
    STLVisitor.visit(self, element, args)
  File "rtamt/spec/stl/discrete_time/visitor.py", line 70, in visit
    out = self.visitSince(element, args)
  File "rtamt/spec/ltl/discrete_time/reset.py", line 139, in visitSince
    monitor = self.node_monitor_dict[element]
KeyError: Since

======================================================================
ERROR: test_since_0_1 (python.spec.test_stl_reset.TestSTLReset)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_reset.py", line 562, in test_since_0_1
    spec.reset()
  File "rtamt/spec/stl/discrete_time/specification.py", line 238, in reset
    self.reseter.reset(self.top)
  File "rtamt/spec/ltl/discrete_time/reset.py", line 9, in reset
    return self.visit(element, [])
  File "rtamt/spec/stl/discrete_time/reset.py", line 10, in visit
    STLVisitor.visit(self, element, args)
  File "rtamt/spec/stl/discrete_time/visitor.py", line 100, in visit
    out = self.visitTimedSince(element, args)
  File "rtamt/spec/stl/discrete_time/reset.py", line 37, in visitTimedSince
    monitor = self.node_monitor_dict[element]
KeyError: TimedSince

======================================================================
ERROR: test_subtraction (python.spec.test_stl_reset.TestSTLReset)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_reset.py", line 95, in test_subtraction
    spec.reset()
  File "rtamt/spec/stl/discrete_time/specification.py", line 238, in reset
    self.reseter.reset(self.top)
  File "rtamt/spec/ltl/discrete_time/reset.py", line 9, in reset
    return self.visit(element, [])
  File "rtamt/spec/stl/discrete_time/reset.py", line 10, in visit
    STLVisitor.visit(self, element, args)
  File "rtamt/spec/stl/discrete_time/visitor.py", line 78, in visit
    out = self.visitSubtraction(element, args)
  File "rtamt/spec/ltl/discrete_time/reset.py", line 41, in visitSubtraction
    monitor = self.node_monitor_dict[element]
KeyError: Subtraction

======================================================================
ERROR: test_xor (python.spec.test_stl_reset.TestSTLReset)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_reset.py", line 360, in test_xor
    spec.reset()
  File "rtamt/spec/stl/discrete_time/specification.py", line 238, in reset
    self.reseter.reset(self.top)
  File "rtamt/spec/ltl/discrete_time/reset.py", line 9, in reset
    return self.visit(element, [])
  File "rtamt/spec/stl/discrete_time/reset.py", line 10, in visit
    STLVisitor.visit(self, element, args)
  File "rtamt/spec/stl/discrete_time/visitor.py", line 58, in visit
    out = self.visitXor(element, args)
  File "rtamt/spec/ltl/discrete_time/reset.py", line 97, in visitXor
    monitor = self.node_monitor_dict[element]
KeyError: Xor

----------------------------------------------------------------------
Ran 293 tests in 0.169s

FAILED (errors=28)

@zfwang96
Copy link

Hi, I have met the same error. I am using Ubuntu 20.04 Python 3.8

@nickovic
Copy link
Owner

fixed the bug.

@lily410
Copy link

lily410 commented May 10, 2023

fixed the bug.

Hi, I met the same bug.How did you fix it?

@nickovic
Copy link
Owner

Hello,

Which version of RTAMT are you using?

@nickovic nickovic reopened this May 11, 2023
@nickovic
Copy link
Owner

BTW, here is the branch with the fix
https://github.com/nickovic/rtamt/tree/65-reset-test-bug

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@nickovic nickovic

Labels
bug Something isn't working
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
4 participants
@zfwang96 @TomyYamy @nickovic @lily410