15194704016

Committed 22 May 2025 08:53AM UTC coverage: 88.11% (-0.07%) from 88.177%

Build # 15194704016

Build Type

push

github

Committed by

elazarg

Commit Message

uniform class names and explicit constructors for adapt_sgraph.hpp

Signed-off-by: Elazar Gershuni <elazarg@gmail.com>

Run Details

27 of 30 new or added lines in 1 file covered. (90.0%)

481 existing lines in 33 files now uncovered.

8552 of 9706 relevant lines covered (88.11%)

9089054.61 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

83.33

/src/string_constraints.hpp

// Copyright (c) Prevail Verifier contributors.
// SPDX-License-Identifier: MIT

#pragma once

#include <regex>
#include <set>
#include <string>
#include <vector>

#include "crab/interval.hpp"
#include "crab/linear_constraint.hpp"

namespace prevail {
struct StringInvariant {
    std::optional<std::set<std::string>> maybe_inv{};

    StringInvariant() = default;

    explicit StringInvariant(std::set<std::string> inv) : maybe_inv(std::move(inv)) {}

    StringInvariant(const StringInvariant& inv) = default;
    StringInvariant& operator=(const StringInvariant& inv) = default;

    [[nodiscard]]
    bool is_bottom() const {
        return !maybe_inv;
    }
    [[nodiscard]]
    bool empty() const {
        return maybe_inv && maybe_inv->empty();
    }

    static StringInvariant top() { return StringInvariant{{}}; }
    static StringInvariant bottom() { return StringInvariant{}; }

    [[nodiscard]]
    const std::set<std::string>& value() const {
        if (is_bottom()) {
            throw std::runtime_error("cannot iterate bottom");
        }
        return *maybe_inv;
    }

    StringInvariant operator-(const StringInvariant& b) const;
    StringInvariant operator+(const StringInvariant& b) const;

    bool operator==(const StringInvariant& other) const { return maybe_inv == other.maybe_inv; }

    [[nodiscard]]
    bool contains(const std::string& item) const {
        return maybe_inv.value().contains(item);
    }

    friend std::ostream& operator<<(std::ostream&, const StringInvariant& inv);
};

std::vector<LinearConstraint> parse_linear_constraints(const std::set<std::string>& constraints,
                                                       std::vector<Interval>& numeric_ranges);
} // namespace prevail

1	// Copyright (c) Prevail Verifier contributors.
2	// SPDX-License-Identifier: MIT
3
4	#pragma once
5
6	#include <regex>
7	#include <set>
8	#include <string>
9	#include <vector>
10
11	#include "crab/interval.hpp"
12	#include "crab/linear_constraint.hpp"
13
14	namespace prevail {
15	struct StringInvariant {	2,294✔
16	std::optional<std::set<std::string>> maybe_inv{};
17
18	StringInvariant() = default;	198✔
19
20	explicit StringInvariant(std::set<std::string> inv) : maybe_inv(std::move(inv)) {}	5,924✔
21
22	StringInvariant(const StringInvariant& inv) = default;	8,065✔
23	StringInvariant& operator=(const StringInvariant& inv) = default;	114✔
24
25	[[nodiscard]]
26	bool is_bottom() const {	5,454✔
27	return !maybe_inv;	5,454✔
28	}
29	[[nodiscard]]
30	bool empty() const {	×
UNCOV 31	return maybe_inv && maybe_inv->empty();	×
32	}
33
34	static StringInvariant top() { return StringInvariant{{}}; }	1,728✔
35	static StringInvariant bottom() { return StringInvariant{}; }	198✔
36
37	[[nodiscard]]
38	const std::set<std::string>& value() const {	3,108✔
39	if (is_bottom()) {	3,108✔
UNCOV 40	throw std::runtime_error("cannot iterate bottom");	×
41	}
42	return *maybe_inv;	3,108✔
43	}
44
45	StringInvariant operator-(const StringInvariant& b) const;
46	StringInvariant operator+(const StringInvariant& b) const;
47
48	bool operator==(const StringInvariant& other) const { return maybe_inv == other.maybe_inv; }	1,404✔
49
50	[[nodiscard]]
51	bool contains(const std::string& item) const {	874✔
52	return maybe_inv.value().contains(item);	874✔
53	}
54
55	friend std::ostream& operator<<(std::ostream&, const StringInvariant& inv);
56	};
57
58	std::vector<LinearConstraint> parse_linear_constraints(const std::set<std::string>& constraints,
59	std::vector<Interval>& numeric_ranges);
60	} // namespace prevail

Alan-Jowett / ebpf-verifier / 15194704016

Source File Press 'n' to go to next uncovered line, 'b' for previous

Source File
Press 'n' to go to next uncovered line, 'b' for previous