r2u2_cli 4.1.0

R2U2 CLI: A stream-based runtime monitor command-line interface
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56

from dataclasses import dataclass

@dataclass
class Stats:
    """
    A class to store statistics for the compiler.
    """
    filename: str = ""
    total_scq_size: int = 0

    smt_encoding_time: float = 0.0
    smt_solver_time: float = 0.0
    smt_solver_result: str = "none"
    smt_num_calls: int = 0

    eqsat_encoding_time: float = 0.0
    eqsat_solver_time: float = 0.0
    eqsat_equiv_result: str = "none"
    eqsat_equiv_encoding_time: float = 0.0
    eqsat_equiv_solver_time: float = 0.0

    def reset_smt_stats(self) -> None:
        """Resets the SMT statistics."""
        self.smt_encoding_time = 0.0
        self.smt_solver_time = 0.0
        self.smt_solver_result = "none"
        self.smt_num_calls = 0

    def print(self, format_str: str) -> None:
        """Prints the statistics in the according to the given format string.
        The format string can contain the following placeholders:
        - %F = Input Filename
        - %S = Total SCQ size
        - %sr = SMT solver result
        - %se = SMT encoding time
        - %st = SMT solver time
        - %sn = SMT solver number of calls
        - %ee = Eqsat encoding time
        - %et = Eqsat solver time
        - %eq = Eqsat equivalence result
        - %eq = Eqsat equivalence time
        - %es = Eqsat equivalence solver time
        - %ed = Eqsat equivalence encoding time
        """
        format_str = format_str.replace("%F", str(self.filename))
        format_str = format_str.replace("%S", str(self.total_scq_size))
        format_str = format_str.replace("%se", str(self.smt_encoding_time))
        format_str = format_str.replace("%st", str(self.smt_solver_time))
        format_str = format_str.replace("%sr", self.smt_solver_result)
        format_str = format_str.replace("%sn", str(self.smt_num_calls))
        format_str = format_str.replace("%ee", str(self.eqsat_encoding_time))
        format_str = format_str.replace("%et", str(self.eqsat_solver_time))
        format_str = format_str.replace("%eq", self.eqsat_equiv_result)
        format_str = format_str.replace("%es", str(self.eqsat_equiv_encoding_time))
        format_str = format_str.replace("%ed", str(self.eqsat_equiv_solver_time))
        print(format_str)