Index: /issm/trunk-jpl/src/c/modules/Solverx/Solverx.cpp
===================================================================
--- /issm/trunk-jpl/src/c/modules/Solverx/Solverx.cpp	(revision 11711)
+++ /issm/trunk-jpl/src/c/modules/Solverx/Solverx.cpp	(revision 11712)
@@ -36,4 +36,6 @@
 
 	SolverxPetsc(&uf->vector,Kff->matrix,pf->vector,uf0_vector,df_vector,parameters);
+	_assert_(uf);
+	_assert_(uf->vector);
 	VecGetSize(uf->vector,&uf->M);
 	#else