Separated tested functions into a separate crate with modules

.gitignore

 **/*.rs.bk
 .#*
-target
+target
\ No newline at end of file
+*.swp
+tags

.gitlab-ci.yml

+#.cargo_test_template: &cargo_test
+  #stage: test
+  #script:
+    #- ./run-cargo.sh
+    #- ls -lR
+    #- ./klee.sh
+
+#nightly:cargo:
+  #image: afoht/llvm4-klee-rust
+  #<<: *cargo_test
+
+stages:
+  - deploy
+  #- test
+
+# Setup the rust environment
+#before_script:
+    #- pacman -Sy tree
+    #- apt-get update -yqq
+    #- apt-get install -yqq --no-install-recommends build-essential
+    ## Must be outside the project folder
+    #- cd /
+    #- cargo install cargo
+    ## Return
+    #- cd -
+    ##- rustup toolchain remove nightly
+    ##- rustup toolchain install nightly
+    #- rustup default nightly
+    #- rustup target add arm-unknown-linux-gnueabihf
+    #- rustup target add arm-unknown-linux-gnueabi
+    #- rustup target add armv7-unknown-linux-gnueabihf
+    #- rustup component add rust-src
+    #- rustup update
+
+
+# Generate documentation
+pages:
+  image: rustdocker/rust:nightly
+  stage: deploy
+  only:
+    - master
+  script:
+    - rm -rf public
+    - mkdir public
+    - cd cargo-klee
+    - cargo doc --no-deps
+    # The content inside the target doc folder, but index even deeper down
+    - cp -R target/doc/* ../public
+  artifacts:
+    paths:
+    - public

klee-examples/Cargo.toml

@@ -5,6 +5,7 @@ authors = ["Jorge Aparicio <jorge@japaric.io>"]
 
 [dependencies]
 klee = {path="../klee"}
+testfunction = {path="../testfunction"}
 
 [profile.release]
-debug = true
+debug = true
\ No newline at end of file

klee-examples/examples/foos.rs

+#![no_std]
+
+#[macro_use]
+extern crate klee;
+
+extern crate testfunction;
+
+use core::ptr;
+use testfunction::m1::*;
+use testfunction::m2::*;
+
+fn main() {
+    let u = ksymbol!("u");
+
+    unsafe {
+        ptr::read_volatile(&f2(f1(u)));
+    }
+}
+
+// add 1 wrapping
+//mod m1;
+//mod m2;
+
+//use m1::*;
+//use m2::*;

testfunction/Cargo.toml

+[package]
+name = "testfunction"
+version = "0.1.0"
+authors = ["Henrik Tjäder <henrik@tjaders.com>"]
+
+[dependencies]

testfunction/src/lib.rs

+#![no_std]
+
+pub mod m1;
+pub mod m2;
+
+use m1::*;
+use m2::*;

testfunction/src/m1.rs

+pub fn f1(u: u8) -> u8 {
+    u.wrapping_add(1)
+}

testfunction/src/m2.rs

+pub fn f2(u: u8) -> u8 {
+    100 / u
+}