From c8275a34cffb895984d6bdea80e9c6ff9079f769 Mon Sep 17 00:00:00 2001 From: Per <Per Lindgren> Date: Wed, 1 Jan 2020 19:59:31 +0100 Subject: [PATCH] make klee_panic private --- src/lib.rs | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/src/lib.rs b/src/lib.rs index 401d045..9be2219 100644 --- a/src/lib.rs +++ b/src/lib.rs @@ -9,7 +9,7 @@ pub use cstr_core::CStr; pub mod ll; #[inline(always)] -pub fn klee_abort() -> ! { +fn klee_abort() -> ! { unsafe { ll::abort() }; } @@ -31,6 +31,7 @@ pub fn klee_make_symbolic<T>(t: &mut T, name: &'static CStr) { } } +/// terminates path (and generates unique test) #[macro_export] macro_rules! klee_abort { () => { @@ -38,6 +39,7 @@ macro_rules! klee_abort { }; } +/// conditionally terminates path (and generates unique test) #[macro_export] macro_rules! klee_assert { ($e:expr) => {{ @@ -47,6 +49,7 @@ macro_rules! klee_assert { }}; } +/// condititonally terminates path (and generates unique test) #[macro_export] macro_rules! klee_assert_eq { ($e1:expr, $e2:expr ) => {{ @@ -56,6 +59,7 @@ macro_rules! klee_assert_eq { }}; } +/// makes mutable reference symbolic associated to static string #[macro_export] macro_rules! klee_make_symbolic { (&mut $id:expr, $name:expr) => { -- GitLab