Manuel Rigger

We have been working on an automatic deduplication approach, but this is not yet integrated with SQLancer or public.

Yes, I've updated the issue description already.

Here is the full command line for WSL+Ubuntu (I can also reproduce this on Ubuntu directly). ``` C:\Users\rigger\.p2\pool\plugins\org.eclipse.justj.openjdk.hotspot.jre.full.win32.x86_64_17.0.4.v20221004-1257\jre\bin\javaw.exe -Dfile.encoding=UTF-8 -classpath "\\WSL.LOCALHOST\Ubuntu\home\manuel\sqlancer\target\test-classes;\\WSL.LOCALHOST\Ubuntu\home\manuel\sqlancer\target\classes;C:\Users\rigger\.p2\pool\plugins\junit-jupiter-api_5.9.2.jar;C:\Users\rigger\.p2\pool\plugins\junit-jupiter-engine_5.9.2.jar;C:\Users\rigger\.p2\pool\plugins\junit-jupiter-migrationsupport_5.9.2.jar;C:\Users\rigger\.p2\pool\plugins\junit-jupiter-params_5.9.2.jar;C:\Users\rigger\.p2\pool\plugins\junit-platform-commons_1.9.2.jar;C:\Users\rigger\.p2\pool\plugins\junit-platform-engine_1.9.2.jar;C:\Users\rigger\.p2\pool\plugins\junit-platform-launcher_1.9.2.jar;C:\Users\rigger\.p2\pool\plugins\junit-platform-runner_1.9.2.jar;C:\Users\rigger\.p2\pool\plugins\junit-platform-suite-api_1.9.2.jar;C:\Users\rigger\.p2\pool\plugins\junit-platform-suite-engine_1.9.2.jar;C:\Users\rigger\.p2\pool\plugins\junit-platform-suite-commons_1.9.2.jar;C:\Users\rigger\.p2\pool\plugins\junit-vintage-engine_5.9.2.jar;C:\Users\rigger\.p2\pool\plugins\org.opentest4j_1.2.0.jar;C:\Users\rigger\.p2\pool\plugins\org.apiguardian.api_1.1.2.jar;C:\Users\rigger\.p2\pool\plugins\org.junit_4.13.2.v20211018-1956.jar;C:\Users\rigger\.p2\pool\plugins\org.hamcrest.core_1.3.0.v20180420-1519.jar;C:\Users\rigger\.m2\repository\com\google\auto\service\auto-service\1.0.1\auto-service-1.0.1.jar;C:\Users\rigger\.m2\repository\com\google\auto\service\auto-service-annotations\1.0.1\auto-service-annotations-1.0.1.jar;C:\Users\rigger\.m2\repository\com\google\auto\auto-common\1.2\auto-common-1.2.jar;C:\Users\rigger\.m2\repository\com\google\guava\guava\31.0.1-jre\guava-31.0.1-jre.jar;C:\Users\rigger\.m2\repository\com\google\guava\failureaccess\1.0.1\failureaccess-1.0.1.jar;C:\Users\rigger\.m2\repository\com\google\guava\listenablefuture\9999.0-empty-to-avoid-conflict-with-guava\listenablefuture-9999.0-empty-to-avoid-conflict-with-guava.jar;C:\Users\rigger\.m2\repository\com\google\code\findbugs\jsr305\3.0.2\jsr305-3.0.2.jar;C:\Users\rigger\.m2\repository\com\google\errorprone\error_prone_annotations\2.7.1\error_prone_annotations-2.7.1.jar;C:\Users\rigger\.m2\repository\com\google\j2objc\j2objc-annotations\1.3\j2objc-annotations-1.3.jar;C:\Users\rigger\.m2\repository\com\beust\jcommander\1.82\jcommander-1.82.jar;C:\Users\rigger\.m2\repository\org\postgresql\postgresql\42.5.1\postgresql-42.5.1.jar;C:\Users\rigger\.m2\repository\org\checkerframework\checker-qual\3.5.0\checker-qual-3.5.0.jar;C:\Users\rigger\.m2\repository\com\ing\data\cassandra-jdbc-wrapper\4.7.0\cassandra-jdbc-wrapper-4.7.0.jar;C:\Users\rigger\.m2\repository\com\datastax\oss\java-driver-core\4.14.1\java-driver-core-4.14.1.jar;C:\Users\rigger\.m2\repository\com\datastax\oss\native-protocol\1.5.1\native-protocol-1.5.1.jar;C:\Users\rigger\.m2\repository\io\netty\netty-handler\4.1.75.Final\netty-handler-4.1.75.Final.jar;C:\Users\rigger\.m2\repository\io\netty\netty-common\4.1.75.Final\netty-common-4.1.75.Final.jar;C:\Users\rigger\.m2\repository\io\netty\netty-resolver\4.1.75.Final\netty-resolver-4.1.75.Final.jar;C:\Users\rigger\.m2\repository\io\netty\netty-buffer\4.1.75.Final\netty-buffer-4.1.75.Final.jar;C:\Users\rigger\.m2\repository\io\netty\netty-transport\4.1.75.Final\netty-transport-4.1.75.Final.jar;C:\Users\rigger\.m2\repository\io\netty\netty-codec\4.1.75.Final\netty-codec-4.1.75.Final.jar;C:\Users\rigger\.m2\repository\com\datastax\oss\java-driver-shaded-guava\25.1-jre-graal-sub-1\java-driver-shaded-guava-25.1-jre-graal-sub-1.jar;C:\Users\rigger\.m2\repository\com\typesafe\config\1.4.1\config-1.4.1.jar;C:\Users\rigger\.m2\repository\com\github\jnr\jnr-posix\3.1.15\jnr-posix-3.1.15.jar;C:\Users\rigger\.m2\repository\com\github\jnr\jnr-ffi\2.2.11\jnr-ffi-2.2.11.jar;C:\Users\rigger\.m2\repository\com\github\jnr\jffi\1.3.9\jffi-1.3.9.jar;C:\Users\rigger\.m2\repository\com\github\jnr\jffi\1.3.9\jffi-1.3.9-native.jar;C:\Users\rigger\.m2\repository\org\ow2\asm\asm\9.2\asm-9.2.jar;C:\Users\rigger\.m2\repository\org\ow2\asm\asm-commons\9.2\asm-commons-9.2.jar;C:\Users\rigger\.m2\repository\org\ow2\asm\asm-analysis\9.2\asm-analysis-9.2.jar;C:\Users\rigger\.m2\repository\org\ow2\asm\asm-tree\9.2\asm-tree-9.2.jar;C:\Users\rigger\.m2\repository\org\ow2\asm\asm-util\9.2\asm-util-9.2.jar;C:\Users\rigger\.m2\repository\com\github\jnr\jnr-a64asm\1.0.0\jnr-a64asm-1.0.0.jar;C:\Users\rigger\.m2\repository\com\github\jnr\jnr-x86asm\1.0.2\jnr-x86asm-1.0.2.jar;C:\Users\rigger\.m2\repository\com\github\jnr\jnr-constants\0.10.3\jnr-constants-0.10.3.jar;C:\Users\rigger\.m2\repository\io\dropwizard\metrics\metrics-core\4.1.18\metrics-core-4.1.18.jar;C:\Users\rigger\.m2\repository\org\hdrhistogram\HdrHistogram\2.1.12\HdrHistogram-2.1.12.jar;C:\Users\rigger\.m2\repository\com\fasterxml\jackson\core\jackson-core\2.13.2\jackson-core-2.13.2.jar;C:\Users\rigger\.m2\repository\com\fasterxml\jackson\core\jackson-databind\2.13.2.2\jackson-databind-2.13.2.2.jar;C:\Users\rigger\.m2\repository\com\fasterxml\jackson\core\jackson-annotations\2.13.2\jackson-annotations-2.13.2.jar;C:\Users\rigger\.m2\repository\org\reactivestreams\reactive-streams\1.0.3\reactive-streams-1.0.3.jar;C:\Users\rigger\.m2\repository\com\github\stephenc\jcip\jcip-annotations\1.0-1\jcip-annotations-1.0-1.jar;C:\Users\rigger\.m2\repository\com\github\spotbugs\spotbugs-annotations\3.1.12\spotbugs-annotations-3.1.12.jar;C:\Users\rigger\.m2\repository\org\apache\commons\commons-lang3\3.12.0\commons-lang3-3.12.0.jar;C:\Users\rigger\.m2\repository\com\yugabyte\jdbc-yugabytedb\42.3.5-yb-1\jdbc-yugabytedb-42.3.5-yb-1.jar;C:\Users\rigger\.m2\repository\org\xerial\sqlite-jdbc\3.40.0.0\sqlite-jdbc-3.40.0.0.jar;C:\Users\rigger\.m2\repository\mysql\mysql-connector-java\8.0.30\mysql-connector-java-8.0.30.jar;C:\Users\rigger\.m2\repository\com\google\protobuf\protobuf-java\3.19.4\protobuf-java-3.19.4.jar;C:\Users\rigger\.m2\repository\org\mariadb\jdbc\mariadb-java-client\3.1.0\mariadb-java-client-3.1.0.jar;C:\Users\rigger\.m2\repository\com\github\waffle\waffle-jna\3.2.0\waffle-jna-3.2.0.jar;C:\Users\rigger\.m2\repository\net\java\dev\jna\jna\5.12.1\jna-5.12.1.jar;C:\Users\rigger\.m2\repository\net\java\dev\jna\jna-platform\5.12.1\jna-platform-5.12.1.jar;C:\Users\rigger\.m2\repository\org\slf4j\jcl-over-slf4j\1.7.36\jcl-over-slf4j-1.7.36.jar;C:\Users\rigger\.m2\repository\com\github\ben-manes\caffeine\caffeine\2.9.3\caffeine-2.9.3.jar;C:\Users\rigger\.m2\repository\org\duckdb\duckdb_jdbc\0.5.1\duckdb_jdbc-0.5.1.jar;C:\Users\rigger\.m2\repository\org\junit\jupiter\junit-jupiter-engine\5.9.1\junit-jupiter-engine-5.9.1.jar;C:\Users\rigger\.m2\repository\org\junit\platform\junit-platform-engine\1.9.1\junit-platform-engine-1.9.1.jar;C:\Users\rigger\.m2\repository\org\opentest4j\opentest4j\1.2.0\opentest4j-1.2.0.jar;C:\Users\rigger\.m2\repository\org\junit\platform\junit-platform-commons\1.9.1\junit-platform-commons-1.9.1.jar;C:\Users\rigger\.m2\repository\org\junit\jupiter\junit-jupiter-api\5.9.1\junit-jupiter-api-5.9.1.jar;C:\Users\rigger\.m2\repository\org\apiguardian\apiguardian-api\1.1.2\apiguardian-api-1.1.2.jar;C:\Users\rigger\.m2\repository\org\slf4j\slf4j-simple\2.0.6\slf4j-simple-2.0.6.jar;C:\Users\rigger\.m2\repository\org\slf4j\slf4j-api\2.0.6\slf4j-api-2.0.6.jar;C:\Users\rigger\.m2\repository\ru\yandex\clickhouse\clickhouse-jdbc\0.3.2\clickhouse-jdbc-0.3.2.jar;C:\Users\rigger\.m2\repository\com\clickhouse\clickhouse-http-client\0.3.2\clickhouse-http-client-0.3.2.jar;C:\Users\rigger\.m2\repository\com\clickhouse\clickhouse-client\0.3.2\clickhouse-client-0.3.2.jar;C:\Users\rigger\.m2\repository\com\google\code\gson\gson\2.8.8\gson-2.8.8.jar;C:\Users\rigger\.m2\repository\org\apache\httpcomponents\httpclient\4.5.13\httpclient-4.5.13.jar;C:\Users\rigger\.m2\repository\org\apache\httpcomponents\httpcore\4.4.13\httpcore-4.4.13.jar;C:\Users\rigger\.m2\repository\commons-logging\commons-logging\1.2\commons-logging-1.2.jar;C:\Users\rigger\.m2\repository\commons-codec\commons-codec\1.11\commons-codec-1.11.jar;C:\Users\rigger\.m2\repository\org\apache\httpcomponents\httpmime\4.5.13\httpmime-4.5.13.jar;C:\Users\rigger\.m2\repository\org\lz4\lz4-java\1.8.0\lz4-java-1.8.0.jar;C:\Users\rigger\.m2\repository\com\h2database\h2\2.1.214\h2-2.1.214.jar;C:\Users\rigger\.m2\repository\org\mongodb\mongodb-driver-sync\4.1.1\mongodb-driver-sync-4.1.1.jar;C:\Users\rigger\.m2\repository\org\mongodb\bson\4.1.1\bson-4.1.1.jar;C:\Users\rigger\.m2\repository\org\mongodb\mongodb-driver-core\4.1.1\mongodb-driver-core-4.1.1.jar;C:\Users\rigger\.m2\repository\com\arangodb\arangodb-java-driver\6.9.0\arangodb-java-driver-6.9.0.jar;C:\Users\rigger\.m2\repository\com\arangodb\velocypack\2.5.1\velocypack-2.5.1.jar;C:\Users\rigger\.m2\repository\org\questdb\questdb\6.5.3\questdb-6.5.3.jar;C:\Users\rigger\.m2\repository\org\hsqldb\hsqldb\2.7.1\hsqldb-2.7.1.jar;C:\Users\rigger\.m2\repository\org\apache\commons\commons-csv\1.9.0\commons-csv-1.9.0.jar" -XX:+ShowCodeDetailsInExceptionMessages sqlancer.Main --num-threads 4 --num-queries 1000 duckdb --oracle WHERE...

Does this occur only with TiDB? If so, perhaps @hawkingrei has an idea why this could happen?

> > Thanks a lot for keeping working on the Doris implementation! It would be great to fix the CI tests as well. Could you please look into this if...

Can you please fix the redundant important? The CI tests are currently failing because of that.

Thanks! It should involve only little effort, I think, in case you want to give it a try.

I assume the other DBMSs need to implement the `Reproducer` class (see https://github.com/sqlancer/sqlancer/blob/7804a3adec0962ad6d24687c42ec473aa49669fe/src/sqlancer/sqlite3/oracle/SQLite3NoRECOracle.java#L41).

Any updates on this? It would be great if we could merge the PR (which is now out-of-date with the base branch, so a merge would be necessary)!

I'm definitely confused by the method name and the class name. This class seems to apply a binary arithmetic operator on ints. Are you sure that incorrect behavior is triggered?...