Skip to content
Snippets Groups Projects
Commit 299c6d75 authored by Per's avatar Per
Browse files

README

parent fa061753
Branches
Tags
No related merge requests found
Show whitespace changes
Inline Side-by-side
Showing
with 3 additions and 2 deletions
README.md
+ 3
− 2
View file @ 299c6d75
...@@ -80,14 +80,15 @@ In this case it is the Rust built in division by zero detection that causes a `p ...@@ -80,14 +80,15 @@ In this case it is the Rust built in division by zero detection that causes a `p
The error found is at line 24. The error found is at line 24.
``` rust ``` rust
#![no_std] #![no_std]
#![no_main]
#[macro_use] #[macro_use]
extern crate klee; extern crate klee;
use core::ptr; use core::ptr;
#[no_mangle]
fn main() { fn main() {
let u = ksymbol!("u"); let u = ksymbol!("u");
...@@ -102,6 +103,6 @@ fn f1(u: u8) -> u8 { ...@@ -102,6 +103,6 @@ fn f1(u: u8) -> u8 {
} }
fn f2(u: u8) -> u8 { fn f2(u: u8) -> u8 {
100 / u // <- error found here is a Rust div 0 panic! . 100 / u // <- Rust div 0 panic!
} }
``` ```
\ No newline at end of file
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment