Update dependencies

Author: phadej

.eslintrc

@@ -3,7 +3,7 @@
     "node": true
   },
   "rules": {
-    "no-comma-dangle": 0,
+    "comma-dangle": 0,
     "no-use-before-define": 0,
     "no-constant-condition": 0,
     "no-new-object": 0

package.json

@@ -33,11 +33,11 @@
   },
   "devDependencies": {
     "david": "^6.1.4",
-    "eslint": "^0.15.0",
+    "eslint": "^0.17.1",
     "istanbul": "~0.3.0",
     "jscs": "^1.11.3",
     "jshint": "^2.6.0",
-    "jsverify": "^0.5.1",
+    "jsverify": "^0.6.0-alpha.1",
     "mocha": "^2.1.0",
     "uglify-js": "~2.4.13",
     "underscore": "^1.8.2"

test/tests.js

@@ -233,21 +233,22 @@ describe("parse() with opts { warnings: true } ", function () {
 
     it("terminates always", function () {
       var token = {
-        generator: function (size) {
-          size = jsc.random(0, 8);
-          switch (size) {
+        generator: jsc.generator.bless(function (size) {
+          switch (jsc.random(0, 8)) {
             case 0: return "[";
             case 1: return "]";
             case 2: return "{";
             case 3: return "}";
             case 4: return ",";
             case 5: return ":";
-            case 6: return "\"" + jsc.string().generator(size).replace(/["\\]/g, "") + "\"";
-            case 7: return jsc.integer().generator(size);
+            case 6: return "\"" + jsc.string.generator(size).replace(/["\\]/g, "") + "\"";
+            case 7: return jsc.integer.generator(size);
             case 8: return jsc.elements([null, true, false]).generator();
           }
-        },
-        shrink: function () { return []; },
+        }),
+        shrink: jsc.shrink.noop,
+        show: jsc.show.def,
+        smap: jsc.nat.smap
       };
 
       var property = jsc.forall(jsc.array(token), function (l) {