[SQLite] Rename the NoREC implementation

mrigger · mrigger · commit 73d39e5f41eb · 2020-05-27T18:03:31.000+02:00
diff --git a/src/sqlancer/sqlite3/SQLite3Options.java b/src/sqlancer/sqlite3/SQLite3Options.java
@@ -13,7 +13,7 @@
 import sqlancer.TestOracle;
 import sqlancer.sqlite3.SQLite3Provider.SQLite3GlobalState;
 import sqlancer.sqlite3.queries.SQLite3Fuzzer;
-import sqlancer.sqlite3.queries.SQLite3MetamorphicQuerySynthesizer;
+import sqlancer.sqlite3.queries.SQLite3NoRECTester;
 import sqlancer.sqlite3.queries.SQLite3PivotedQuerySynthesizer;
 import sqlancer.sqlite3.queries.SQLite3QueryPartitioningAggregateTester;
 import sqlancer.sqlite3.queries.SQLite3QueryPartitioningDistinctTester;
@@ -68,7 +68,7 @@ public class SQLite3Options {
     public boolean testMatch = true;
 
     @Parameter(names = "--oracle", converter = DBMSConverter.class)
-    public SQLite3Oracle oracle = SQLite3Oracle.METAMORPHIC;
+    public SQLite3Oracle oracle = SQLite3Oracle.NoREC;
 
     public enum SQLite3Oracle {
         PQS {
@@ -77,10 +77,10 @@ public TestOracle create(SQLite3GlobalState globalState) throws SQLException {
                 return new SQLite3PivotedQuerySynthesizer(globalState);
             }
         },
-        METAMORPHIC {
+        NoREC {
             @Override
             public TestOracle create(SQLite3GlobalState globalState) throws SQLException {
-                return new SQLite3MetamorphicQuerySynthesizer(globalState);
+                return new SQLite3NoRECTester(globalState);
             }
         },
         FUZZER {
diff --git a/src/sqlancer/sqlite3/queries/SQLite3NoRECTester.java b/src/sqlancer/sqlite3/queries/SQLite3NoRECTester.java
@@ -33,7 +33,7 @@
 import sqlancer.sqlite3.schema.SQLite3Schema.SQLite3Table;
 import sqlancer.sqlite3.schema.SQLite3Schema.SQLite3Tables;
 
-public class SQLite3MetamorphicQuerySynthesizer implements TestOracle {
+public class SQLite3NoRECTester implements TestOracle {
 
     // SELECT COUNT(*) FROM t0 WHERE <cond>;
     // SELECT SUM(count) FROM (SELECT <cond> IS TRUE as count FROM t0);
@@ -54,7 +54,7 @@ public class SQLite3MetamorphicQuerySynthesizer implements TestOracle {
     Set<String> firstValues = new HashSet<>();
     Set<String> secondValues = new HashSet<>();
 
-    public SQLite3MetamorphicQuerySynthesizer(SQLite3GlobalState globalState) {
+    public SQLite3NoRECTester(SQLite3GlobalState globalState) {
         this.s = globalState.getSchema();
         this.con = globalState.getConnection();
         this.state = (SQLite3StateToReproduce) globalState.getState();
