Add uncached-throw-inner test

test/clojure/test_clojure/storm_bodies.clj

@@ -22,6 +22,19 @@
             [:fn-unwind "Dang" ""]]           
            (u/capture)) "captured traces should match.")))
 
+(deftest uncached-throw-inner-test
+  (let [r (try
+            (b/uncached-throw-inner)
+            (catch Exception e :throwed))]
+    (is (= :throwed r) "function should have throwed")
+    (is (= [[:fn-call "clojure.test-clojure.storm-test-code.bodies" "uncached-throw-inner" [] -1606443558]
+            [:bind "f" "#object[...]" "3"]
+            [:expr-exec "#object[...]" "3,2,0"]
+            [:fn-call "clojure.test-clojure.storm-test-code.bodies" "uncached-throw-inner/inner--GEN-ID" [] -1606443558]
+            [:fn-unwind "Dang" "3,1,1"]
+            [:fn-unwind "Dang" ""]]           
+           (u/capture)) "captured traces should match.")))
+
 (deftest letfn-test
   (let [r (b/letfn-fn)]
     (is (= 5 r) "function return should be right.")

test/clojure/test_clojure/storm_test_code/bodies.clj

@@ -10,6 +10,11 @@
 (defn uncached-throw []
   (throw (Exception. "Dang")))
 
+(defn uncached-throw-inner []
+  (let [f (fn inner []
+            (throw (Exception. "Dang")))]
+    (f)))
+
 (defn letfn-fn []
   (letfn [(square [x]
             (* x x))]