Searched refs:StokeOutputDataFilename (Results 1 – 1 of 1) sorted by relevance
27 StokeOutputDataFilename("stoke-out", variable145 if (!opts::StokeOutputDataFilename.empty()) { in runOnFunctions()146 Outfile.open(opts::StokeOutputDataFilename); in runOnFunctions()