Add Brief Statistics From Deductions

fundamental · May 2, 2015 · 9a81ebe · 9a81ebe
1 parent f92aa08
commit 9a81ebe
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 0 deletions.
diff --git a/lib/deductions.rb b/lib/deductions.rb
@@ -154,4 +154,16 @@ def self.setup(callgraph)
         end
         d
     end
+
+    def self.print_stats(deductions)
+        realtime         = 0
+        nonrealtime      = 0
+        deductions.each do |d|
+            realtime    += 1 if d.realtime_p
+            nonrealtime += 1 if d.non_realtime_p
+        end
+        puts "Total Functions:   #{deductions.length}"
+        puts "Total Realtime:    #{realtime}"
+        puts "Total NonRealtime: #{nonrealtime}"
+    end
 end
diff --git a/stoat b/stoat
@@ -300,6 +300,7 @@ end
 deductions = Deductions::setup(callgraph)
 Deductions::deduce_safe(deductions, callgraph)
 error_count = Deductions::dump_errors(deductions, callgraph)
+Deductions::print_stats deductions
 
 ################################################################################
 #                               Save Graph                                     #