From 31108ee31d257f021aeb325158007fc0094ca31f Mon Sep 17 00:00:00 2001
From: ImmanuelSegol <3ditds@gmail.com>
Date: Tue, 19 Dec 2023 08:17:30 -0500
Subject: [PATCH] Update READMEs and docs (#303)

---------

Co-authored-by: Jeremy Felder <jeremy.felder1@gmail.com>
---
 icicle/README.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/icicle/README.md b/icicle/README.md
index b54962f7..fe2cb217 100644
--- a/icicle/README.md
+++ b/icicle/README.md
@@ -6,7 +6,8 @@
 mkdir -p build;
 cmake -DBUILD_TESTS=ON -DCURVE=<support_curve> -S . -B build;
 cmake --build build;
-./build/runner --gtest_brief=1; 
+cd build && ctest; 
+cd ..
 ```
 
 The command above will build ICICLE Core and run the ctest.