From 6eb57ddfb5aaa1ec2d7d2a695f8555649e33aa4b Mon Sep 17 00:00:00 2001 From: Peter Collingbourne Date: Fri, 22 Oct 2010 18:21:33 +0000 Subject: Use %llvmgxx to compile a .cpp file git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@117118 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/Feature/CallToUndefinedExternal.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test') diff --git a/test/Feature/CallToUndefinedExternal.cpp b/test/Feature/CallToUndefinedExternal.cpp index 2f11f29d..84b5a3b4 100644 --- a/test/Feature/CallToUndefinedExternal.cpp +++ b/test/Feature/CallToUndefinedExternal.cpp @@ -1,4 +1,4 @@ -// RUN: %llvmgcc %s -emit-llvm -g -c -o %t1.bc +// RUN: %llvmgxx %s -emit-llvm -g -c -o %t1.bc // RUN: %klee %t1.bc // RUN: test -f klee-last/test000001.external.err -- cgit 1.4.1