VerifyTAPN 1.2
New features added to the engine.
Milestone information
- Active:
- Yes. Drivers can target bugs and blueprints to this milestone.
Activities
- Assigned to you:
- No blueprints or bugs assigned to you.
- Assignees:
- No users assigned to blueprints and bugs.
- Blueprints:
- No blueprints are targeted to this milestone.
- Bugs:
- 1 Invalid, 1 Won't Fix
0 blueprints and 2 bugs targeted
| Bug report | Importance | Assignee | Status | |||
|---|---|---|---|---|---|---|
| 816113 | #816113 | Boundedness Checking Broken Again | 2 Critical | 3 Invalid | ||
| 948502 | #948502 | Discrete inclusion provides wrong answer | 2 Critical | 4 Won't Fix | ||
