Opened 16 years ago
Closed 16 years ago
#272 closed defect (fixed)
Regular invariant not being added correctly
| Reported by: | Stephen Siegel | Owned by: | zirkel |
|---|---|---|---|
| Priority: | major | Milestone: | 1.1 |
| Component: | front | Version: | 1.1 |
| Keywords: | Cc: |
Description
In singleLoopFromSource test, a model is constructed with 3 processes and a (non-collective) invariant. The collective assertion for process 0 is getting added to process 1. This will now throw a RuntimeException as I added a check that when a collective assertion is added to a location that the process to which that location belong also belongs to the assertion's process set.
Change History (2)
comment:1 by , 16 years ago
| Status: | new → accepted |
|---|
comment:2 by , 16 years ago
| Resolution: | → fixed |
|---|---|
| Status: | accepted → closed |
Note:
See TracTickets
for help on using tickets.
