Opened 16 years ago
Closed 16 years ago
#267 closed defect (fixed)
collective assertion not getting added to model in unbalanced1.c
| Reported by: | Stephen Siegel | Owned by: | zirkel |
|---|---|---|---|
| Priority: | major | Milestone: | 1.1 |
| Component: | front | Version: | 1.1 |
| Keywords: | collective assertion unbalanced | Cc: |
Description
See unbalanced 1.c and run accompanying JUnit test. It looks like no collective assertion is getting added to model in the situation
if (...) {
#pragma TASS ...
}
i.e., with an empty statement for if.
Do we have something like a "skip" or "noop" statement?
Note:
See TracTickets
for help on using tickets.
In this situation a noop will be added.