changed std::exit to std::abort that is more consistent with fast-fail policy

psanse · psanse · commit b63d006e9adb · 2025-12-19T13:21:19.000+01:00
diff --git a/src/bitscan/bbscan_sparse.h b/src/bitscan/bbscan_sparse.h
@@ -491,12 +491,12 @@ namespace bitgraph {
 		case DESTRUCTIVE_REVERSE:
 			//scan_block(p.second);
 			LOG_ERROR("destructive scan type currently not available in BBScanSp::init_scan...exiting");
-			std::exit(EXIT_FAILURE);
+			std::abort();
 			//throw BitScanError("incorrect destructive scan type in BBScanSp::init_scan");		
 			break;
 		default:
 			LOG_ERROR("unknown scan type in BBScanSp::init_scan...exiting");
-			std::exit(EXIT_FAILURE);
+			std::abort();
 			//throw BitScanError("unknown scan type in BBScanSp::init_scan");		
 		}
 
diff --git a/src/bitscan/bbsentinel.cpp b/src/bitscan/bbsentinel.cpp
@@ -209,7 +209,7 @@ namespace bitgraph {
 				break;
 			default:
 				cerr << "bad scan type" << endl;
-				std::exit(EXIT_FAILURE);
+				std::abort();
 			}
 			return 0;
 		}
diff --git a/src/bitscan/bbset.cpp b/src/bitscan/bbset.cpp
@@ -29,7 +29,7 @@ BitSet::BitSet(std::size_t nPop, bool val) :
 	catch (...) {
 		LOG_ERROR("Error during construction - BitSet::BitSet");
 		LOG_ERROR("exiting...");
-		std::exit(EXIT_FAILURE);
+		std::abort();
 	}
 
 	//trim last bitblock to ZERO if val = TRUE
@@ -59,7 +59,7 @@ BitSet::BitSet(const vint& v):
 	catch (...) {
 		LOG_ERROR("Error during construction - BitSet::BitSet()");
 		LOG_ERROR("exiting...");
-		std::exit(EXIT_FAILURE);
+		std::abort();
 	}
 }
 
@@ -85,7 +85,7 @@ BitSet::BitSet(std::size_t nPop, std::initializer_list<int> l):
 	catch (...) {
 		LOG_ERROR("Error during construction - BitSet::BitSet()");
 		LOG_ERROR("exiting...");
-		std::exit(EXIT_FAILURE);
+		std::abort();
 	}
 }
 
@@ -98,7 +98,7 @@ void BitSet::init(std::size_t nPop) noexcept {
 	catch (...) {
 		LOG_ERROR("Error during allocation - BitSet::init");
 		LOG_ERROR("exiting...");
-		std::exit(EXIT_FAILURE);
+		std::abort();
 	}
 
 }
@@ -124,7 +124,7 @@ void BitSet::init(std::size_t nPop, const vint& lv) noexcept {
 	catch (...) {
 		LOG_ERROR("Error during allocation - BitSet::init");
 		LOG_ERROR("exiting...");
-		std::exit(EXIT_FAILURE);
+		std::abort();
 	}	
 }
 
@@ -137,7 +137,7 @@ void BitSet::reset(std::size_t nPop) noexcept {
 	catch (...) {
 		LOG_ERROR("Error during allocation - BitSet::reset");
 		LOG_ERROR("exiting...");
-		std::exit(EXIT_FAILURE);
+		std::abort();
 	}
 
 }
@@ -162,7 +162,7 @@ void BitSet::reset(std::size_t nPop, const vint& lv) noexcept {
 	catch (...) {
 		LOG_ERROR("Error during allocation - BitSet::reset");
 		LOG_ERROR("exiting...");
-		std::exit(EXIT_FAILURE);
+		std::abort();
 	}
 }
 
diff --git a/src/bitscan/bbset.h b/src/bitscan/bbset.h
@@ -2081,7 +2081,7 @@ bitgraph::BitSet::BitSet(std::size_t nPop, const ColT& lv) :
 	catch (...) {
 		LOG_ERROR("Error during construction - BitSet::BitSet()");
 		LOG_ERROR("exiting...");
-		std::exit(EXIT_FAILURE);
+		std::abort();
 	}
 }
 
diff --git a/src/bitscan/bbset_sparse.cpp b/src/bitscan/bbset_sparse.cpp
@@ -63,7 +63,7 @@ BitSetSp::BitSetSp(std::size_t nPop, const vint& lv):
 	catch (...) {
 		LOG_ERROR("Error during construction - BitSet::BitSetSp()");
 		LOG_ERROR("exiting...");
-		std::exit(EXIT_FAILURE);
+		std::abort();
 	}
 }
 
