Merge pull request #320 from ethereum/smtchecker-empty-smtlib2queries

Smtchecker empty smtlib2queries

Author: chriseth

smtchecker.js

@@ -41,7 +41,7 @@ function handleSMTQueries (inputJSON, outputJSON) {
   }
 
   var queries = auxInputReq.smtlib2queries;
-  if (!queries || Object.keys(queries) === 0) {
+  if (!queries || Object.keys(queries).length === 0) {
     return null;
   }
 

test/smtchecker.js

@@ -15,4 +15,11 @@ tape('SMTChecker', function (t) {
     st.equal(smtchecker.handleSMTQueries(input, output), null);
     st.end();
   });
+
+  t.test('smoke test with empty smtlib2queries', function (st) {
+    var input = {};
+    var output = { auxiliaryInputRequested: { smtlib2queries: { } } };
+    st.equal(smtchecker.handleSMTQueries(input, output), null);
+    st.end();
+  });
 });