Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000033Z.C++[All Projects] Feature Requestpublic2011-01-23 21:292011-01-23 21:29
Reporterzaimoni 
Assigned To 
PrioritynormalSeverityminorReproducibilityN/A
StatusnewResolutionopen 
PlatformOSOS Version
Product Version 
Target VersionVaporwareFixed in Version 
Summary0000033: Pseudorandom test driver for arithmetic -- zcc, z_cpp
DescriptionCf. John Regehr's work. It's based on Lua, but other implementations should be fine.
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2011-01-23 21:29 zaimoni New Issue


Copyright © 2000 - 2010 MantisBT Group
Powered by Mantis Bugtracker