diff options
author | Chris Dyer <redpony@gmail.com> | 2014-04-07 22:56:34 -0400 |
---|---|---|
committer | Chris Dyer <redpony@gmail.com> | 2014-04-07 22:56:34 -0400 |
commit | b9e6e7e24cc48021090b689e143288e2b7f2b5fc (patch) | |
tree | 273794b9723dd132518fddd0b99ffec6a015c2ce /tests/tools | |
parent | 6051462ad3f161ab129b5a2fb3a9cacd35201a3b (diff) |
track node state for smarter union
Diffstat (limited to 'tests/tools')
-rwxr-xr-x | tests/tools/filter-stderr.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tests/tools/filter-stderr.pl b/tests/tools/filter-stderr.pl index 4a762324..54fe9210 100755 --- a/tests/tools/filter-stderr.pl +++ b/tests/tools/filter-stderr.pl @@ -13,6 +13,7 @@ if (/Init.*\s+Viterbi:\s+($REAL)/) { # -LM Viterbi: australia is have diplomatic relations with north korea one of the few countries . print "-lm_trans $1\n"; } +if (/NODES NOT UNIQUELY IDENTIFIED/) { print "NODES_NOT_UNIQUE 1\n"; } #Constr. forest (nodes/edges): 111/305 #Constr. forest (paths): 9899 if (/Constr\. forest\s+\(nodes\/edges\): (\d+)\/(\d+)/) { print "constr_nodes $1\nconstr_edges $2\n"; } |