From bc6deaddfad63e027ce2cc10a42a582e65e098ba Mon Sep 17 00:00:00 2001 From: Edward Misback Date: Wed, 3 Jul 2024 15:33:10 -0700 Subject: [PATCH] Update DEVELOPMENT.md --- DEVELOPMENT.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/DEVELOPMENT.md b/DEVELOPMENT.md index 84939fd..a76331a 100644 --- a/DEVELOPMENT.md +++ b/DEVELOPMENT.md @@ -16,5 +16,5 @@ to be running at "https://herbie.uwplse.org/fptaylor", and an FPBench server (al * Before each release, the Herbie demo server should be updated to match the version Odyssey was developed against (usually just main). * The FPTaylor server is a simple Node server that uses Express to handle requests. **Its only argument is the port it should run on.** -Upon request, it runs FPTaylor in a shell. Care was taken to prevent command injection. +Upon request, it executes FPTaylor in a shell. Care was taken to prevent command injection. The FPBench server has the same structure as the FPTaylor server.