Ticket #248 (closed defect: fixed)
COBRA INTERNAL ERROR with invariant
| Reported by: | nevdelap | Owned by: | |
|---|---|---|---|
| Priority: | minor | Milestone: | |
| Component: | Cobra Compiler | Version: | 0.8.0 |
| Keywords: | Cc: |
Description
Compiles...
class A def _m as bool return true invariant _m == true class P def main is shared pass
Doesn't...
class A def _m as bool return true invariant _m class P def main is shared pass
error: COBRA INTERNAL ERROR / NullReferenceException? / Object reference not set to an instance of an object
Change History
Note: See
TracTickets for help on using
tickets.
