Fix typos

quarkslab · May 13, 2024 · 9766bd5 · 9766bd5
1 parent 4eb149f
commit 9766bd5
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/tritondse/coverage.py b/tritondse/coverage.py
@@ -59,7 +59,7 @@ class BranchSolvingStrategy(IntFlag):
     FIRST_LAST_NOT_COVERED = auto()  # doc: check by SMT the first and last occurrence of a given branch
     UNSAT_ONCE = auto()              # doc: if a branch is UNSAT do not try solving it again
     TIMEOUT_ONCE = auto()            # doc: if a branch is TIMEOUT do not try solving it again
-    TIMEOUT_ALWAYS = auto()          # doc: always try solving again a TIMEOUT branch (incompatible with :py:enum:mem:`TIMEOUT_ONCE`
+    TIMEOUT_ALWAYS = auto()          # doc: always try solving again a TIMEOUT branch (incompatible with :py:enum:mem:`TIMEOUT_ONCE`)
     COVER_SYM_DYNJUMP = auto()       # doc: try covering dynamic jumps on a symbolic register or memory value
     COVER_SYM_READ = auto()          # doc: try enumerating values for symbolic reads
     COVER_SYM_WRITE = auto()         # doc: try enumerating values for symbolic writes

diff --git a/tritondse/types.py b/tritondse/types.py
@@ -49,7 +49,7 @@
 """ Symbolic Expression as returned by Triton (`SymbolicExpression <https://triton.quarkslab.com/documentation/doxygen/py_SymbolicExpression_page.html>`_) """
 
 SymbolicVariable = TypeVar('SymbolicVariable')
-""" Symbolic Variable as returned by Triton (`SymbolicExpression <https://triton.quarkslab.com/documentation/doxygen/py_SymbolicVariable_page.html>`_) """
+""" Symbolic Variable as returned by Triton (`SymbolicVariable <https://triton.quarkslab.com/documentation/doxygen/py_SymbolicVariable_page.html>`_) """
 
 Edge = Tuple[Addr, Addr]
 """ Type representing a edge in the program """