BUG: 'firstflag' bug
Created by: GoogleCodeExporter
What steps will reproduce the problem?
Run SCP algorithm.
What is the expected output? What do you see instead?
firstflag should change to false, when normal process send debug message to
checker. But firstflag is always true.
Please use labels and text to provide additional information.
Original issue reported on code.google.com by Jianp....@gmail.com
on 28 Aug 2009 at 8:14