From 48ce6b94f4fe5131242ba87485cd79e081a991ed Mon Sep 17 00:00:00 2001 From: Dan Liew Date: Mon, 13 Jan 2014 18:04:52 +0000 Subject: Only run SELinux test if support for SELinux was detected at configure time. --- test/Runtime/POSIX/SELinux.c | 30 ------------------------------ 1 file changed, 30 deletions(-) delete mode 100644 test/Runtime/POSIX/SELinux.c (limited to 'test/Runtime/POSIX/SELinux.c') diff --git a/test/Runtime/POSIX/SELinux.c b/test/Runtime/POSIX/SELinux.c deleted file mode 100644 index 65dd1a7f..00000000 --- a/test/Runtime/POSIX/SELinux.c +++ /dev/null @@ -1,30 +0,0 @@ -/* Very basic test, as right now SELinux support is extremely basic */ -// RUN: %llvmgcc %s -emit-llvm -O0 -c -o %t1.bc -// RUN: %klee --posix-runtime --exit-on-error %t1.bc --sym-arg 2 > %t.log -// XFAIL: no-selinux - -#include -#include -#include - -int main(int argc, char** argv) { - - security_context_t con; - - assert(argc == 2); - - int selinux = is_selinux_enabled(); - printf("selinux enabled = %d\n", selinux); - - if (setfscreatecon(argv[1]) < 0) - printf("Error: set\n"); - else printf("Success: set\n"); - - if (getfscreatecon(&con) < 0) - printf("Error: get\n"); - else printf("Success: get\n"); - - printf("create_con = %s\n", con); - - return 0; -} -- cgit 1.4.1