Add "name" argument to klee_make_symbolic, and kill off klee_make_symbolic_name.

 - For compatibility we still accept 2 argument form of klee_make_symbolic, but
   this will go away eventually.


git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72265 91177308-0d34-0410-b5e6-96231b3b80d8

2 files changed, 2 insertions, 2 deletions

diff --git a/examples/regexp/Regexp.c b/examples/regexp/Regexp.c
index f3e751f9..a48ea928 100644
--- a/examples/regexp/Regexp.c
+++ b/examples/regexp/Regexp.c
@@ -53,7 +53,7 @@ int main() {
   char re[SIZE];
   
   // Make the input symbolic. 
-  klee_make_symbolic_name(re, sizeof re, "re");
+  klee_make_symbolic(re, sizeof re, "re");
 
   // Try to match against a constant string "hello".
   match(re, "hello");
diff --git a/examples/sort/sort.c b/examples/sort/sort.c
index a1629c6b..62e4124e 100644
--- a/examples/sort/sort.c
+++ b/examples/sort/sort.c
@@ -71,7 +71,7 @@ void test(int *array, unsigned nelem) {
 int main() {
   int input[4] = { 4, 3, 2, 1};
 
-  klee_make_symbolic(&input, sizeof(input));
+  klee_make_symbolic(&input, sizeof(input), "input");
   test(input, 4);
 
   return 0;