Home
last modified time | relevance | path

Searched refs:myBaseCompressedFilename (Results 1 – 1 of 1) sorted by relevance

/dports/cad/cvc/cvc-1.1.0-4-gd172016/src/
H A DCCvcDb_print.cc37 string myCompressedFilename, myBaseCompressedFilename; in SetOutputFiles() local
57 myBaseCompressedFilename = myBaseFilename + ".gz"; in SetOutputFiles()
78 myBaseCompressedFilename = myBaseFilename + ".gz"; in SetOutputFiles()
99 myBaseCompressedFilename = myBaseFilename + ".gz"; in SetOutputFiles()
105 if ( myTestFile.open(myBaseCompressedFilename), myTestFile.good() ) { in SetOutputFiles()
107 cout << "INFO: Removing " << myBaseCompressedFilename << endl; in SetOutputFiles()
108 remove(myBaseCompressedFilename.c_str()); in SetOutputFiles()
111 myBaseCompressedFilename = myBaseFilename + ".gz"; in SetOutputFiles()
117 if ( myTestFile.open(myBaseCompressedFilename), myTestFile.good() ) { in SetOutputFiles()
119 cout << "INFO: Removing " << myBaseCompressedFilename << endl; in SetOutputFiles()
[all …]