tree 56365c1665324158df101ba7936278a977bca488
parent 98411927a814731a0528d5d0369ac5211f699948
author Jakub Josef <jakub.josef@gmail.com> 1496321641 +0200
committer Jakub Josef <jakub.josef@gmail.com> 1496321641 +0200

Improved control of models and formulas testing

Change-Id: Ib8f83556cec296c52ec7bc655fc6bd395e296f20