removing commented out code

IDNI · Jan 9, 2024 · 078d74a · 078d74a
1 parent d57837d
commit 078d74a
Showing 1 changed file with 0 additions and 16 deletions.
diff --git a/tests/unit/test_tau_parser.cpp b/tests/unit/test_tau_parser.cpp
@@ -638,22 +638,6 @@ TEST_SUITE("parsing callbacks ") {
 		CHECK( neg_cb.has_value() );
 	}
 
-//	TEST_CASE("bf_subs_cb") {
-//		const char* sample =	"$X := bf_subs_cb $X $X $X.";
-//		auto src = make_tau_source(sample);
-//		auto lib = make_statement(src);
-//		auto subs_cb = lib
-//			| tau_parser::library
-//			| tau_parser::rules
-//			| tau_parser::rule
-//			| tau_parser::bf_rule
-//			| tau_parser::bf_body
-//			| tau_parser::bf
-//			| tau_parser::bf_subs_cb;
-//		CHECK( subs_cb.has_value() );
-//	}
-
-
 	// TODO (MEDIUM) write tests for execution bf_is_zero_cb
 	// TODO (MEDIUM) write tests for execution bf_is_one_cb
 	// TODO (MEDIUM) write tests for execution bf_has_clashing_subformulas_cb