Merge pull request #700 from ifilippov/alloy

Correction of checking tools in testing environment
2013-12-26 05:02:01 -08:00
parent 6c7e7325ec e34f0cc250
commit 904a575f93
1 changed files with 3 additions and 0 deletions
--- a/common.py
+++ b/common.py
@@ -121,4 +121,7 @@ def check_tools(m):
                        if int(t11[j])<input_tools[t][0][j]:
                            error(input_tools[t][2], m)
                            ret = 0
+                            break
+                        if int(t11[j])>input_tools[t][0][j]:
+                            break
    return ret