Skip to content
Snippets Groups Projects
Commit 1a6b449f authored by Chris's avatar Chris
Browse files

Add tests for different concepts in python

parent a38973a0
No related branches found
No related tags found
No related merge requests found
Showing
with 72 additions and 1 deletion
if __name__ == '__main__':
bool = BooleanPredicate()
print(bool.Inc(BInteger(10)))
\ No newline at end of file
if __name__ == '__main__':
dangling = DanglingElse()
dangling.calculate()
print(dangling.getRes())
\ No newline at end of file
if __name__ == '__main__': if __name__ == '__main__':
equi = Equivalence() equi = Equivalence()
print(equi.Inc(new BInteger(10))) print(equi.Inc(BInteger(10)))
\ No newline at end of file \ No newline at end of file
if __name__ == '__main__':
functional = FunctionCallAccessNested()
functional.calculate()
print(functional.getRes())
\ No newline at end of file
if __name__ == '__main__':
functional = FunctionCallAccessNested2()
functional.calculate()
print(functional.getRes())
\ No newline at end of file
if __name__ == '__main__':
functional = FunctionCallAccessNested3()
functional.calculate()
print(functional.getRes())
\ No newline at end of file
if __name__ == '__main__':
functional = FunctionCallAccessNested4()
functional.calculate()
print(functional.getRes())
\ No newline at end of file
if __name__ == '__main__':
functional = FunctionCallAccessNested5()
functional.calculate()
print(functional.getRes())
\ No newline at end of file
if __name__ == '__main__':
functional = FunctionCallAccessNested6()
functional.calculate()
print(functional.getRes())
\ No newline at end of file
if __name__ == '__main__':
functional = FunctionCallAccessNested7()
functional.calculate()
print(functional.getRes())
\ No newline at end of file
if __name__ == '__main__':
iff = IfExpression()
iff.calculate()
print(iff.getRes())
\ No newline at end of file
if __name__ == '__main__':
iff = IfPredicate()
iff.calculate()
print(iff.getRes())
\ No newline at end of file
if __name__ == '__main__':
locals = ManyLocalDeclarations2()
print(locals.Inc(BInteger(10)).card())
\ No newline at end of file
if __name__ == '__main__':
locals = ManyLocalDeclarations()
print(locals.Inc(BInteger(10)).card())
\ No newline at end of file
if __name__ == '__main__':
_map = MapFunction()
print(_map.getYY().domain().card() + " " + _map.getYY()._range().card())
\ No newline at end of file
if __name__ == '__main__':
collision = NameCollision()
print(collision.getRes())
\ No newline at end of file
if __name__ == '__main__':
nondeterminism = Nondeterminism2()
nondeterminism.calculate()
print(nondeterminism.getRes())
\ No newline at end of file
if __name__ == '__main__':
nondeterminism = Nondeterminism()
nondeterminism.calculate()
print(nondeterminism.getRes())
\ No newline at end of file
if __name__ == '__main__':
record = RecordAccessNested()
record.calculate()
print(record.getRes())
\ No newline at end of file
if __name__ == '__main__':
record = RecordAccessNested2()
record.calculate()
print(record.getRes())
\ No newline at end of file
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment