tree a39aaf6ef5dc7d26dfa12064c73c4cdc599bfa1d
parent 680bf1007b29bdb80635e85c7970cff1d7457fa0
author Alberto Debiasi <adebiasi@fbk.eu> 1587723358 +0200
committer Alberto Debiasi <adebiasi@fbk.eu> 1587723358 +0200

Add check_contr_impl, check_comp_contr_impl, model_checking,
valid_property, contract_refin tests.

Change-Id: Iad573223beb9058e27978fc4d7fe7a1aa0570698