diff options
Diffstat (limited to 'tests/system_tests/unsup-align/gold.statistics')
| -rw-r--r-- | tests/system_tests/unsup-align/gold.statistics | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/system_tests/unsup-align/gold.statistics b/tests/system_tests/unsup-align/gold.statistics index 2f37c2db..975c9d4e 100644 --- a/tests/system_tests/unsup-align/gold.statistics +++ b/tests/system_tests/unsup-align/gold.statistics @@ -90,7 +90,7 @@ constr_paths 4 +lm_nodes 7 +lm_edges 14 +lm_paths 16 -+lm_trans end thet ++lm_trans thet thet constr_nodes 7 constr_edges 10 constr_paths 4 |