diff options
author | George Rennie <georgerennie@gmail.com> | 2022-06-18 18:28:12 +0100 |
---|---|---|
committer | George Rennie <georgerennie@gmail.com> | 2022-06-18 18:28:12 +0100 |
commit | 5dfad5101d92edb484da2e5306cde58b8d958e7d (patch) | |
tree | 33b9f2a51e28e3286b8e1b58fbbefc867bde6b28 /tests | |
parent | e39c422734219bb0601827cb7c1d081f7ac7817b (diff) | |
download | yosys-5dfad5101d92edb484da2e5306cde58b8d958e7d.tar.gz yosys-5dfad5101d92edb484da2e5306cde58b8d958e7d.tar.bz2 yosys-5dfad5101d92edb484da2e5306cde58b8d958e7d.zip |
chformal: Rename -coverprecond to -coverenable
Diffstat (limited to 'tests')
-rw-r--r-- | tests/various/chformal_coverenable.ys (renamed from tests/various/chformal_coverprecond.ys) | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/tests/various/chformal_coverprecond.ys b/tests/various/chformal_coverenable.ys index 59e302a72..52b3ee6bf 100644 --- a/tests/various/chformal_coverprecond.ys +++ b/tests/various/chformal_coverenable.ys @@ -15,11 +15,11 @@ prep -top top select -assert-count 1 t:$cover -chformal -cover -coverprecond +chformal -cover -coverenable select -assert-count 2 t:$cover -chformal -assert -coverprecond +chformal -assert -coverenable select -assert-count 4 t:$cover -chformal -assume -coverprecond +chformal -assume -coverenable select -assert-count 5 t:$cover |