xref: /petsc/src/sys/tests/output/ex5_debug.out (revision 479160d73454da0c71cd7d575749ab6cfc6be812) 
1Option used: name:-get_an_integer value: 10
2Option left: name:-unused_petsc_option_1 (no value)
3Option left: name:-unused_petsc_option_2 (no value)
4