[Test determinator] Minor fixes

Reviewed By: ddino

Differential Revision: D8124094

fbshipit-source-id: fb228cc

infer/src/integration/testDeterminator.ml

@@ -57,9 +57,12 @@ module MethodRangeMap = struct
               in
               let range = (start_location, end_location) in
               let classname, methodname = split_class_method_name decl.method_name in
-              let signature = match decl.signature with Some s -> s | _ -> "" in
-              let key = JavaProfilerSamples.create ~classname ~methodname ~signature in
-              RangeMap.add key range acc )
+              match decl.signature with
+              | Some signature ->
+                  let key = JavaProfilerSamples.create ~classname ~methodname ~signature in
+                  RangeMap.add key range acc
+              | None ->
+                  acc )
         in
         map := map'
     | _ ->

infer/src/java/JavaProfilerSamples.ml

@@ -231,7 +231,7 @@ module JNI = struct
     | [Method m] ->
         m
     | _ ->
-        L.(die UserError "The input provided did not parse as one JNI method signature")
+        L.(die UserError "'%s' did not parse as one JNI method signature" str)
 
 
   module VISIBLE_FOR_TESTING_DO_NOT_USE_DIRECTLY = struct