From bdbcf51ca3468484bc070fdd0fb80097c2af230d Mon Sep 17 00:00:00 2001
From: Daejun Park <daejunpark@gmail.com>
Date: Thu, 12 Oct 2023 12:11:01 -0700
Subject: [PATCH] chore: update pyproject.toml (#206)

---
 pyproject.toml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pyproject.toml b/pyproject.toml
index fcf94529..2d2410a0 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -6,7 +6,7 @@ build-backend = "setuptools.build_meta"
 
 [project]
 name = "halmos"
-description = "Halmos: Symbolic Bounded Model Checker for Ethereum Smart Contracts Bytecode"
+description = "A symbolic testing tool for EVM smart contracts"
 readme = "README.md"
 authors = [
     { name="a16z crypto" },
@@ -37,4 +37,4 @@ target-versions = ["py38", "py39", "py310", "py311"]
 
 [tool.pytest.ini_options]
 # TODO: re-add test_traces.py when we have a better way to support it in CI
-addopts = "--ignore=tests/lib/solady/ext/woke --ignore=tests/test_traces.py"
+addopts = "--ignore=tests/lib --ignore=tests/test_traces.py"