Model.modelcheck_clearresults

Model.modelcheck_clearresults()

Clears model checker results.

Example

Clear the model checker results

import hm
import hm.entities as ent

model = hm.Model()

model.modelcheck_clearresults()