From 2ac9d838e97ba9c8b47b46f600bca46416a8dd1c Mon Sep 17 00:00:00 2001 From: Stephane Graham-Lengrand Date: Thu, 30 May 2024 16:07:30 -0700 Subject: [PATCH] fixing json --- submissions/yicesQS.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/submissions/yicesQS.json b/submissions/yicesQS.json index 92b570ff..9b655e91 100644 --- a/submissions/yicesQS.json +++ b/submissions/yicesQS.json @@ -19,7 +19,7 @@ "LIA", "LRA", "NIA", - "NRA", + "NRA" ], "command": ["./starexec_run_default"] }