Lighthouse has a new layout. Prefer the old one? Return to the old layout, and switch back any time from the link at the top of each page.
Expected Mar 5th, 2012
(from [852b2538b1c41e01b7187a283872843801f9d89e]) fixed #35: Generic parameter type leads to NP when running on Oracle Java 1.7_10 https://github.com/andrestei...
renamed to ContractClosureWriter as it does some GContracts specific things e.g.
working through all VariableExpressions and see whether accessed variables are ...
(from [24535307de16097201a9b44b5c526ef9b42fca33]) fixed [#37] ClassCastException: o.c.g.a.e.ClosureExpression cannot be cast to o.c.g.a.e.ClassExpression https...
(from [3ca99dbc7d97123e9e5a7c8fb22b92931dadaa1a]) inheritance test case based on [#37] https://github.com/andresteingress/gcontracts/commit/3ca99dbc7d9712...
fixed with 1.2.6 - resolved via reflection calls.
(from [aaa017e5d8afa35031c8e25047e078cae9fc304a]) fixed [#3] - accessing private variables from @Invariant https://github.com/andresteingress/gcontracts/commit...
Here the line, uncommenting it I get "log.txt" attached.
1.8.6, I'll add a link to the code where it happened a bit later.
what's the groovy version you're running this example with?
this one works with 1.8.6:
import org.gcontracts.annotations.* abstract class Base { @Ensu...
it seems that instead the original AssertionException is thrown...
maybe this issue can be solved by creating an execution tracker instance around the complete method block
No messages in this milestone.
me (at andresteingress)
5 open tickets
