[LLVMbugs] [Bug 4356] FAIL: /etrade/llvm/klee/test/Feature/SetForking.c

bugzilla-daemon at llvm.org bugzilla-daemon at llvm.org
Sat Apr 7 10:44:08 PDT 2012


Cristian Cadar <cristic at cs.stanford.edu> changed:

           What    |Removed                     |Added
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED

--- Comment #1 from Cristian Cadar <cristic at cs.stanford.edu> 2012-04-07 12:44:08 CDT ---
Closing old bug reports which are most likely fixed in the current version.
Please report it again if it is still an issue.

Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.

More information about the llvm-bugs mailing list