diff options
| author | Eugen Wissner <belka@caraus.de> | 2017-07-11 10:27:24 +0200 |
|---|---|---|
| committer | Eugen Wissner <belka@caraus.de> | 2017-07-11 10:27:24 +0200 |
| commit | fc53779d3fc12c93c8cc933f29362b2f3fc08bf2 (patch) | |
| tree | 60a44b5e8dc900ba4f6dbe24724f786dac14984d /codecov.yml | |
| parent | 7bdc778390f1cd64e016bcd3fd72705b8b798d71 (diff) | |
| download | tanya-fc53779d3fc12c93c8cc933f29362b2f3fc08bf2.tar.gz | |
Fix #245
* Remove postcondition for functions calculating alignment
* Put MmapPool invariant into version (none) block
* Check that alignment doesn't overflow
Diffstat (limited to 'codecov.yml')
0 files changed, 0 insertions, 0 deletions