[GitHub] [calcite] qizhou92 commented on pull request #2236: [CALCITE-3913] Test correctness using formal verification (Qi Zhou)

2020-11-12 Thread GitBox
qizhou92 commented on pull request #2236: URL: https://github.com/apache/calcite/pull/2236#issuecomment-726475805 Thank you ! It might be a stupid question. but what is the time requirement in general for checking RexNode implication, like ~10 milliseconds? ~1 milliseconds? ~0.1

[GitHub] [calcite] qizhou92 commented on pull request #2236: [CALCITE-3913] Test correctness using formal verification (Qi Zhou)

2020-11-12 Thread GitBox
qizhou92 commented on pull request #2236: URL: https://github.com/apache/calcite/pull/2236#issuecomment-726353203 Hi, I implement the function that verifies the equivalence of two rex node, including numerical value, and a boolean value. I use some test cases previously in RexProgromTest

[GitHub] [calcite] qizhou92 commented on pull request #2236: [CALCITE-3913] Test correctness using formal verification (Qi Zhou)

2020-11-03 Thread GitBox
qizhou92 commented on pull request #2236: URL: https://github.com/apache/calcite/pull/2236#issuecomment-720752477 This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub