FazBrowse GitHub Viewer | Trending |
URL:
| Home
Tools: [Download Repo ZIP]   [Original HTTPS Page]

Test the NoREC and TLP oracles of DuckDB by mrigger · Pull Request #25 · sqlancer/sqlancer · GitHub

/ sqlancer Public

Test the NoREC and TLP oracles of DuckDB #25

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
mrigger merged 1 commit into from
Jun 7, 2020
Conversation 1 Commits 1 Checks 0 Files changed
Merged

Test the NoREC and TLP oracles of DuckDB #25

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension .java  (1) All 1 file type selected
Viewed files
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Unified
Split
Hide whitespace
Diff view
Unified
Split
Hide whitespace
11 changes: 9 additions & 2 deletions test/sqlancer/TestMain.java
Show comments
View file
Open in desktop
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters
Show hidden characters
Original file line number Diff line number Diff line change
Expand Up @@ -6,15 +6,22 @@

public class TestMain {

private static final String NUM_QUERIES = "1000";
private static final String SECONDS = "30";

@Test
public void testSQLite() {
// do not check the result, since we still find bugs in the SQLite3 version included in the JDBC driver
Main.executeMain(new String[] { "--timeout-seconds", "30", "sqlite3", "--oracle", "NoREC" });
Main.executeMain(new String[] { "--timeout-seconds", SECONDS, "--num_queries", NUM_QUERIES, "sqlite3",
"--oracle", "NoREC" });
}

@Test
public void testDuckDB() {
assertEquals(0, Main.executeMain(new String[] { "--timeout-seconds", "30", "duckdb", "--oracle", "NoREC" }));
assertEquals(0, Main.executeMain(new String[] { "--timeout-seconds", SECONDS, "--num_queries", NUM_QUERIES,
"duckdb", "--oracle", "NoREC" }));
assertEquals(0, Main.executeMain(new String[] { "--timeout-seconds", SECONDS, "--num_queries", NUM_QUERIES,
"duckdb", "--oracle", "QUERY_PARTITIONING" }));
}

}
Back | FazBrowse Home | New Git URL