diff options
Diffstat (limited to 'src/Witness_complex/example')
-rw-r--r-- | src/Witness_complex/example/witness_complex_from_wl_matrix.cpp | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/src/Witness_complex/example/witness_complex_from_wl_matrix.cpp b/src/Witness_complex/example/witness_complex_from_wl_matrix.cpp index 2fec499c..614bb945 100644 --- a/src/Witness_complex/example/witness_complex_from_wl_matrix.cpp +++ b/src/Witness_complex/example/witness_complex_from_wl_matrix.cpp @@ -140,18 +140,6 @@ int main (int argc, char * const argv[]) end = clock(); std::cout << "Howdy world! The process took " << (double)(end-start)/CLOCKS_PER_SEC << " s. \n"; - /* - char buffer[100]; - int i = sprintf(buffer,"%s_%s_result.txt",argv[1],argv[2]); - if (i >= 0) - { - std::string out_file = (std::string)buffer; - std::ofstream ofs (out_file, std::ofstream::out); - witnessComplex.st_to_file(ofs); - ofs.close(); - } - */ - out_file = "output/"+file_name+"_"+argv[2]+".stree"; std::ofstream ofs (out_file, std::ofstream::out); witnessComplex.st_to_file(ofs); |