April 12, 2010
8:27 a.m.
Hi, can we inserts halt's into methods without modifying source code, using pragmas maybe? Has there been work on this? Thanks, Fernando