Merge pull request #1295 from reuk/reuk/notModelled

thk123 · web-flow · commit e9e413e7db96 · 2017-08-25T11:23:17.000+01:00
Suppress loading notModelled method from CProver library
diff --git a/src/java_bytecode/java_bytecode_convert_method.cpp b/src/java_bytecode/java_bytecode_convert_method.cpp
@@ -2776,6 +2776,7 @@ void java_bytecode_convert_method(
     "nondetDouble",
     "nondetWithNull",
     "nondetWithoutNull",
+    "notModelled",
   };
 
   if(std::regex_match(
