diff --git a/src/test/resources/de/hhu/stups/codegenerator/CardAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/CardAddition.stpy index 03c588717d28b13e6a3ef557df992eec176e9604..82edde3fa4e618a951297e4dcfb5a325be32358e 100644 --- a/src/test/resources/de/hhu/stups/codegenerator/CardAddition.stpy +++ b/src/test/resources/de/hhu/stups/codegenerator/CardAddition.stpy @@ -1,4 +1,4 @@ if __name__ == '__main__': card = Card() - card.calculate(); + card.calculate() print(card.getRes()) \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/Projection2Addition.stpy b/src/test/resources/de/hhu/stups/codegenerator/Projection2Addition.stpy index d018bdb2aa58602acbfc72dddfa0dc7925b6e984..4f23cfa96dde4ec9155e34bdc0539c4cd5d6a611 100644 --- a/src/test/resources/de/hhu/stups/codegenerator/Projection2Addition.stpy +++ b/src/test/resources/de/hhu/stups/codegenerator/Projection2Addition.stpy @@ -1,5 +1,5 @@ if __name__ == '__main__': projection = Projection2() - projection.calculate(); + projection.calculate() print(projection.getRes() + " ") print(projection.getPair()) \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/QuantifiedExpression1Addition.stpy b/src/test/resources/de/hhu/stups/codegenerator/QuantifiedExpression1Addition.stpy index b9b7b39058b89071d9854d3df6762f3c6f5e4e2f..c7f1b9f8555ae5a9e630a3ee1c5f8b233fdce2a7 100644 --- a/src/test/resources/de/hhu/stups/codegenerator/QuantifiedExpression1Addition.stpy +++ b/src/test/resources/de/hhu/stups/codegenerator/QuantifiedExpression1Addition.stpy @@ -1,4 +1,4 @@ if __name__ == '__main__': expression = QuantifiedExpression1() - expression.calculate(); + expression.calculate() print(expression.getRes()) \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/TupleProjection1Addition.stpy b/src/test/resources/de/hhu/stups/codegenerator/TupleProjection1Addition.stpy index f6150b4ae12e29467576852a7af7568ef290d4e4..1e7689d27391b3c752c2843674895d7b5103f013 100644 --- a/src/test/resources/de/hhu/stups/codegenerator/TupleProjection1Addition.stpy +++ b/src/test/resources/de/hhu/stups/codegenerator/TupleProjection1Addition.stpy @@ -1,5 +1,5 @@ if __name__ == '__main__': projection = TupleProjection1() - projection.calculate(); + projection.calculate() print(projection.getRes() + " ") print(projection.getPair()) \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/liftbenchmarks/LiftExecAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/liftbenchmarks/LiftExecAddition.stpy index a498d90fda44bd308072ce8ee7b63ace68172c64..0435b344c565605071341b2a96ddd3cd8092c20a 100644 --- a/src/test/resources/de/hhu/stups/codegenerator/liftbenchmarks/LiftExecAddition.stpy +++ b/src/test/resources/de/hhu/stups/codegenerator/liftbenchmarks/LiftExecAddition.stpy @@ -1,4 +1,4 @@ if __name__ == "__main__": - lift = LiftExec(); + lift = LiftExec() lift.simulate() print(lift.getCounter()) \ No newline at end of file