discover-rule.sh can't find any rules

WeTune / WeTune-code

A rule generator that can automatically discover new query rewrite rules for SQL query optimization.

https://ipads.se.sjtu.edu.cn/werewriter-demo/home

Apache License 2.0

0 stars 0 forks source link

discover-rule.sh can't find any rules #1

Open Zhujingrun opened 8 months ago

Zhujingrun commented 8 months ago

I have get WeTune code from https://ipads.se.sjtu.edu.cn:1312/ and I have built the environment successfully. But when I run the discover-rules.sh script, I can't get any rules (the success.txt in enumration is empty). Is this a a normal phenomenon? What can I do so as to I can get some new rules? In addition, it only took me 5 minutes to run the script "discover-rules.sh", is this normal? If you have any suggestion for my problem, thank you very much.

yicun0720 commented 3 months ago

I guess the verification of each rule is not invoked. Maybe the libz3.so files do not work (if you use on Mac os?).