diff options
Diffstat (limited to '062scheduler.cc')
-rw-r--r-- | 062scheduler.cc | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/062scheduler.cc b/062scheduler.cc index cd52f48c..a68646d7 100644 --- a/062scheduler.cc +++ b/062scheduler.cc @@ -517,16 +517,16 @@ case LIMIT_TIME: { :(scenario new_concurrent) recipe f1 [ start-running f2 - 1:address:number/raw <- new number:type + 1:address:shared:number/raw <- new number:type # wait for f2 to complete { loop-unless 4:number/raw } ] recipe f2 [ - 2:address:number/raw <- new number:type + 2:address:shared:number/raw <- new number:type # hack: assumes scheduler implementation - 3:boolean/raw <- equal 1:address:number/raw, 2:address:number/raw + 3:boolean/raw <- equal 1:address:shared:number/raw, 2:address:shared:number/raw # signal f2 complete 4:number/raw <- copy 1 ] |