commit | ef7f3843e90b78ea4ed7d9531963077aaa00cc3d | [log] [tgz] |
---|---|---|
author | Alberto Debiasi <adebiasi@fbk.eu> | Fri Apr 24 12:15:58 2020 +0200 |
committer | Alberto Debiasi <adebiasi@fbk.eu> | Fri Apr 24 12:15:58 2020 +0200 |
tree | a39aaf6ef5dc7d26dfa12064c73c4cdc599bfa1d | |
parent | 680bf1007b29bdb80635e85c7970cff1d7457fa0 [diff] |
Add check_contr_impl, check_comp_contr_impl, model_checking, valid_property, contract_refin tests. Change-Id: Iad573223beb9058e27978fc4d7fe7a1aa0570698