C# Class PingPong.AsyncAwait.Program

A simple PingPong application written using P# as a C# library. The P# runtime starts by creating the P# machine 'NetworkEnvironment'. The 'NetworkEnvironment' machine then creates a 'Server' and a 'Client' machine, which then communicate by sending 'Ping' and 'Pong' events to each other for a limited amount of turns. Note: this is an abstract implementation aimed primarily to showcase the testing capabilities of P#.
Show file Open project: p-org/PSharp

Public Methods

Method Description
Main ( Array args ) : void

Private Methods

Method Description
Execute ( IMachineRuntime runtime ) : void

Method Details

Main() public static method

public static Main ( Array args ) : void
args Array
return void