1Setting option: options_monitor (no value)
2Setting option: options_monitor_cancel = 0
3Setting option: skip_petscrc = 0
4Setting option: option_in_file_1 (no value)
5Setting option: alias_opt = option_in_file_2_val
6Setting option: alias_opt = alias_val
7Setting option: dot_petscrc_option1 = dot_petscrc_option1_val
8Setting option: dot_petscrc_option2 (no value)
9Setting option: petscrc_option1 = petscrc_option1_val
10Setting option: petscrc_option2 (no value)
11Setting option: options_view (no value)
12Setting option: options_monitor_viewer = ascii
13Setting option: option1 = 1
14Setting option: option2 (no value)
15Setting option: option3 = value3
16Setting option: option4 = value4
17* Setting option: option4 = value4
18Setting option: option5 (no value)
19* Setting option: option5 (no value)
20#PETSc Option Table entries:
21-alias_opt alias_val
22-dot_petscrc_option1 dot_petscrc_option1_val
23-dot_petscrc_option2
24-option1 1
25-option2
26-option3 value3
27-option4 value4
28-option5
29-option_in_file_1
30-options_monitor
31-options_monitor_cancel 0
32-options_monitor_viewer ascii
33-options_view
34-petscrc_option1 petscrc_option1_val
35-petscrc_option2
36-skip_petscrc 0
37#End of PETSc Option Table entries
38