Opened 15 years ago
Closed 15 years ago
#282 closed defect (fixed)
Null pointer exception in TreeParser: fcn
| Reported by: | Stephen Siegel | Owned by: | zirkel |
|---|---|---|---|
| Priority: | major | Milestone: | 1.1 |
| Component: | front | Version: | 1.1 |
| Keywords: | null, fcn, constant | Cc: |
Description
In examples/fcn: tass verify fcn.c yields NullPointerException when dealing with named constant epsilon in expression g<=epsilon.
Note:
See TracTickets
for help on using tickets.
This was caused by source not being set for named constants. Fixed.