[
https://issues.apache.org/jira/browse/CALCITE-3913?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]
ASF GitHub Bot updated CALCITE-3913:
Labels: pull-request-available (was: )
> Test correctness using formal verification
[
https://issues.apache.org/jira/browse/CALCITE-3913?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]
Michael Mior updated CALCITE-3913:
--
Flags: (was: Patch)
> Test correctness using formal verification techniques
>
[
https://issues.apache.org/jira/browse/CALCITE-3913?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]
Michael Mior updated CALCITE-3913:
--
Flags: Patch
> Test correctness using formal verification techniques
>
[
https://issues.apache.org/jira/browse/CALCITE-3913?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]
Michael Mior updated CALCITE-3913:
--
External issue URL: https://github.com/apache/calcite/pull/2048/
> Test correctness using
[
https://issues.apache.org/jira/browse/CALCITE-3913?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]
Julian Hyde updated CALCITE-3913:
-
Summary: Test correctness using formal verification techniques (was: A
formal verification