anse1 / sqlsmith

A random SQL query generator
GNU General Public License v3.0
754 stars 128 forks source link

Postgres DUT may be confused about transaction state #12

Closed anse1 closed 7 years ago

anse1 commented 8 years ago

After many hours of testing, it can happen that the Postgres DUT issues statements into a failed transaction (commands ignored until commit) and doesn't get out of this state.

anse1 commented 7 years ago

It happened again despite the explicit work.abort() :-/