nitpicks

Author: sillydan1

.vscode/launch.json

@@ -10,18 +10,6 @@
             "args": [
             ]
         },
-        {
-            "name": "Launch detcheck",
-            "type": "codelldb",
-            "request": "launch",
-            "cwd": "${workspaceFolder}/Debug",
-            "program": "${workspaceFolder}/Debug/detcheck",
-            "args": [ 
-                "-f", "/Users/agj/Git/hmk/safecontrucks/Safecon3",
-                "-i", ".*CHANGELOG.*",
-                "-n", "Main.CS(15)"
-            ]
-        },
         {
             "name": "Launch Verifier",
             "type": "codelldb",

src/cli/detcheck/CMakeLists.txt

@@ -22,4 +22,4 @@ if(TARGET default_plugins)
     add_dependencies(${PROJECT_NAME} default_plugins)
 endif()
 install(TARGETS ${PROJECT_NAME})
-#install(FILES man/simulator.1 DESTINATION /man/man1)
+

test/tta/tta_tests.cpp

@@ -22,13 +22,6 @@
 #include <catch2/catch_test_macros.hpp>
 #include <utility>
 
-SCENARIO("djwkadjw", "[aa]") {
-    expr::symbol_table_t ex_symbols{};
-    aaltitoad::expression_driver i{ex_symbols};
-    auto r = i.parse("x:=0_ms");
-    std::cout << r.declarations << std::endl;
-}
-
 SCENARIO("constructing networks of TTAs", "[ntta_t-construction]") {
     struct dummy_tocker : public aaltitoad::tocker_t {
         [[nodiscard]] auto tock(const aaltitoad::ntta_t& state) -> std::vector<expr::symbol_table_t> override {

test/verification/forward_reachability_tests.cpp

@@ -39,12 +39,6 @@ SCENARIO("basic reachability", "[frs]") {
                 .build_with_interesting_tocker();
         GIVEN("a simple reachability query 'can x reach zero?'") {
             auto query = aaltitoad::ctl_interpreter{n.symbols, n.external_symbols}.compile("E F x == 0");
-            // THEN("query 'E F x == 0' is a searchable query") {
-            //     aaltitoad::is_query_searchable(query);
-            // }
-            // THEN("query 'E F x == 0' is not a trivial query") {
-            //     aaltitoad::is_query_trivial(query);
-            // }
             WHEN("searching through the state-space with forward reachability search") {
                 aaltitoad::forward_reachability_searcher frs{};
                 auto results = frs.is_reachable(n, query);