[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[patch #5873] Model checker and initial datasheet review

From: Ben Pfaff
Subject: [patch #5873] Model checker and initial datasheet review
Date: Sun, 22 Apr 2007 20:47:42 +0000
User-agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv: Gecko/20061205 Iceweasel/ (Debian-

Follow-up Comment #3, patch #5873 (project pspp):

Oops, some more feedback I missed on first pass.

>in datasheet.c, where you have NDEBUG should this be replaced by 

I think I'll just delete it, anything here will be caught by Valgrind runs.

>The comment in the body of check_datasheet is not grammatically 

Thanks, fixed.


Reply to this item at:


  Message sent via/by Savannah

reply via email to

[Prev in Thread] Current Thread [Next in Thread]