Added tests for tokenizePart util

sosy-lab · Mar 19, 2024 · 469a50c · 469a50c
1 parent ed093fb
commit 469a50c
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 1 deletion.
diff --git a/benchexec/tablegenerator/react-table/src/tests/utils.test.js b/benchexec/tablegenerator/react-table/src/tests/utils.test.js
@@ -19,6 +19,7 @@ import {
   makeFilterDeserializer,
   splitUrlPathForMatchingPrefix,
   makeRegExp,
+  tokenizePart,
 } from "../utils/utils";
 
 describe("isStatusOk", () => {
@@ -271,6 +272,20 @@ describe("decodeFilter", () => {
   });
 });
 
+describe("tokenizePart", () => {
+  test("should tokenizePart to get Filter keys", () => {
+    const string = "id_any(value(%29)),0(1*cputime*(value(2)))";
+    const expected = { 0: "1*cputime*(value(2))", id_any: "value(%29)" };
+    expect(tokenizePart(string)).toEqual(expected);
+  });
+
+  test("should tokenizePart to get Filter values", () => {
+    const string = "value(%29)";
+    const expected = { value: ")" };
+    expect(tokenizePart(string, true)).toEqual(expected);
+  });
+});
+
 describe("serialization", () => {
   let serializer;
   const statusValues = [

diff --git a/benchexec/tablegenerator/react-table/src/utils/utils.js b/benchexec/tablegenerator/react-table/src/utils/utils.js
@@ -513,7 +513,7 @@ const makeFilterSerializer =
     return filterString;
   };
 
-const tokenizePart = (string, decodeValue = false) => {
+export const tokenizePart = (string, decodeValue = false) => {
   const out = {};
   let openBrackets = 0;