diff options
| author | Patrick Simianer <p@simianer.de> | 2014-06-12 13:56:42 +0200 |
|---|---|---|
| committer | Patrick Simianer <p@simianer.de> | 2014-06-12 13:56:42 +0200 |
| commit | a39aa79b18347e22ef36ebc0da5a7eb220bcb23f (patch) | |
| tree | 2c0f3009f8e381002bfeb82c0ea3bd0c41125761 /tests/tools | |
| parent | 62bd9a4bdcea606d6ff2031fa4b207ef20caac31 (diff) | |
| parent | 0e2f8d3d049f06afb08b4639c6a28aa5461cdc78 (diff) | |
Merge remote-tracking branch 'upstream/master'
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"; } |