Author: David Rasmussen
Date: 13:28:32 01/13/02
Go up one level in this thread
On January 13, 2002 at 15:19:18, Severi Salminen wrote: >>think. That would be really cool. MSVC++ have such an extension, sort of. But I >>don't know if it works well or not. I haven >>t tried using it. > >What extension? > >Severi An invariant or postcondition compiler directive. I can't remember it's name, but I found it once, in the help files. Maybe Dann knows. One is able to write something like "__inavariant__ (square >= 0 && square <= 63) or something like that. /David
This page took 0 seconds to execute
Last modified: Thu, 15 Apr 21 08:11:13 -0700
Current Computer Chess Club Forums at Talkchess. This site by Sean Mintz.