search

albertZhangTJ / sqlancer-lancerfuzz

Detecting Logic Bugs in DBMS
http://www.sqlancer.com/
MIT License
1 stars 0 forks source link

More control of quantifier node distribution #17

Closed albertZhangTJ closed 6 months ago

albertZhangTJ commented 6 months ago

Other than lower and upper limits, also allow the exact distribution (uniform/exponential decay+decay rate) to be configured using RP_LIMIT.

Since different part of the AST needs different distributions, setting all places to follow the same would either lead to high invalidity or overly simple test cases.

albertZhangTJ commented 6 months ago

Feature added with f38a942421a4d98c773c2d9a319b5e6cc5441b60