Benchmark for work "Temporal Verification of Mixed Sync-Async Execution Models"

This benchmark is for validation and evaluation purpose for <br> the work "Temporal Verification of Mixed Sync-Async Execution <br> Models". It is constructed by manually annotating ASyncEffs<br> specifications, including both succeeded and failed cases. This benchmark consists two folders:<br> 1. validation_tests: <br> The validation tests are synthetic examples to test <br> the main contributions, including the preemption interleaving computation and <br> the inclusion checking for the parallel composition and the waiting operator. 2. evaluation_tests:<br> We select 16 programs, varying from 15 lines to 300 lines, and annotate <br> ASyncEffs specifications<br> with a 1:1 ratio for succeeded/failed cases.