Added new method to the CProver API, getCurrentThreadID()

Author: Degiorgio

src/main/java/org/cprover/CProver.java

@@ -208,6 +208,19 @@ public static void endThread(int id)
     }
   }
 
+  /**
+   * This method is used by JBMC to return the ID of the executing thread.
+   */
+  public static int getCurrentThreadID()
+  {
+    if(enableConcurrency)
+    {
+      throw new RuntimeException(
+          "Cannot execute program with CProver.getCurrentThreadID()");
+    }
+    return 0;
+  }
+
   /**
    * This method is used by jbmc to indicate an atomic section which enforces
    * the bmc equation to avoid interleavings of the code inside the section