We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent f9669cb commit 0f13c23Copy full SHA for 0f13c23
test/rpc-server/runTests.py
@@ -104,6 +104,7 @@ def checkGolden (resp, resp_golden_path):
104
exit(1)
105
106
def checkGoldenGetModel(resp, resp_golden_path):
107
+ '''Almost exactly like checkGolden, but only compares the result->satisfiable field of the reponses'''
108
if os.path.exists(resp_golden_path):
109
debug("Checking against golden file...")
110
with open(resp_golden_path, 'rb') as resp_golden_raw:
0 commit comments