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#.
Afficher le fichier Open project: p-org/PSharp

Méthodes publiques

Méthode Description
Main ( Array args ) : void

Private Methods

Méthode Description
Execute ( IMachineRuntime runtime ) : void

Method Details

Main() public static méthode

public static Main ( Array args ) : void
args Array
Résultat void