"!model.isExercise" ng-click="testsynthesis(model.id)" uib-tooltip="Test Case Synthesis and Analysis" tooltip-placement="auto top"><i class="fa fa-flask"></i></a>-->
                <a class="btn btn-default" ng-if="model.isExercise" ng-click="downloadModel(model.id)" uib-tooltip="Download model"><i class="fa fa-download"></i></a>
                <a class="btn btn-default" ng-if="!model.isExercise" ng-click="downloadModelProofs(model.id)" uib-tooltip="Download model+proofs"><i class="fa fa-download"></i></a