blob: 56b02327f7a6775fcd84e3f847ca985cf42fb068 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
// REQUIRES: not-darwin
// RUN: %llvmgcc %s -Wall -emit-llvm -g -O0 -c -o %t.bc
// RUN: rm -rf %t.klee-out
// RUN: %klee --output-dir=%t.klee-out --libc=uclibc --posix-runtime --exit-on-error %t.bc
#define _GNU_SOURCE
#include <limits.h>
#include <stdlib.h>
#include <unistd.h>
int main(int argc, char * argv[]) {
char cwd[PATH_MAX] = {0};
if (!getcwd(cwd, PATH_MAX)) exit(EXIT_FAILURE);
if (!canonicalize_file_name(cwd)) exit(EXIT_FAILURE);
}
|
