-
Couldn't load subscription status.
- Fork 55
Open
Description
setup:
schema InvoiceSchema(InvoiceId: int, CustomerId: int, InvoiceDate: date,
BillingAddress: varchar, BillingCity: varchar,
BillingState: varchar, BillingCountry: varchar,
BillingPostalCode: varchar, Total: numeric);
table Invoice(InvoiceSchema);
query q1
`SELECT i.InvoiceId, i.CustomerId, count(i.CustomerId) FROM Invoice i`;
query q2
`SELECT i.InvoiceId, i.CustomerId, count(i.CustomerId) FROM Invoice i`;
verify q1 q2;
result:
Invalid generated Coq code. Please file an issue.
Rosette find an counterexample.
Metadata
Metadata
Assignees
Labels
No labels