[M3devel] [M3commit] CVS Update: cm3

[Hendrik Boom]

On Sun, Feb 06, 2011 at 12:07:56AM +0000, Daniel Alejandro Benavides D. wrote:
> Hi all:
...
...
> Just to let you know if you see this point. 

It sounds as if you're saying it's possible to prove a program is faulty 
by running it, but it's not possible to say it's correct.

And concurrency makes things nonrepeatable, especially when there's 
bugs.

-- hendrik