diff options
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 |