commit | b085d7239bb879f900f9f91d1ce385bbcc110232 | [log] [tgz] |
---|---|---|
author | Christian Krause <henshin.ck@gmail.com> | Sun Aug 30 13:42:32 2015 +0200 |
committer | Christian Krause <henshin.ck@gmail.com> | Sun Aug 30 13:42:32 2015 +0200 |
tree | bcada16bbd90e52af739f94227bcb34aa6c96f75 | |
parent | 3d62b8166fd8e82b832ea3a7eda07a525c61bb10 [diff] |
some code clean up in invariant checker Change-Id: I9d08e85472d9fffb6e90a83227e7c35b4544eb3a