@@ -90,7 +90,7 @@ BitSetSp::BitSetSp(std::size_t nPop, std::initializer_list<int> lv) :
 	catch (...) {
 		LOG_ERROR("Error during construction - BitSet::BitSetSp()");
 		LOG_ERROR("exiting...");
-		std::exit(EXIT_FAILURE);
+		std::abort();
 	}
 }
 
@@ -105,7 +105,7 @@ void BitSetSp::reset(std::size_t nPop, bool is_popsize) noexcept
 	catch (...) {
 		LOG_ERROR("Error during reset - BitSet::reset");
 		LOG_ERROR("exiting...");
-		std::exit(EXIT_FAILURE);
+		std::abort();
 	}
 }
 
@@ -133,7 +133,7 @@ void BitSetSp::reset(std::size_t nPop, const vint& lv) noexcept
 	catch (...) {
 		LOG_ERROR("Error during reset - BitSet::reset");
 		LOG_ERROR("exiting...");
-		std::exit(EXIT_FAILURE);
+		std::abort();
 	}
 }
 
@@ -146,7 +146,7 @@ void BitSetSp::init (std::size_t size, bool is_popsize) noexcept {
 	catch (...) {
 		LOG_ERROR("Error during initialization - BitSet::init");
 		LOG_ERROR("exiting...");
-		std::exit(EXIT_FAILURE);
+		std::abort();
 	}	
 }
 
diff --git a/src/bitscan/bbutils.h b/src/bitscan/bbutils.h
@@ -307,7 +307,7 @@ namespace bitgraph {
 				catch (std::exception& e) {
 					LOG_ERROR("%s", e.what());
 					LOG_ERROR("BitSetArray::BitSetArray()");
-					std::exit(EXIT_FAILURE);
+					std::abort();
 				}
 			}
 
@@ -477,7 +477,7 @@ namespace bitgraph {
 		catch (std::exception& e) {
 			LOG_ERROR("%s", e.what());
 			LOG_ERROR("BitSetStack<BitSetT>::-reset()");
-			std::exit(EXIT_FAILURE);
+			std::abort();
 		}
 
 	}; //end struct
diff --git a/src/graph/algorithms/decode.h b/src/graph/algorithms/decode.h
@@ -38,7 +38,7 @@ namespace bitgraph {
 							LOGG_ERROR("Out of Range error: ", oor.what());
 							LOGG_ERROR("DecodeVertex: operator() - vertex : ", v);
 							LOGG_ERROR("exiting...");
-							std::exit(EXIT_FAILURE);
+							std::abort();
 						}
 					}
 					return v;
