Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | codegen: Fix precondition in creation method of structs | Rico Tzschichholz | 2019-11-26 | 1 | -0/+27 |
* | tests: Extent "post-condition" virtual method test to increase coverage | Rico Tzschichholz | 2019-10-17 | 1 | -0/+20 |
* | tests: Extent "post-condition" creation method test to increase coverage | Rico Tzschichholz | 2019-09-24 | 1 | -0/+6 |
* | tests: Extend "pre- and post-condition" test to increase coverage | Rico Tzschichholz | 2019-08-29 | 1 | -0/+20 |
* | tests: Extent "post-condition" method test to increase coverage | Rico Tzschichholz | 2019-03-01 | 1 | -0/+16 |
* | tests: Add more invalid class tests to increase coverage | Rico Tzschichholz | 2018-06-13 | 1 | -1/+6 |
* | Add testcase for missed postconditions in methods returning void | Luca Bruno | 2013-06-11 | 1 | -0/+12 |