Skip to content
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.

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

Unexpected Empty Reducer Folder #890

Open
bajinsheng opened this issue Aug 31, 2023 · 5 comments
Open

Unexpected Empty Reducer Folder #890

bajinsheng opened this issue Aug 31, 2023 · 5 comments

Comments

@bajinsheng
Copy link
Collaborator

@oraluben @ColinYoungTaro Great job for your reducer!

I am quite interested in it and have several questions when using it.

java -jar sqlancer-2.0.0.jar --num-threads 20 --use-reducer --reduce-ast --username root --password "" tidb --oracle WHERE

I run this command. Although I observed a crash, but no reduced log file was produced in the reduce folder.
Can you help look into this issue?

@oraluben
Copy link
Collaborator

Thanks for using and helping to test! I'll take a look at it.

@oraluben
Copy link
Collaborator

oraluben commented Sep 1, 2023

@bajinsheng Did you see EXPERIMENTAL: Trying to reduce queries using a simple reducer. in stdout?

@bajinsheng
Copy link
Collaborator Author

No relevant output.

@oraluben
Copy link
Collaborator

oraluben commented Sep 1, 2023

The reducer relies on Reproducer from TestOracle.check, which is currently null for most of the oracle implementations. At the moment only NOREC for sqlite3 implemented that. I'll find a way to reuse the oracle implementations and make that work for other DB/oracle.

@mrigger
Copy link
Contributor

mrigger commented Sep 1, 2023

I assume the other DBMSs need to implement the Reproducer class (see

private class SQLite3NoRECReproducer implements Reproducer<SQLite3GlobalState> {
).

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants