Verify that BasisReader comm is NULL or WORLD.

dylan-copeland · dylan-copeland · commit 47678e0b9509 · 2025-09-09T09:59:04.000-07:00
diff --git a/lib/linalg/BasisReader.cpp b/lib/linalg/BasisReader.cpp
@@ -30,7 +30,8 @@ BasisReader::BasisReader(
     base_file_name_(base_file_name),
     d_format(db_format)
 {
-    CAROM_ASSERT(!base_file_name.empty());
+    CAROM_VERIFY(!base_file_name.empty());
+    CAROM_VERIFY(comm == MPI_COMM_NULL || comm == MPI_COMM_WORLD);
     d_distributed = comm != MPI_COMM_NULL;
 
     int mpi_init;

Original file line number	Diff line number	Diff line change
`@@ -30,7 +30,8 @@ BasisReader::BasisReader(`
`30`	`30`	`base_file_name_(base_file_name),`
`31`	`31`	`d_format(db_format)`
`32`	`32`	`{`
`33`		`- CAROM_ASSERT(!base_file_name.empty());`
	`33`	`+ CAROM_VERIFY(!base_file_name.empty());`
	`34`	`+ CAROM_VERIFY(comm == MPI_COMM_NULL \|\| comm == MPI_COMM_WORLD);`
`34`	`35`	`d_distributed = comm != MPI_COMM_NULL;`
`35`	`36`
`36`	`37`	`int mpi_init;`