[MySQL] Add CERT test

malwaregarry · malwaregarry · commit b0f16c9ab63b · 2024-10-08T15:38:51.000+08:00
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -429,6 +429,7 @@ jobs:
         run: |
           MYSQL_AVAILABLE=true mvn test -Dtest=TestMySQLPQS
           MYSQL_AVAILABLE=true mvn test -Dtest=TestMySQLTLP
+          MYSQL_AVAILABLE=true mvn test -Dtest=TestMySQLCERT
 
   oceanbase:
     name: DBMS Tests (OceanBase)
diff --git a/test/sqlancer/dbms/TestMySQLCERT.java b/test/sqlancer/dbms/TestMySQLCERT.java
@@ -0,0 +1,22 @@
+package sqlancer.dbms;
+
+import static org.junit.jupiter.api.Assertions.assertEquals;
+import static org.junit.jupiter.api.Assumptions.assumeTrue;
+
+import org.junit.jupiter.api.Test;
+
+import sqlancer.Main;
+
+public class TestMySQLCERT {
+
+    @Test
+    public void testMySQL() {
+        assumeTrue(TestConfig.isEnvironmentTrue(TestConfig.MYSQL_ENV));
+        // Run with 0 queries as there are false positives for every mutation
+        assertEquals(0,
+                Main.executeMain(new String[] { "--random-seed", "0", "--timeout-seconds", TestConfig.SECONDS,
+                        "--max-expression-depth", "1", "--num-threads", "1", "--num-queries", "0", "mysql", "--oracle",
+                        "CERT" }));
+    }
+
+}
