renaming debug-* executables to runner-*

Author: castrod

src/nso_rr.h

@@ -669,7 +669,7 @@ struct name_binder {
 	name_binder(const bindings<BAs...>& bs) : bs(bs) {}
 
 	sp_tau_node<BAs...> bind(const sp_tau_node<BAs...>& n) const {
-		// FIXME check if the node is a named binding one
+		// FIXME (LOW) check if the node is a named binding one
 		auto bn = make_string_with_skip<
 				tau_node_terminal_extractor_t<BAs...>,
 				not_whitespace_predicate_t<BAs...>,
@@ -695,7 +695,7 @@ struct factory_binder {
 	factory_binder(factory_t& factory) : factory(factory) {}
 
 	sp_tau_node<BAs...> bind(const sp_tau_node<BAs...>& n) const {
-		// FIXME check that the node is a factory binding one
+		// FIXME (LOW) check that the node is a factory binding one
 		if(auto type = find_top(n, is_non_terminal<tau_parser::type, BAs...>); type) {
 			// the factory take two arguments, the first is the type and the
 			// second is the node representing the constant.

src/rewriting.h

@@ -894,7 +894,7 @@ auto drop_location = [](const parse_symbol_t& n) -> symbol_t { return n.first; }
 template <typename parse_symbol_t, typename symbol_t>
 using drop_location_t = decltype(drop_location<parse_symbol_t, symbol_t>);
 
-// FIXME maybe better not define the function at all if DEBUG is not defined
+// FIXME (LOW) maybe better not define the function at all if DEBUG is not defined
 template<typename parser_t>
 void check_parser_result(const std::string& source,
 	const typename parser_t::forest_type* f,

tests/CMakeLists.txt

@@ -45,10 +45,10 @@ if (TAU_BUILD_TESTS)
 	add_subdirectory(unit)
 endif ()
 
-add_executable(debug-tau_normalizer-tau debug-tau_normalizer-tau.cpp)
-target_setup(debug-tau_normalizer-tau)
-target_link_libraries(debug-tau_normalizer-tau ${TAU_OBJECT_LIB_NAME} ${IDNI_PARSER_OBJECT_LIB})
+add_executable(runner-normalizer-bdd runner-normalizer-bdd.cpp)
+target_setup(runner-normalizer-bdd)
+target_link_libraries(runner-normalizer-bdd ${TAU_OBJECT_LIB_NAME} ${IDNI_PARSER_OBJECT_LIB})
 
-add_executable(debug-tau_normalizer-bdd debug-tau_normalizer-bdd.cpp)
-target_setup(debug-tau_normalizer-bdd)
-target_link_libraries(debug-tau_normalizer-bdd ${TAU_OBJECT_LIB_NAME} ${IDNI_PARSER_OBJECT_LIB})
+add_executable(runner-normalizer-tau_over_bdd runner-normalizer-tau_over_bdd.cpp)
+target_setup(runner-normalizer-tau_over_bdd)
+target_link_libraries(runner-normalizer-tau_over_bdd ${TAU_OBJECT_LIB_NAME} ${IDNI_PARSER_OBJECT_LIB})