lf-lang / rust-rti

Other
3 stars 1 forks source link

Test with Lingua Franca test programs #30

Open chanijjani opened 7 months ago

chanijjani commented 7 months ago

Currently, we tested DistributedCount.lf, DistributedStop.lf, HelloDistributed.lf, PingPongDistibuted.lf, SimpleFederated.lf, StopAtShutdown.lf only. We must also check Rust RTI operation with the other federated test examples (73/79).

chanijjani commented 6 months ago

After merging the PR, 34/79 federated tests are passed. (I dropped six federate tests (BankIndex.lf / ChainWithDelayt.lf / DistributedCount.lf / DistributedMultiportToken.lf / DistributedPhysicalActionUpstreamLong.lf / DistributedStop.lf) since those sometimes take more than 5 minutes, causing the overall CI to fail due to time out.)

*Warning

WARNING!!! min_upstream_completed.time() < start_time
chanijjani commented 6 months ago

I enabled four more examples in our integration tests after merging https://github.com/lf-lang/rust-rti/pull/38 in CI (rust.yml); DecentralizedP2PComm.lf, DecentralizedP2PSTPViolation.lf, DecentralizedP2PUnbalancedTimeout.lf, and DecentralizedP2PUnbalancedTimeoutPhysical.lf --> (38/87)

chanijjani commented 6 months ago

I enabled five more examples in our integration tests after testing; DistributedCountDecentralizedLate.lf, DistributedCountDecentralizedLateHierarchy.lf, DistributedCountPhysical.lf, DistributedCountPhysicalAfterDelay.lf, and DistributedCountPhysicalDecentralized.lf --> (43/87)

chanijjani commented 6 months ago

I enabled seven more examples in our integration tests after testing; AfterDelay.lf, AfterDelaysWithMultiport.lf, ChainWithDelay.lf, CycleDetection.lf, DistributedCount.lf, DistributedLoopedActionDecentralized.lf and DistributedMultiportToken.lf --> (50/87)

chanijjani commented 6 months ago

After testing, I enabled six more examples in our integration tests: MultipleSTP.lf, PhysicalSTP.lf, PingPongDistributed.lf, PingPongDistributedPhysical.lf, STPParameter.lf, and SmallDelayDecentralized.lf --> (56/87)

chanijjani commented 6 months ago

After testing, I enabled five more examples in our integration tests: DistributedStop.lf, DistributedStopDecentralized.lf, DistributedToken.lf, LoopDistributedDecentralized.lf, and LoopDistributedDouble.lf --> (61/87)

chanijjani commented 5 months ago

After testing, I enabled two more examples in our integration tests: BankIndex.lf and ClockSync.lf --> (63/79)