Open nhatminhle opened 9 years ago
From nhat.min...@gmail.com on April 30, 2013 02:45:35
Catching up after a year of absence; cleaning up bug database.
Sorry for the late reply; I wasn't actively working on the project (apparently no one was). Have you managed to work around this issue? Did you find out the cause? If not, is it still reproducible from your code in some public repository?
From depri...@broadinstitute.org on September 12, 2012 05:08:42
What steps will reproduce the problem? 1. Not sure 2. 3. What is the expected output? What do you see instead? I have a class InputProducer that has no contracts. When I build with contracts (we've been using them successfully for nearly a year) I get:
But there are no contracts in this file! I cannot ID a specific problem with any file, but I think there must be something wrong somewhere in one of our contracts. Note that the entire java source build properly without contracts.
I'm happy to work through debugging the issue, but I literally have no idea where to go from here... What version of the product are you using? On what operating system? r139 Please provide any additional information below.
Original issue: http://code.google.com/p/cofoja/issues/detail?id=37