Commands Needed to Run:
dotnet ~/Research/P/Bld/Drops/Release/Binaries/Pc.dll *.p && cmake CMakeLists.txt && make && ./ping_pong
./ping_pong
Output:
CreateLog> Machine IntializerMachine(1) is created
StateLog> Machine IntializerMachine(1) entered state IntializerMachine.Init
CreateLog> Machine Container(2) is created
StateLog> Machine Container(2) entered state Container.Init
CreateLog> Machine CLIENT_OTP_GENERATOR(3) is created
StateLog> Machine CLIENT_OTP_GENERATOR(3) entered state CLIENT_OTP_GENERATOR.Init
CreateLog> Machine Container(4) is created
StateLog> Machine Container(4) entered state Container.Init
CreateLog> Machine BANK_SERVER(5) is created
StateLog> Machine BANK_SERVER(5) entered state BANK_SERVER.Init
RaiseLog> Machine BANK_SERVER(5) raised event Success with payload null
ExitLog> Machine BANK_SERVER(5) exiting state BANK_SERVER.Init
StateLog> Machine BANK_SERVER(5) entered state BANK_SERVER.GenerateOTPSecret
EnqueueLog> Enqueued event OTPSecretMsg with payload (< (1, 0, 0, 0), 5>, 123456788) on Machine CLIENT_OTP_GENERATOR(3)
DequeueLog> Dequeued event OTPSecretMsg with payload (< (1, 0, 0, 0), 5>, 123456788) by Machine CLIENT_OTP_GENERATOR(3)
ExitLog> Machine CLIENT_OTP_GENERATOR(3) exiting state CLIENT_OTP_GENERATOR.Init
StateLog> Machine CLIENT_OTP_GENERATOR(3) entered state CLIENT_OTP_GENERATOR.HandleOTPSecret
EnqueueLog> Enqueued event OTPSecretReceived with payload null on Machine BANK_SERVER(5)
RaiseLog> Machine CLIENT_OTP_GENERATOR(3) raised event Success with payload null
ExitLog> Machine CLIENT_OTP_GENERATOR(3) exiting state CLIENT_OTP_GENERATOR.HandleOTPSecret
StateLog> Machine CLIENT_OTP_GENERATOR(3) entered state CLIENT_OTP_GENERATOR.GenerateOTPCode
EnqueueLog> Enqueued event OTPCodeMsg with payload 123456789 on Machine BANK_SERVER(5)
DequeueLog> Dequeued event OTPSecretReceived with payload null by Machine BANK_SERVER(5)
ExitLog> Machine BANK_SERVER(5) exiting state BANK_SERVER.GenerateOTPSecret
StateLog> Machine BANK_SERVER(5) entered state BANK_SERVER.WaitOTPCode
DequeueLog> Dequeued event OTPCodeMsg with payload 123456789 by Machine BANK_SERVER(5)
ExitLog> Machine BANK_SERVER(5) exiting state BANK_SERVER.WaitOTPCode
StateLog> Machine BANK_SERVER(5) entered state BANK_SERVER.ValidateOTPCode
EnqueueLog> Enqueued event OTPCodeValidated with payload null on Machine CLIENT_OTP_GENERATOR(3)
DequeueLog> Dequeued event OTPCodeValidated with payload null by Machine CLIENT_OTP_GENERATOR(3)
ExitLog> Machine CLIENT_OTP_GENERATOR(3) exiting state CLIENT_OTP_GENERATOR.GenerateOTPCode
StateLog> Machine CLIENT_OTP_GENERATOR(3) entered state CLIENT_OTP_GENERATOR.End
RaiseLog> Machine CLIENT_OTP_GENERATOR(3) raised event halt with payload null
ExitLog> Machine CLIENT_OTP_GENERATOR(3) exiting state CLIENT_OTP_GENERATOR.End
HaltLog> Machine CLIENT_OTP_GENERATOR(3) halted in state CLIENT_OTP_GENERATOR.End
RaiseLog> Machine BANK_SERVER(5) raised event Success with payload null
ExitLog> Machine BANK_SERVER(5) exiting state BANK_SERVER.ValidateOTPCode
StateLog> Machine BANK_SERVER(5) entered state BANK_SERVER.Done