0 0 Goal achieved!

Nr Name Value
1 big ?
2 small ?
Nr Event Target State ID
1INITIALISATION(big=0,small=0)
2fill_big
3transfer_big_to_small(3)
4empty_small
5transfer_big_to_small(2)
6fill_big
7transfer_big_to_small(1)
Generated on 18/10/2023 at 9:55 using ProB version 1.12.3-nightly
Main specification package: event_b_project
Main specification name: DieHard
Main VisB JSON file: DieHard.json (modified on 18/10/2023 at 9:54)
VisB SVG file: Jars.svg (modified on 8/2/2022 at 15:17)