summaryrefslogtreecommitdiff
path: root/src/utils
diff options
context:
space:
mode:
Diffstat (limited to 'src/utils')
-rw-r--r--src/utils/automata/dfa_minimizer.hpp1
-rw-r--r--src/utils/cpp/json.hpp3
2 files changed, 0 insertions, 4 deletions
diff --git a/src/utils/automata/dfa_minimizer.hpp b/src/utils/automata/dfa_minimizer.hpp
index 5017b635..d536bd8b 100644
--- a/src/utils/automata/dfa_minimizer.hpp
+++ b/src/utils/automata/dfa_minimizer.hpp
@@ -196,7 +196,6 @@ class DFAMinimizer {
}
// Mark pair as distinguishable and recursively mark all parents.
- // NOLINTNEXTLINE(misc-no-recursion)
static void MarkPairValue(gsl::not_null<StatePairValue*> const& data) {
data->marked = true;
for (auto* parent : data->parents) {
diff --git a/src/utils/cpp/json.hpp b/src/utils/cpp/json.hpp
index 1fe4df3f..589a5884 100644
--- a/src/utils/cpp/json.hpp
+++ b/src/utils/cpp/json.hpp
@@ -50,7 +50,6 @@ auto ExtractValueAs(
namespace detail {
-// NOLINTNEXTLINE(misc-no-recursion)
[[nodiscard]] static inline auto IndentListsOnlyUntilDepth(
nlohmann::json const& json,
std::string const& indent,
@@ -89,7 +88,6 @@ namespace detail {
return json.dump();
}
-// NOLINTNEXTLINE(misc-no-recursion)
[[nodiscard]] static inline auto IndentOnlyUntilDepth(
nlohmann::json const& json,
std::string const& indent,
@@ -164,7 +162,6 @@ namespace detail {
}
// \brief Dump json, replacing subexpressions at the given depths by "*".
-// NOLINTNEXTLINE(misc-no-recursion)
[[nodiscard]] static inline auto TruncateJson(nlohmann::json const& json,
std::size_t depth)
-> std::string {