Skip to content

Commit

Permalink
fix comments
Browse files Browse the repository at this point in the history
  • Loading branch information
idegtiarenko committed Oct 27, 2023
1 parent c9d72d0 commit 47005d5
Showing 1 changed file with 1 addition and 5 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -216,7 +216,7 @@ public String toString() {
* Convenience method for {@link #isLinearizable(SequentialSpec, History, Function)} that requires the history to be complete
*/
public static boolean isLinearizable(SequentialSpec spec, History history) throws LinearizableCheckAborted {
return isLinearizable(spec, history, o -> { throw new IllegalArgumentException("history is not complete"); });
return isLinearizable(spec, history, o -> { throw new AssertionError("history is not complete"); });
}

/**
Expand Down Expand Up @@ -246,10 +246,6 @@ public static boolean isLinearizable(SequentialSpec spec, History history, Funct
throw new LinearizableCheckAborted();
}
return allLinearizable;
} catch (OutOfMemoryError e) {
// Large histories can be problematic and have the linearizability checker run OOM
logger.warn("Running linearizable check caused OOM");
throw new LinearizableCheckAborted();
} finally {
ThreadPool.terminate(scheduler, 1, TimeUnit.SECONDS);
}
Expand Down

0 comments on commit 47005d5

Please sign in to comment.