[SQLite] Do not test the dbstats extension by default and remove old print db method

mrigger · mrigger · commit f010e0435c0e · 2020-05-26T18:47:19.000+02:00
diff --git a/src/sqlancer/sqlite3/SQLite3Options.java b/src/sqlancer/sqlite3/SQLite3Options.java
@@ -32,7 +32,7 @@ public class SQLite3Options {
 
 	@Parameter(names = {
 			"--test-dbstats" }, description = "Test the DBSTAT Virtual Table (see https://www.sqlite.org/dbstat.html)", arity = 1)
-	public boolean testDBStats = true;
+	public boolean testDBStats = false;
 
 	@Parameter(names = { "--test-generated-columns" }, description = "Test generated columns", arity = 1)
 	public boolean testGeneratedColumns = true;
diff --git a/src/sqlancer/sqlite3/SQLite3Provider.java b/src/sqlancer/sqlite3/SQLite3Provider.java
@@ -11,7 +11,6 @@
 import java.util.ArrayList;
 import java.util.Arrays;
 import java.util.List;
-import java.util.stream.Collectors;
 
 import sqlancer.DatabaseProvider;
 import sqlancer.GlobalState;
@@ -463,36 +462,6 @@ public String toString() {
 
 	@Override
 	public void printDatabaseSpecificState(FileWriter writer, StateToReproduce state) {
-		StringBuilder sb = new StringBuilder();
-		SQLite3StateToReproduce specificState = (SQLite3StateToReproduce) state;
-		if (specificState.getRandomRowValues() != null) {
-			List<SQLite3Column> columnList = specificState.getRandomRowValues().keySet().stream()
-					.collect(Collectors.toList());
-			List<SQLite3Table> tableList = columnList.stream().map(c -> c.getTable()).distinct().sorted()
-					.collect(Collectors.toList());
-			for (SQLite3Table t : tableList) {
-				sb.append("-- " + t.getName() + "\n");
-				List<SQLite3Column> columnsForTable = columnList.stream().filter(c -> c.getTable().equals(t))
-						.collect(Collectors.toList());
-				for (SQLite3Column c : columnsForTable) {
-					sb.append("--\t");
-					sb.append(c);
-					sb.append("=");
-					sb.append(specificState.getRandomRowValues().get(c));
-					sb.append("\n");
-				}
-			}
-			sb.append("-- expected values: \n");
-			String asExpectedValues = "-- "
-					+ SQLite3Visitor.asExpectedValues(specificState.getWhereClause()).replace("\n", "\n-- ");
-			sb.append(asExpectedValues);
-		}
-		try {
-			writer.write(sb.toString());
-			writer.flush();
-		} catch (IOException e) {
-			throw new AssertionError();
-		}
 	}
 
 	@Override
