print_witness_file.f90 File Reference

Modules
module	mod_print_witness_file

Functions/Subroutines
subroutine	mod_print_witness_file::print_witness_file ()

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