File tree Expand file tree Collapse file tree 2 files changed +3
-1
lines changed
Expand file tree Collapse file tree 2 files changed +3
-1
lines changed Original file line number Diff line number Diff line change @@ -125,7 +125,7 @@ public void generateAndTestDatabaseWithQueryPlanGuidance(G globalState) throws E
125125 while (executedQueryCount < globalState .getOptions ().getNrQueries ()) {
126126 int numOfNoNewQueryPlans = 0 ;
127127 TestOracle <G > oracle = getTestOracle (globalState );
128- while (true ) {
128+ while (executedQueryCount < globalState . getOptions (). getNrQueries () ) {
129129 try (OracleRunReproductionState localState = globalState .getState ().createLocalState ()) {
130130 assert localState != null ;
131131 try {
Original file line number Diff line number Diff line change @@ -92,6 +92,8 @@ public String getUnterminatedQueryString() {
9292 Main .nrUnsuccessfulActions .addAndGet (1 );
9393 checkException (e );
9494 return false ;
95+ } finally {
96+ s .close ();
9597 }
9698 }
9799
You can’t perform that action at this time.
0 commit comments