diff --git a/src/graph/algorithms/graph_fast_sort.h b/src/graph/algorithms/graph_fast_sort.h
@@ -494,7 +494,7 @@ namespace bitgraph {
 			if (node_active_state_.init_scan(BBObject::NON_DESTRUCTIVE) != -1) {
 				LOG_ERROR("init scan failed -  GraphFastRootSort<Graph_t>::sort_degen_non_decreasing_deg_B");
 				LOG_ERROR("exting");
-				std::exit(EXIT_FAILURE);
+				std::abort();
 			}
 
 			while ((w = node_active_state_.next_bit()) != BBObject::noBit) {
diff --git a/src/graph/algorithms/graph_gen.h b/src/graph/algorithms/graph_gen.h
@@ -346,7 +346,7 @@ namespace bitgraph{
 					f.open(o.str().c_str());
 					if (!f) {
 						LOGG_ERROR("error in file name: ", o.str(), "- RandomGen<Graph_t>::create_graph_benchmark");
-						std::exit(EXIT_FAILURE);
+						std::abort();
 					}
 					g.write_dimacs(f);
 					f.close();
diff --git a/src/graph/algorithms/graph_map.h b/src/graph/algorithms/graph_map.h
@@ -267,7 +267,7 @@ namespace bitgraph{
 		/*if (!is_consistent()) {
 			LOG_ERROR("L2R and R2L are inconsistent orderings - GraphMap::build_mapping (2 ord...)");
 			LOG_ERROR("exiting...");
-			std::exit(EXIT_FAILURE);
+			std::abort();
 		}*/
 
 		//I/O
@@ -296,7 +296,7 @@ namespace bitgraph{
 		/*if (!is_consistent()) {
 			LOG_ERROR("L2R and R2L are inconsistent orderings - GraphMap::build_mapping(single ord...)");
 			LOG_ERROR("exiting...");
-			std::exit(EXIT_FAILURE);
+			std::abort();
 		}*/
 			
 		//return 0;
diff --git a/src/graph/algorithms/kcore.h b/src/graph/algorithms/kcore.h
@@ -344,7 +344,7 @@ namespace bitgraph {
 		catch (std::bad_alloc& ba) {
 			LOGG_ERROR("bad_alloc exception - KCore<T>::reset_subgraph", ba.what());
 			LOG_ERROR("exiting...");
-			std::exit(EXIT_FAILURE);
+			std::abort();
 		}
 	}
 
@@ -359,7 +359,7 @@ namespace bitgraph {
 		catch (std::bad_alloc& ba) {
 			LOGG_ERROR("bad_alloc exception - KCore<T>::reset_subgraph", ba.what());
 			LOG_ERROR("Exiting...");
-			std::exit(EXIT_FAILURE);
+			std::abort();
 		}
 
 	}
@@ -376,7 +376,7 @@ namespace bitgraph {
 		catch (std::bad_alloc& ba) {
 			LOGG_ERROR("bad_alloc exception - KCore<T>::reset_subgraph", ba.what());
 			LOG_ERROR("Exiting...");
-			std::exit(EXIT_FAILURE);
+			std::abort();
 		}
 
 	}
diff --git a/src/graph/simple_graph.h b/src/graph/simple_graph.h
@@ -594,7 +594,7 @@ namespace bitgraph {
 		if (NV > std::numeric_limits<int>::max()) {
 			LOGG_ERROR("Invalid graph size ", NV, " - Graph<BitSetT>::reset");
 			LOG_ERROR("exiting... ");
-			std::exit(EXIT_FAILURE);
+			std::abort();
 		}
 
 		//initialization
@@ -611,7 +611,7 @@ namespace bitgraph {
 			LOG_ERROR("memory for graph not allocated - Graph<BitSetT>::reset");
 			LOG_ERROR("%s", e.what());
 			LOG_ERROR("exiting... ");
-			std::exit(EXIT_FAILURE);
+			std::abort();
 		}
 
 		//update instance name
@@ -695,7 +695,7 @@ namespace bitgraph {
 						LOGG_ERROR("Unable to read a graph from file ", filename, "- Graph<BitSetT>::reset");
 						LOG_ERROR("Formats considered: DIMACS / MTX / EDGES / 01");
 						LOG_ERROR("exiting...");
-						std::exit(EXIT_FAILURE);
+						std::abort();
 					}
 				}
 			}
diff --git a/src/graph/simple_graph_ew.cpp b/src/graph/simple_graph_ew.cpp
@@ -149,7 +149,7 @@ template<class Graph_t, class W>
 	default:	
 		LOG_ERROR("unknown type -  Base_Graph_EW<Graph_t, W>::complement_weights");
 		LOG_ERROR("exiting");
-		std::exit(EXIT_FAILURE);
+		std::abort();
 	}
 	
 }
@@ -405,7 +405,7 @@ ostream& Base_Graph_EW<Graph_t, W>::print_weights (ostream& o, bool line_format,
 	default:
 		LOG_ERROR("unknown type - Base_Graph_EW<Graph_t, W>::print_weights");
 		LOG_ERROR("exiting");
-		std::exit(EXIT_FAILURE);
+		std::abort();
 	}
 	//o << endl << "**************************" << endl;
 	return o;
@@ -475,7 +475,7 @@ ostream& Base_Graph_EW<Graph_t, W>::print_weights (vint& lv, ostream& o, int typ
 	default:
 		LOG_ERROR("unknown type - Base_Graph_EW<Graph_t, W>::print_weights");
 		LOG_ERROR("exiting");
-		std::exit(EXIT_FAILURE);
+		std::abort();
 	}
 	//o << endl << "**************************" << endl;
 
diff --git a/src/graph/simple_graph_ew.h b/src/graph/simple_graph_ew.h
@@ -638,7 +638,7 @@ namespace bitgraph {
 			//should not happen	
 			LOG_ERROR("unknown type -  Base_Graph_EW<Graph_t, W>::transform_weights");
 			LOG_ERROR("exiting");
-			std::exit(EXIT_FAILURE);
+			std::abort();
 		}
 	}
 
@@ -803,7 +803,7 @@ namespace bitgraph {
 		catch (...) {
 			LOG_ERROR("bad weight assignment - Base_Graph_EW<Graph_t, W>::reset");
 			LOG_ERROR("exiting");
-			std::exit(EXIT_FAILURE);
+			std::abort();
 		}
 
 		//set vertex weights to NO_WEIGHT if required
diff --git a/src/graph/simple_graph_w.cpp b/src/graph/simple_graph_w.cpp
@@ -71,7 +71,7 @@ Base_Graph_W<Graph_t, W>::Base_Graph_W(std::string filename){
 	if (read_dimacs(filename) == -1) {
 		LOG_ERROR("error reading DIMACS file -Base_Graph_W<Graph_t, W>::Base_Graph_W");
 		LOG_ERROR("exiting...");
-		std::exit(EXIT_FAILURE);
+		std::abort();
 	}
 }
 
@@ -113,7 +113,7 @@ void Base_Graph_W<Graph_t, W>::reset(std::size_t NV, W val, string name)
 	catch (...) {
 		LOG_ERROR("bad weight assignment - Base_Graph_W<Graph_t, W>::reset");
 		LOG_ERROR("exiting...");
-		std::exit(EXIT_FAILURE);	
+		std::abort();	
 	}
 
 	g_.set_name(name);
diff --git a/src/graph/simple_ugraph.h b/src/graph/simple_ugraph.h
@@ -533,7 +533,7 @@ namespace bitgraph {
 		int Ugraph<BitSetT>::degree(int v, const BitSetSp& bbs)	const {
 		LOG_ERROR("function not yet implemented, should not be called - Ugraph<BitSetT>::degree");
 		LOG_ERROR("exiting...");
-		std::exit(EXIT_FAILURE);
+		std::abort();
 	}
 
 
@@ -802,7 +802,7 @@ namespace bitgraph {
 	int Ugraph<BitSetT>::degree(int v, int UB, const BitSetSp& bbn) const {
 		LOG_ERROR("function not yet implemented, should not be called - Ugraph<BitSetT>::degree");
 		LOG_ERROR("exiting...");
-		std::exit(EXIT_FAILURE);
+		std::abort();
 	}
 
 
diff --git a/src/utils/info/info_base.cpp b/src/utils/info/info_base.cpp
@@ -103,7 +103,7 @@ void infoBase::startTimer(phase_t t)
 	default:
 		LOG_ERROR("bizarre timer type, exiting... - com::infoBase::start_timer");
 		LOGG_ERROR("timer type: ", (int)t, " - com::infoBase::start_timer");
-		std::exit(EXIT_FAILURE);
+		std::abort();
 	}
 }
 
@@ -122,7 +122,7 @@ void infoBase::clearTimer(phase_t t) {
 	default:
 		LOG_ERROR("bizarre timer type, exiting... - com::infoBase::clearTimer");
 		LOGG_ERROR("timer type: ", (int)t, " - com::infoBase::clearTimer");
-		std::exit(EXIT_FAILURE);
+		std::abort();
 	}
 }
 
@@ -155,7 +155,7 @@ double infoBase::readTimer(phase_t t)
 	default:
 		LOG_ERROR("bizarre timer type, exiting... - infoBase::read_time");
 		LOGG_ERROR("timer type : ", (int)t);
-		std::exit(EXIT_FAILURE);
+		std::abort();
 	}
 
 	return elapsedTime;

