Opened 16 years ago
Closed 16 years ago
#196 closed defect (fixed)
source still too big
| Reported by: | Stephen Siegel | Owned by: | ywei |
|---|---|---|---|
| Priority: | minor | Milestone: | Release 1.0 |
| Component: | front | Version: | 1.0 |
| Keywords: | front if source | Cc: |
Description
This is in the test good in the FibTest. Complete body of if statement is included with source. Should just be "if (tmp>=p)"
Step 6: State 5 -- fib_spec.mmp line 14 [main@5->main@6] "if (tmp>=p) err=tmp-p; else err=p-tmp;" [true]
Note:
See TracTickets
for help on using tickets.
Fixed. Condition statement now only displays the guard expression instead of the whole block.