Opened 16 years ago
#274 new task
add support for skew factors in collective assertions/invariants
| Reported by: | Stephen Siegel | Owned by: | zirkel |
|---|---|---|---|
| Priority: | major | Milestone: | 1.1 |
| Component: | multiple | Version: | 1.1 |
| Keywords: | skew collective joint assertion invariant | Cc: |
Description
Syntax:
#pragma TASS collective assert ID x==PROC[1].y skew N+M;
Note:
See TracTickets
for help on using tickets.