Original file line number	Diff line number	Diff line change
`@@ -209,7 +209,7 @@ namespace bitgraph {`
`209`	`209`	`break;`
`210`	`210`	`default:`
`211`	`211`	`cerr << "bad scan type" << endl;`
`212`		`- std::exit(EXIT_FAILURE);`
	`212`	`+ std::abort();`
`213`	`213`	`}`
`214`	`214`	`return 0;`
`215`	`215`	`}`
Original file line number	Diff line number	Diff line change
`@@ -29,7 +29,7 @@ BitSet::BitSet(std::size_t nPop, bool val) :`
`29`	`29`	`catch (...) {`
`30`	`30`	`LOG_ERROR("Error during construction - BitSet::BitSet");`
`31`	`31`	`LOG_ERROR("exiting...");`
`32`		`- std::exit(EXIT_FAILURE);`
	`32`	`+ std::abort();`
`33`	`33`	`}`
`34`	`34`
`35`	`35`	`//trim last bitblock to ZERO if val = TRUE`
`@@ -59,7 +59,7 @@ BitSet::BitSet(const vint& v):`
`59`	`59`	`catch (...) {`
`60`	`60`	`LOG_ERROR("Error during construction - BitSet::BitSet()");`
`61`	`61`	`LOG_ERROR("exiting...");`
`62`		`- std::exit(EXIT_FAILURE);`
	`62`	`+ std::abort();`
