-
Eva Darulova authored
for printing the SMT queries, if solver takes a long time. Also adds debugging info about the total number of time outs.
ca7b1376
for printing the SMT queries, if solver takes a long time. Also adds debugging info about the total number of time outs.