Feature request: result of counter examples

uwdb / Cosette

Cosette is an automated SQL solver.

BSD 2-Clause "Simplified" License

666 stars 54 forks source link

Feature request: result of counter examples #73

Open beta-ziliani opened 5 years ago

beta-ziliani commented 5 years ago

Counter examples today show information in tables to invalidate the equivalence, but does not show the result of the queries that makes evident that difference. It would be great if you could add that.