Skip to content

When we catch an exception, print it to stderr before calling MPI.Abort#255

Merged
johnomotani merged 1 commit intomasterfrom exceptions-to-stderrSep 17, 2024

Commits

Commits on Sep 16, 2024