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

Add tests for lustre in python

parent bfbf047e
No related branches found
No related tags found
No related merge requests found
Show whitespace changes
Inline Side-by-side
Showing
with 225 additions and 0 deletions
src/test/resources/de/hhu/stups/codegenerator/lustre/M_AssertionClockAddition.stpy 0 → 100644
+ 4
− 0
View file @ fc03d4b5
if __name__ == '__main__':
program = M_AssertionClock()
program.clock_step(BRelation(BTuple(REF.ref, BBoolean(True))), BRelation(BTuple(REF.ref, BBoolean(True))))
print(program.getRes())
\ No newline at end of file
src/test/resources/de/hhu/stups/codegenerator/lustre/M_AssertionExampleAddition.stpy 0 → 100644
+ 4
− 0
View file @ fc03d4b5
if __name__ == '__main__':
program = M_AssertionExample()
program.clock_step(BRelation(BTuple(REF.ref, BInteger(1))))
print(program.getR())
\ No newline at end of file
src/test/resources/de/hhu/stups/codegenerator/lustre/M_COUNTAddition.stpy 0 → 100644
+ 9
− 0
View file @ fc03d4b5
if __name__ == '__main__':
counter = M_COUNT()
counter.clock_step(BRelation(BTuple(REF.ref, BInteger(1))))
print(counter.getRes())
counter.clock_step(BRelation(BTuple(REF.ref, BInteger(2))))
print(counter.getRes())
for i in range(100):
counter.clock_step(BRelation(BTuple(REF.ref, BInteger(1))))
print(counter.getRes())
\ No newline at end of file
src/test/resources/de/hhu/stups/codegenerator/lustre/M_Clock12Addition.stpy 0 → 100644
+ 10
− 0
View file @ fc03d4b5
if __name__ == '__main__':
clock = M_Clock12()
clock.clock_step(BRelation(BTuple(REF.ref, BBoolean(False))), BRelation(BTuple(REF.ref, BInteger(1))))
print(clock.getRes())
clock.clock_step(BRelation(BTuple(REF.ref, BBoolean(True))), BRelation(BTuple(REF.ref, BInteger(2))))
print(clock.getRes())
clock.clock_step(BRelation(BTuple(REF.ref, BBoolean(False))), BRelation(BTuple(REF.ref, BInteger(3))))
print(clock.getRes())
clock.clock_step(BRelation(BTuple(REF.ref, BBoolean(True))), BRelation(BTuple(REF.ref, BInteger(4))))
print(clock.getRes())
\ No newline at end of file
src/test/resources/de/hhu/stups/codegenerator/lustre/M_Clock4Addition.stpy 0 → 100644
+ 10
− 0
View file @ fc03d4b5
if __name__ == '__main__':
clock = M_Clock4()
clock.clock_step(BRelation(BTuple(REF.ref, BInteger(1))), BRelation(BTuple(REF.ref, BBoolean(True))), BRelation(BTuple(REF.ref, BBoolean(True))))
print(clock.getRes())
clock.clock_step(BRelation(BTuple(REF.ref, BInteger(2))), BRelation(BTuple(REF.ref, BBoolean(True))), BRelation(BTuple(REF.ref, BBoolean(False))))
print(clock.getRes())
clock.clock_step(BRelation(BTuple(REF.ref, BInteger(3))), BRelation(BTuple(REF.ref, BBoolean(False))), BRelation(BTuple(REF.ref, BBoolean(True))))
print(clock.getRes())
clock.clock_step(BRelation(BTuple(REF.ref, BInteger(4))), BRelation(BTuple(REF.ref, BBoolean(False))), BRelation(BTuple(REF.ref, BBoolean(False))))
print(clock.getRes())
\ No newline at end of file
src/test/resources/de/hhu/stups/codegenerator/lustre/M_Clock6Addition.stpy 0 → 100644
+ 10
− 0
View file @ fc03d4b5
if __name__ == '__main__':
clock = M_Clock6()
clock.clock_step(BRelation(BTuple(REF.ref, BBoolean(False))), BRelation(BTuple(REF.ref, BInteger(1))))
print(clock.getRes())
clock.clock_step(BRelation(BTuple(REF.ref, BBoolean(False))), BRelation(BTuple(REF.ref, BInteger(2))))
print(clock.getRes())
clock.clock_step(BRelation(BTuple(REF.ref, BBoolean(True))), BRelation(BTuple(REF.ref, BInteger(3))))
print(clock.getRes())
clock.clock_step(BRelation(BTuple(REF.ref, BBoolean(True))), BRelation(BTuple(REF.ref, BInteger(4))))
print(clock.getRes())
\ No newline at end of file
src/test/resources/de/hhu/stups/codegenerator/lustre/M_Clock7Addition.stpy 0 → 100644
+ 10
− 0
View file @ fc03d4b5
if __name__ == '__main__':
clock = M_Clock7()
clock.clock_step(BRelation(BTuple(REF.ref, BInteger(1))), BRelation(BTuple(REF.ref, BBoolean(False))), BRelation(BTuple(REF.ref, BBoolean(False))), BRelation(BTuple(REF.ref, BBoolean(False))))
print(clock.getRes())
clock.clock_step(BRelation(BTuple(REF.ref, BInteger(2))), BRelation(BTuple(REF.ref, BBoolean(True))), BRelation(BTuple(REF.ref, BBoolean(False))), BRelation(BTuple(REF.ref, BBoolean(True))))
print(clock.getRes())
clock.clock_step(BRelation(BTuple(REF.ref, BInteger(3))), BRelation(BTuple(REF.ref, BBoolean(True))), BRelation(BTuple(REF.ref, BBoolean(True))), BRelation(BTuple(REF.ref, BBoolean(True))))
print(clock.getRes())
clock.clock_step(BRelation(BTuple(REF.ref, BInteger(4))), BRelation(BTuple(REF.ref, BBoolean(True))), BRelation(BTuple(REF.ref, BBoolean(True))), BRelation(BTuple(REF.ref, BBoolean(False))))
print(clock.getRes())
\ No newline at end of file
src/test/resources/de/hhu/stups/codegenerator/lustre/M_Clock8Addition.stpy 0 → 100644
+ 10
− 0
View file @ fc03d4b5
if __name__ == '__main__':
clock = M_Clock8()
clock.clock_step(BRelation(BTuple(REF.ref, BBoolean(False))), BRelation(BTuple(REF.ref, BInteger(1))))
print(clock.getRes())
clock.clock_step(BRelation(BTuple(REF.ref, BBoolean(False))), BRelation(BTuple(REF.ref, BInteger(2))))
print(clock.getRes())
clock.clock_step(BRelation(BTuple(REF.ref, BBoolean(True))), BRelation(BTuple(REF.ref, BInteger(3))))
print(clock.getRes())
clock.clock_step(BRelation(BTuple(REF.ref, BBoolean(True))), BRelation(BTuple(REF.ref, BInteger(4))))
print(clock.getRes())
\ No newline at end of file
src/test/resources/de/hhu/stups/codegenerator/lustre/M_Current2Addition.stpy 0 → 100644
+ 34
− 0
View file @ fc03d4b5
if __name__ == '__main__':
current = M_Current2()
current.clock_step(BRelation(BTuple(REF.ref, BBoolean(True))), BRelation(BTuple(REF.ref, BBoolean(True))))
print(current.getRes())
print(current.getRes1())
print(current.getRes2())
current.clock_step(BRelation(BTuple(REF.ref, BBoolean(True))), BRelation(BTuple(REF.ref, BBoolean(True))))
print(current.getRes())
print(current.getRes1())
print(current.getRes2())
current.clock_step(BRelation(BTuple(REF.ref, BBoolean(True))), BRelation(BTuple(REF.ref, BBoolean(False))))
print(current.getRes())
print(current.getRes1())
print(current.getRes2())
current.clock_step(BRelation(BTuple(REF.ref, BBoolean(True))), BRelation(BTuple(REF.ref, BBoolean(False))))
print(current.getRes())
print(current.getRes1())
print(current.getRes2())
current.clock_step(BRelation(BTuple(REF.ref, BBoolean(False))), BRelation(BTuple(REF.ref, BBoolean(True))))
print(current.getRes())
print(current.getRes1())
print(current.getRes2())
current.clock_step(BRelation(BTuple(REF.ref, BBoolean(False))), BRelation(BTuple(REF.ref, BBoolean(True))))
print(current.getRes())
print(current.getRes1())
print(current.getRes2())
current.clock_step(BRelation(BTuple(REF.ref, BBoolean(False))), BRelation(BTuple(REF.ref, BBoolean(False))))
print(current.getRes())
print(current.getRes1())
print(current.getRes2())
current.clock_step(BRelation(BTuple(REF.ref, BBoolean(False))), BRelation(BTuple(REF.ref, BBoolean(False))))
print(current.getRes())
print(current.getRes1())
print(current.getRes2())
\ No newline at end of file
src/test/resources/de/hhu/stups/codegenerator/lustre/M_Current3Addition.stpy 0 → 100644
+ 18
− 0
View file @ fc03d4b5
if __name__ == '__main__':
program = M_Current3()
program.clock_step(BRelation(BTuple(REF.ref, BBoolean(False))))
print(program.getRes())
program.clock_step(BRelation(BTuple(REF.ref, BBoolean(False))))
print(program.getRes())
program.clock_step(BRelation(BTuple(REF.ref, BBoolean(True))))
print(program.getRes())
program.clock_step(BRelation(BTuple(REF.ref, BBoolean(False))))
print(program.getRes())
program.clock_step(BRelation(BTuple(REF.ref, BBoolean(True))))
print(program.getRes())
program.clock_step(BRelation(BTuple(REF.ref, BBoolean(True))))
print(program.getRes())
program.clock_step(BRelation(BTuple(REF.ref, BBoolean(False))))
print(program.getRes())
program.clock_step(BRelation(BTuple(REF.ref, BBoolean(False))))
print(program.getRes())
\ No newline at end of file
src/test/resources/de/hhu/stups/codegenerator/lustre/M_CurrentAddition.stpy 0 → 100644
+ 14
− 0
View file @ fc03d4b5
if __name__ == '__main__':
program = M_Current()
program.clock_step(BRelation(BTuple(REF.ref, BBoolean(False))), BRelation(BTuple(REF.ref, BInteger(1))), BRelation(BTuple(REF.ref, BInteger(2))), BRelation(BTuple(REF.ref, BInteger(3))))
print(program.getRes1())
print(program.getRes2())
print(program.getRes3())
program.clock_step(BRelation(BTuple(REF.ref, BBoolean(True))), BRelation(BTuple(REF.ref, BInteger(2))), BRelation(BTuple(REF.ref, BInteger(3))), BRelation(BTuple(REF.ref, BInteger(4))))
print(program.getRes1())
print(program.getRes2())
print(program.getRes3())
program.clock_step(BRelation(BTuple(REF.ref, BBoolean(False))), BRelation(BTuple(REF.ref, BInteger(3))), BRelation(BTuple(REF.ref, BInteger(4))), BRelation(BTuple(REF.ref, BInteger(5))))
print(program.getRes1())
print(program.getRes2())
print(program.getRes3())
\ No newline at end of file
src/test/resources/de/hhu/stups/codegenerator/lustre/M_DivisionAddition.stpy 0 → 100644
+ 8
− 0
View file @ fc03d4b5
if __name__ == '__main__':
program = M_Division()
program.clock_step(BRelation(BTuple(REF.ref, BInteger(3))), BRelation(BTuple(REF.ref, BInteger(2))))
print(program.getRes())
program.clock_step(BRelation(BTuple(REF.ref, BInteger(2))), BRelation(BTuple(REF.ref, BInteger(4))))
print(program.getRes())
program.clock_step(BRelation(BTuple(REF.ref, BInteger(3))), BRelation(BTuple(REF.ref, BInteger(0))))
print(program.getRes())
\ No newline at end of file
src/test/resources/de/hhu/stups/codegenerator/lustre/M_Fby2Addition.stpy 0 → 100644
+ 6
− 0
View file @ fc03d4b5
if __name__ == '__main__':
program = M_Fby2()
program.clock_step(BRelation(BTuple(REF.ref, BInteger(3))))
print(program.getZ())
program.clock_step(BRelation(BTuple(REF.ref, BInteger(4))))
print(program.getZ())
\ No newline at end of file
src/test/resources/de/hhu/stups/codegenerator/lustre/M_Fby3Addition.stpy 0 → 100644
+ 12
− 0
View file @ fc03d4b5
if __name__ == '__main__':
program = M_Fby3()
program.clock_step(BRelation(BTuple(REF.ref, BBoolean(False))))
print(program.getZ())
program.clock_step(BRelation(BTuple(REF.ref, BBoolean(False))))
print(program.getZ())
program.clock_step(BRelation(BTuple(REF.ref, BBoolean(True))))
print(program.getZ())
program.clock_step(BRelation(BTuple(REF.ref, BBoolean(True))))
print(program.getZ())
program.clock_step(BRelation(BTuple(REF.ref, BBoolean(False))))
print(program.getZ())
\ No newline at end of file
src/test/resources/de/hhu/stups/codegenerator/lustre/M_FbyAddition.stpy 0 → 100644
+ 8
− 0
View file @ fc03d4b5
if __name__ == '__main__':
program = M_Fby()
program.clock_step(BRelation(BTuple(REF.ref, BInteger(3))))
print(program.getZ())
program.clock_step(BRelation(BTuple(REF.ref, BInteger(4))))
print(program.getZ())
program.clock_step(BRelation(BTuple(REF.ref, BInteger(5))))
print(program.getZ())
\ No newline at end of file
src/test/resources/de/hhu/stups/codegenerator/lustre/M_If_Then_Else2Addition.stpy 0 → 100644
+ 10
− 0
View file @ fc03d4b5
if __name__ == '__main__':
program = M_If_Then_Else2()
program.clock_step(BRelation(BTuple(REF.ref, BBoolean(True))))
print(program.getZ())
program.clock_step(BRelation(BTuple(REF.ref, BBoolean(False))))
print(program.getZ())
program.clock_step(BRelation(BTuple(REF.ref, BBoolean(True))))
print(program.getZ())
program.clock_step(BRelation(BTuple(REF.ref, BBoolean(True))))
print(program.getZ())
\ No newline at end of file
src/test/resources/de/hhu/stups/codegenerator/lustre/M_If_Then_ElseAddition.stpy 0 → 100644
+ 8
− 0
View file @ fc03d4b5
if __name__ == '__main__':
program = M_If_Then_Else()
program.clock_step(BRelation(BTuple(REF.ref, BInteger(3))))
print(program.getZ())
program.clock_step(BRelation(BTuple(REF.ref, BInteger(4))))
print(program.getZ())
program.clock_step(BRelation(BTuple(REF.ref, BInteger(3))))
print(program.getZ())
\ No newline at end of file
src/test/resources/de/hhu/stups/codegenerator/lustre/M_LiftAddition.stpy 0 → 100644
+ 16
− 0
View file @ fc03d4b5
if __name__ == '__main__':
lift = M_Lift()
lift.clock_step(BRelation(BTuple(REF.ref, BBoolean(True))), BRelation(BTuple(REF.ref, BBoolean(False))))
print(lift.getFloor())
lift.clock_step(BRelation(BTuple(REF.ref, BBoolean(False))), BRelation(BTuple(REF.ref, BBoolean(True))))
print(lift.getFloor())
for i in range(100):
lift.clock_step(BRelation(BTuple(REF.ref, BBoolean(True))), BRelation(BTuple(REF.ref, BBoolean(False))))
print(lift.getFloor())
lift.clock_step(BRelation(BTuple(REF.ref, BBoolean(True))), BRelation(BTuple(REF.ref, BBoolean(False))))
print(lift.getFloor())
for i in range(100):
lift.clock_step(BRelation(BTuple(REF.ref, BBoolean(False))), BRelation(BTuple(REF.ref, BBoolean(True))))
print(lift.getFloor())
lift.clock_step(BRelation(BTuple(REF.ref, BBoolean(False))), BRelation(BTuple(REF.ref, BBoolean(True))))
print(lift.getFloor())
\ No newline at end of file
src/test/resources/de/hhu/stups/codegenerator/lustre/M_MachineAddition.stpy 0 → 100644
+ 14
− 0
View file @ fc03d4b5
if __name__ == '__main__':
program = M_Machine()
program.clock_step(BRelation(BTuple(REF.ref, BBoolean(True))))
print(program.getRes())
print(program.getRes1())
program.clock_step(BRelation(BTuple(REF.ref, BBoolean(False))))
print(program.getRes())
print(program.getRes1())
program.clock_step(BRelation(BTuple(REF.ref, BBoolean(True))))
print(program.getRes())
print(program.getRes1())
program.clock_step(BRelation(BTuple(REF.ref, BBoolean(True))))
print(program.getRes())
print(program.getRes1())
\ No newline at end of file
src/test/resources/de/hhu/stups/codegenerator/lustre/M_ModuloAddition.stpy 0 → 100644
+ 10
− 0
View file @ fc03d4b5
if __name__ == '__main__':
program = M_Modulo()
program.clock_step(BRelation(BTuple(REF.ref, BInteger(-1))), BRelation(BTuple(REF.ref, BInteger(2))))
print(program.getRes())
program.clock_step(BRelation(BTuple(REF.ref, BInteger(2))), BRelation(BTuple(REF.ref, BInteger(-3))))
print(program.getRes())
program.clock_step(BRelation(BTuple(REF.ref, BInteger(5))), BRelation(BTuple(REF.ref, BInteger(2))))
print(program.getRes())
program.clock_step(BRelation(BTuple(REF.ref, BInteger(-3))), BRelation(BTuple(REF.ref, BInteger(-2))))
print(program.getRes())
\ No newline at end of file
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment