Try snes*ex13* Use print-test to debug Scott Sent from my iPhone > On Jul 21, 2017, at 4:29 PM, Barry Smith <bsmith at mcs.anl.gov> wrote: > > > $ make -f gmakefile test globsearch='snes*ex13' > # No tests run > ~/Src/petsc (master=) arch-basic > $ make -f gmakefile test globsearch='snes*' > # No tests run > ~/Src/petsc (master=) arch-basic > >