tree 54a46ba6ac919195201a0374afc18b6bddca9a6c
parent 3738ee5e65a5fd97a341093b3198ab791cfe386d
author Yuta HIGUCHI <y-higuchi@onlab.us> 1392243025 -0800
committer Yuta HIGUCHI <y-higuchi@onlab.us> 1392249949 -0800

Implement invariant maintenance method.

Change-Id: Ic2a10b9feba66be4a09371550bd1fb4c65cb6326