For certain parallel blocks, the first statement doesn't seem to have a properly defined temporal constraint. In planviz, the constraint isn't shown. Looking at the TPN file, it appears that the parallel begin node has two constraints (one defined for the parallel statement, and one for that first statement in the parallel block), while that first statement has none.
For certain parallel blocks, the first statement doesn't seem to have a properly defined temporal constraint. In planviz, the constraint isn't shown. Looking at the TPN file, it appears that the parallel begin node has two constraints (one defined for the parallel statement, and one for that first statement in the parallel block), while that first statement has none.
See this example: https://github.com/dollabs/pamela/blob/master/test/pamela/pending/parallel-constraints.pamela
In this example, the problem occurs with the calls to a non-primitive method, but not to a primitive method.
Here is the suspect JSON: