From d8e276983e90272aa275c692dfa498cb43cf83c3 Mon Sep 17 00:00:00 2001
From: Krystine Sherwin <93062060+KrystalDelusion@users.noreply.github.com>
Date: Tue, 30 Sep 2025 11:22:13 +1300
Subject: [PATCH] no_props.sby: Add btor_cover placeholder

The test infrastructure doesn't like when the `cover` tag is used but there is no task that uses it (because it thinks it is a task rather than a tag).
---
 tests/unsorted/no_props.sby | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/tests/unsorted/no_props.sby b/tests/unsorted/no_props.sby
index 6fce5e8..f05fc3a 100644
--- a/tests/unsorted/no_props.sby
+++ b/tests/unsorted/no_props.sby
@@ -1,6 +1,7 @@
 [tasks]
 abc prove
 abc_keepgoing prove
+btor_cover cover
 
 # "Error: Does not work for combinational networks."
 abc_bmc3 bmc error
@@ -19,6 +20,7 @@ error: expect ERROR
 abc: abc pdr
 abc_keepgoing: abc --keep-going pdr
 btor_pono: btor pono
+btor_cover: btor btormc
 abc_bmc3: abc bmc3
 abc_sim3: abc sim3