From e6b78c34eb4311355bc3227699cfdfad91cc40aa Mon Sep 17 00:00:00 2001
From: Kevin Gibbons <bakkot@gmail.com>
Date: Fri, 6 Dec 2024 13:05:21 -0800
Subject: [PATCH] update js readme about tests

---
 src/api/js/README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/api/js/README.md b/src/api/js/README.md
index 3b695073f..d5d8f14ec 100644
--- a/src/api/js/README.md
+++ b/src/api/js/README.md
@@ -17,4 +17,4 @@ Consult the file [build-wasm.ts](https://github.com/Z3Prover/z3/blob/master/src/
 
 ## Tests
 
-Current tests are very minimal: [`test-ts-api.ts`](./test-ts-api.ts) contains a couple real cases translated very mechanically from [this file](https://github.com/Z3Prover/z3/blob/90fd3d82fce20d45ed2eececdf65545bab769503/examples/c/test_capi.c).
+Run `npm test` after building to run tests.