commit | bda5a2be375ca959ad39212dddae1df71c470659 | [log] [tgz] |
---|---|---|
author | Victor Stinner <victor.stinner@gmail.com> | Wed Jan 25 23:33:27 2017 +0100 |
committer | Victor Stinner <victor.stinner@gmail.com> | Wed Jan 25 23:33:27 2017 +0100 |
tree | 8e29878cc3c246772cf2dafce2bb8b7ab0032668 | |
parent | fc489082c89f3de9dc976b4b54cac56bcdac6a10 [diff] |
Issue #29358: Add postcondition checks on types