[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:1.8.1.1) Gecko/20061205 Iceweasel/2.0.0.1 (Debian-2.0.0.1+dfsg-1) |
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
>DEBUGGING ?
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
>correct.
Thanks, fixed.
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/patch/?5873>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/