`63`	`63`	`}`
`64`	`64`	`}`
`65`	`65`
`@@ -85,7 +85,7 @@ BitSet::BitSet(std::size_t nPop, std::initializer_list<int> l):`
`85`	`85`	`catch (...) {`
`86`	`86`	`LOG_ERROR("Error during construction - BitSet::BitSet()");`
`87`	`87`	`LOG_ERROR("exiting...");`
`88`		`- std::exit(EXIT_FAILURE);`
	`88`	`+ std::abort();`
`89`	`89`	`}`
`90`	`90`	`}`
`91`	`91`
`@@ -98,7 +98,7 @@ void BitSet::init(std::size_t nPop) noexcept {`
`98`	`98`	`catch (...) {`
`99`	`99`	`LOG_ERROR("Error during allocation - BitSet::init");`
`100`	`100`	`LOG_ERROR("exiting...");`
`101`		`- std::exit(EXIT_FAILURE);`
	`101`	`+ std::abort();`
`102`	`102`	`}`
`103`	`103`
`104`	`104`	`}`
`@@ -124,7 +124,7 @@ void BitSet::init(std::size_t nPop, const vint& lv) noexcept {`
`124`	`124`	`catch (...) {`
`125`	`125`	`LOG_ERROR("Error during allocation - BitSet::init");`
`126`	`126`	`LOG_ERROR("exiting...");`
`127`		`- std::exit(EXIT_FAILURE);`
	`127`	`+ std::abort();`
`128`	`128`	`}`
`129`	`129`	`}`
`130`	`130`
`@@ -137,7 +137,7 @@ void BitSet::reset(std::size_t nPop) noexcept {`
`137`	`137`	`catch (...) {`
`138`	`138`	`LOG_ERROR("Error during allocation - BitSet::reset");`
`139`	`139`	`LOG_ERROR("exiting...");`
`140`		`- std::exit(EXIT_FAILURE);`
	`140`	`+ std::abort();`
`141`	`141`	`}`
`142`	`142`
`143`	`143`	`}`
`@@ -162,7 +162,7 @@ void BitSet::reset(std::size_t nPop, const vint& lv) noexcept {`
`162`	`162`	`catch (...) {`
`163`	`163`	`LOG_ERROR("Error during allocation - BitSet::reset");`
`164`	`164`	`LOG_ERROR("exiting...");`
`165`		`- std::exit(EXIT_FAILURE);`
	`165`	`+ std::abort();`
`166`	`166`	`}`
`167`	`167`	`}`
`168`	`168`
Original file line number	Diff line number	Diff line change
`@@ -2081,7 +2081,7 @@ bitgraph::BitSet::BitSet(std::size_t nPop, const ColT& lv) :`
`2081`	`2081`	`catch (...) {`
`2082`	`2082`	`LOG_ERROR("Error during construction - BitSet::BitSet()");`
`2083`	`2083`	`LOG_ERROR("exiting...");`
`2084`		`- std::exit(EXIT_FAILURE);`
	`2084`	`+ std::abort();`
`2085`	`2085`	`}`
`2086`	`2086`	`}`
`2087`	`2087`
Original file line number	Diff line number	Diff line change
`@@ -63,7 +63,7 @@ BitSetSp::BitSetSp(std::size_t nPop, const vint& lv):`
`63`	`63`	`catch (...) {`
`64`	`64`	`LOG_ERROR("Error during construction - BitSet::BitSetSp()");`
`65`	`65`	`LOG_ERROR("exiting...");`
`66`		`- std::exit(EXIT_FAILURE);`
	`66`	`+ std::abort();`
`67`	`67`	`}`
`68`	`68`	`}`
`69`	`69`
`@@ -90,7 +90,7 @@ BitSetSp::BitSetSp(std::size_t nPop, std::initializer_list<int> lv) :`
`90`	`90`	`catch (...) {`
`91`	`91`	`LOG_ERROR("Error during construction - BitSet::BitSetSp()");`
`92`	`92`	`LOG_ERROR("exiting...");`
`93`		`- std::exit(EXIT_FAILURE);`
	`93`	`+ std::abort();`
