tree f4320d78ba46005e4bc945673d2653097610456c
parent 891918a30f16a515ed0c499dcab5526c266ccb70
author Niels <niels.lohmann@gmail.com> 1469894561 +0200
committer Niels <niels.lohmann@gmail.com> 1469894561 +0200

replaced individual assertions by a class invariant function