Skip to content
Snippets Groups Projects
Select Git revision
  • 3852de8294e6e9669ad760269f2fd9e9bb30abac
  • master default protected
  • home-exam
  • lab-cargo_klee_examples
  • lab-get_sign.c
  • lab-get_sign.rs
  • v1.0
7 results

get_sign.c

Blame
  • Forked from Per Lindgren / klee_tutorial
    Source project has a limited visibility.
    script.sh 155 B
    set -ex
    
    main() {
        cross build --target $TARGET
    
        if [ $TARGET = x86_64-unknown-linux-gnu ]; then
            cross test --target $TARGET
        fi
    }
    
    main