From 078d74a66a33ab2727abe4404a0ab703cb89c8bb Mon Sep 17 00:00:00 2001 From: castrod Date: Tue, 9 Jan 2024 11:35:58 +0100 Subject: [PATCH] removing commented out code --- tests/unit/test_tau_parser.cpp | 16 ---------------- 1 file changed, 16 deletions(-) diff --git a/tests/unit/test_tau_parser.cpp b/tests/unit/test_tau_parser.cpp index 47d64d39..980b6f4c 100644 --- 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