2019-12-16 11:07 AEDT

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000145mercuryBugpublic2010-04-21 14:57
Reporterwangp 
Assigned Towangp 
PrioritynormalSeveritymajorReproducibilityalways
StatusresolvedResolutionfixed 
Product Version 
Target VersionFixed in Version 
Summary0000145: loop invariants broken
DescriptionI wonder how long this bug has been present.

% mmc -O0 --loop-invariants ho_solns.m (from tests/hard_coded)
% ./ho_solns
4
4
4

should be:

4
5
6


TagsNo tags attached.
Attached Files

-Relationships
+Relationships

-Notes
There are no notes attached to this issue.
+Notes

-Issue History
Date Modified Username Field Change
2010-04-20 14:56 wangp New Issue
2010-04-21 14:57 wangp Status new => resolved
2010-04-21 14:57 wangp Resolution open => fixed
2010-04-21 14:57 wangp Assigned To => wangp
+Issue History