Skip to content
Snippets Groups Projects
Select Git revision
  • 519a1dc746a116ba8fed05d1999c4802db2ab5ea
  • master default protected
  • v5
  • stable
4 results

peripheral.rs

  • Nils Fitinghoff's avatar
    519a1dc7
    improve abort identification in KLEE output · 519a1dc7
    Nils Fitinghoff authored
    KLEE reports the line that called `ll::abort()`. The previous
    solution called a safe `abort()` which in turn called `ll::abort`. This
    meant that every abort was reported as originating in this library.
    
    This replaces the safe `abort()` function with a macro `kabort!()`. The
    behavior differs in that `kabort!()` expands to nothing when not in KLEE
    mode, while `abort()` expanded to a panic.
    
    The macro causes the call to `ll::abort()` to happen directly from user
    code from KLEE's point of view.
    519a1dc7
    History
    improve abort identification in KLEE output
    Nils Fitinghoff authored
    KLEE reports the line that called `ll::abort()`. The previous
    solution called a safe `abort()` which in turn called `ll::abort`. This
    meant that every abort was reported as originating in this library.
    
    This replaces the safe `abort()` function with a macro `kabort!()`. The
    behavior differs in that `kabort!()` expands to nothing when not in KLEE
    mode, while `abort()` expanded to a panic.
    
    The macro causes the call to `ll::abort()` to happen directly from user
    code from KLEE's point of view.