mod_print_witness_file Module Reference

Functions/Subroutines
subroutine	print_witness_file ()

Variables
logical	has_witness_file = .false.
	Flag to write witness file.
character(len=:), allocatable	witness_file
	Witness output file.

Function/Subroutine Documentation

print_witness_file()

subroutine mod_print_witness_file::print_witness_file

Variable Documentation

has_witness_file

logical mod_print_witness_file::has_witness_file = .false.

Flag to write witness file.

witness_file

character(len=:), allocatable mod_print_witness_file::witness_file

Witness output file.