`94`	`94`	`}`
`95`	`95`	`}`
`96`	`96`
`@@ -105,7 +105,7 @@ void BitSetSp::reset(std::size_t nPop, bool is_popsize) noexcept`
`105`	`105`	`catch (...) {`
`106`	`106`	`LOG_ERROR("Error during reset - BitSet::reset");`
`107`	`107`	`LOG_ERROR("exiting...");`
`108`		`- std::exit(EXIT_FAILURE);`
	`108`	`+ std::abort();`
`109`	`109`	`}`
`110`	`110`	`}`
`111`	`111`
`@@ -133,7 +133,7 @@ void BitSetSp::reset(std::size_t nPop, const vint& lv) noexcept`
`133`	`133`	`catch (...) {`
`134`	`134`	`LOG_ERROR("Error during reset - BitSet::reset");`
`135`	`135`	`LOG_ERROR("exiting...");`
`136`		`- std::exit(EXIT_FAILURE);`
	`136`	`+ std::abort();`
`137`	`137`	`}`
`138`	`138`	`}`
`139`	`139`
`@@ -146,7 +146,7 @@ void BitSetSp::init (std::size_t size, bool is_popsize) noexcept {`
`146`	`146`	`catch (...) {`
`147`	`147`	`LOG_ERROR("Error during initialization - BitSet::init");`
`148`	`148`	`LOG_ERROR("exiting...");`
`149`		`- std::exit(EXIT_FAILURE);`
	`149`	`+ std::abort();`
`150`	`150`	`}`
`151`	`151`	`}`
`152`	`152`
Original file line number	Diff line number	Diff line change
`@@ -307,7 +307,7 @@ namespace bitgraph {`
`307`	`307`	`catch (std::exception& e) {`
`308`	`308`	`LOG_ERROR("%s", e.what());`
`309`	`309`	`LOG_ERROR("BitSetArray::BitSetArray()");`
`310`		`- std::exit(EXIT_FAILURE);`
	`310`	`+ std::abort();`
`311`	`311`	`}`
`312`	`312`	`}`
`313`	`313`
`@@ -477,7 +477,7 @@ namespace bitgraph {`
`477`	`477`	`catch (std::exception& e) {`
`478`	`478`	`LOG_ERROR("%s", e.what());`
`479`	`479`	`LOG_ERROR("BitSetStack<BitSetT>::-reset()");`
`480`		`- std::exit(EXIT_FAILURE);`
	`480`	`+ std::abort();`
`481`	`481`	`}`
`482`	`482`
`483`	`483`	`}; //end struct`
Original file line number	Diff line number	Diff line change
`@@ -38,7 +38,7 @@ namespace bitgraph {`
`38`	`38`	`LOGG_ERROR("Out of Range error: ", oor.what());`
`39`	`39`	`LOGG_ERROR("DecodeVertex: operator() - vertex : ", v);`
`40`	`40`	`LOGG_ERROR("exiting...");`
`41`		`- std::exit(EXIT_FAILURE);`
	`41`	`+ std::abort();`
`42`	`42`	`}`
`43`	`43`	`}`
`44`	`44`	`return v;`
Original file line number	Diff line number	Diff line change
`@@ -494,7 +494,7 @@ namespace bitgraph {`
`494`	`494`	`if (node_active_state_.init_scan(BBObject::NON_DESTRUCTIVE) != -1) {`
`495`	`495`	`LOG_ERROR("init scan failed - GraphFastRootSort<Graph_t>::sort_degen_non_decreasing_deg_B");`
`496`	`496`	`LOG_ERROR("exting");`
`497`		`- std::exit(EXIT_FAILURE);`
	`497`	`+ std::abort();`
`498`	`498`	`}`
`499`	`499`
`500`	`500`	`while ((w = node_active_state_.next_bit()) != BBObject::noBit) {`
Original file line number	Diff line number	Diff line change
`@@ -346,7 +346,7 @@ namespace bitgraph{`
`346`	`346`	`f.open(o.str().c_str());`
`347`	`347`	`if (!f) {`
`348`	`348`	`LOGG_ERROR("error in file name: ", o.str(), "- RandomGen<Graph_t>::create_graph_benchmark");`
`349`		`- std::exit(EXIT_FAILURE);`
	`349`	`+ std::abort();`
`350`	`350`	`}`
`351`	`351`	`g.write_dimacs(f);`
`352`	`352`	`f.close();`