From 570b76b8806b78c70db510ab15e324167b271124 Mon Sep 17 00:00:00 2001
From: Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de>
Date: Tue, 4 Oct 2016 16:13:34 +0200
Subject: [PATCH] ipet/gcfg: record number of transitions
---
lib/analysis/ipet.rb | 1 +
lib/ext/gurobi.rb | 2 +-
2 files changed, 2 insertions(+), 1 deletion(-)
diff --git a/lib/analysis/ipet.rb b/lib/analysis/ipet.rb
index e97ea3b..040522e 100644
--- a/lib/analysis/ipet.rb
+++ b/lib/analysis/ipet.rb
@@ -1127,6 +1127,7 @@ class IPETBuilder
statistics("WCA",
"gcfg nodes" => gcfg.nodes.length,
+ "gcfg transitions" => gcfg.nodes.inject(0) {|acc, n| acc + n.successors.length},
"abbs toplevel" => toplevel_abb_count,
"abbs microstructure" => abb_to_nodes.length - toplevel_abb_count
) if @options.stats
diff --git a/lib/ext/gurobi.rb b/lib/ext/gurobi.rb
index 7bb47f3..46078d0 100644
--- a/lib/ext/gurobi.rb
+++ b/lib/ext/gurobi.rb
@@ -149,7 +149,7 @@ class GurobiILP < ILP
backlock_idx = 0
while line = out.gets do
lines.push(line)
- if lines.length > 40
+ if lines.length > 40 or @options.verbose
while backlock_idx < lines.length do
puts(lines[backlock_idx])
backlock_idx += 1
--
GitLab