Move nondet{cpp,h} to util

Make nondet.{h,cpp} generally available for CBMC.

Author: Matthias Güdemann

jbmc/src/java_bytecode/Makefile

@@ -36,7 +36,6 @@ SRC = bytecode_info.cpp \
       java_utils.cpp \
       load_method_by_regex.cpp \
       mz_zip_archive.cpp \
-      nondet.cpp \
       remove_exceptions.cpp \
       remove_instanceof.cpp \
       remove_java_new.cpp \

jbmc/src/java_bytecode/java_entry_point.cpp

@@ -22,8 +22,8 @@ Author: Daniel Kroening, [email protected]
 #include "java_object_factory.h"
 #include "java_string_literals.h"
 #include "java_utils.h"
-#include "nondet.h"
 #include <util/fresh_symbol.h>
+#include <util/nondet.h>
 
 #define JAVA_MAIN_METHOD "main:([Ljava/lang/String;)V"
 

src/util/Makefile

@@ -45,6 +45,7 @@ SRC = arith_tools.cpp \
       message.cpp \
       mp_arith.cpp \
       namespace.cpp \
+      nondet.cpp \
       options.cpp \
       parse_options.cpp \
       parser.cpp \