From ceec00902c41a29ef804ff089a7640cc7c351212 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Kevin=20L=C3=A4ufer?= <laeufer@cs.berkeley.edu>
Date: Thu, 16 Nov 2023 12:02:26 -0500
Subject: [PATCH] ci: fix test description

---
 .github/workflows/test.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index 6f741e4..9740efb 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -46,7 +46,7 @@ jobs:
       - uses: actions/checkout@v3
       - name: Build
         run: cargo build --verbose --examples --release
-      - name: load_signals
+      - name: bmc Quiz1
         run: cargo run --release --example bmc -- inputs/Quiz1.btor