def test_predicate_neq(self):
var_node_1 = Variable('req', '', 'output')
var_node_2 = Variable('gnt', '', 'output')
node = Predicate(var_node_1, var_node_2, StlComparisonOperator.NEQ)
pastifier = STLPastifier()
node.accept(pastifier)
new_node = pastifier.pastify(node)
self.assertEqual('(req)!=(gnt)', new_node.name, 'Predicate NEQ pastification assertion')
def test_predicate_leq_2(self):
var_node_1 = Variable('req', '', 'output')
var_node_2 = Variable('gnt', '', 'output')
node = Predicate(var_node_1, var_node_2, StlComparisonOperator.LEQ)
node.horizon = 5
pastifier = STLPastifier()
node.accept(pastifier)
new_node = pastifier.pastify(node)
self.assertEqual('(once[5,5](req))<=(once[5,5](gnt))', new_node.name, 'Predicate LEQ pastification assertion')
