jsverify - npm Package Compare versions

Comparing version 0.4.0-alpha2 to 0.4.0-alpha3

lib/finitemap.js

@@ -21,3 +21,3 @@ "use strict";
 
-FMap.prototype.contains = function FMap_contains(key) {
+FMap.prototype.contains = function FMapContains(key) {
   for (var i = 0; i < this.data.length; i++) {
@@ -32,3 +32,3 @@ if (this.eq(this.data[i][0], key)) {
 
-FMap.prototype.insert = function FMap_insert(key, value) {
+FMap.prototype.insert = function FMapInsert(key, value) {
   for (var i = 0; i < this.data.length; i++) {
@@ -44,3 +44,3 @@ if (this.eq(this.data[i][0], key)) {
 
-FMap.prototype.get = function FMap_get(key) {
+FMap.prototype.get = function FMapGet(key) {
   for (var i = 0; i < this.data.length; i++) {
@@ -47,0 +47,0 @@ if (this.eq(this.data[i][0], key)) {

lib/jsverify.js

@@ -134,15 +134,15 @@ /**
 var environment = {
-    nat: primitive.nat,
-    integer: primitive.integer,
-    number : primitive.number,
-    bool: primitive.bool,
-    string: primitive.string,
-    value: primitive.value,
-    oneof: primitive.oneof,
-    pair: composite.pair,
-    array: composite.array,
-    map: composite.map,
-    fn: fn.fn,
-    fun: fn.fn,
-    nonshrink: combinator.nonshrink,
+  nat: primitive.nat,
+  integer: primitive.integer,
+  number : primitive.number,
+  bool: primitive.bool,
+  string: primitive.string,
+  value: primitive.value,
+  oneof: primitive.oneof,
+  pair: composite.pair,
+  array: composite.array,
+  map: composite.map,
+  fn: fn.fn,
+  fun: fn.fn,
+  nonshrink: combinator.nonshrink,
 };
@@ -172,9 +172,9 @@
 
-    return functor.bind(property, x, function(r, exc) {
+    return functor.bind(property, x, function (r, exc) {
       if (r === true) { return true; }
       if (typeof r === "function") {
-        var r_rec = r(size);
+        var rRec = r(size);
 
-        return functor.map(r_rec, function (r_recPrime) {
-          if (r_recPrime === true) {
+        return functor.map(rRec, function (rRecPrime) {
+          if (rRecPrime === true) {
             return true;
@@ -184,6 +184,6 @@ } else {
               return {
-                counterexample: r.counterexample.concat(r_recPrime.counterexample),
-                counterexamplestr: r.counterexamplestr ,//+ "; " + r_rec.counterexamplestr,
+                counterexample: r.counterexample.concat(rRecPrime.counterexample),
+                counterexamplestr: r.counterexamplestr ,//+ "; " + rRec.counterexamplestr,
                 shrinks: r.shrinks,
-                exc: r.exc || r_recPrime.exc,
+                exc: r.exc || rRecPrime.exc,
               };
@@ -190,0 +190,0 @@ });

lib/primitive.js

@@ -33,3 +33,3 @@ "use strict";
         // TODO: redo
-        return [0, -i+1, i-1];
+        return [0, -i + 1, i - 1];
       }
@@ -114,3 +114,3 @@ },
     arbitrary: function (size) {
-      var i = random(0, args.length-1);
+      var i = random(0, args.length - 1);
       return args[i];
@@ -117,0 +117,0 @@ },

lib/typify.js

@@ -24,3 +24,4 @@ "use strict";
 // Forward declarations
-var compileType, compileTypeArray;
+var compileType;
+var compileTypeArray;
 
@@ -27,0 +28,0 @@ function compileIdent(env, type) {

lib/utils.js

@@ -8,3 +8,2 @@ "use strict";
 
-
 /**
@@ -11,0 +10,0 @@ #### isEqual (a b : value) : bool

package.json

 {
   "name": "jsverify",
   "description": "Property-based testing for JavaScript.",
-  "version": "0.4.0-alpha2",
+  "version": "0.4.0-alpha3",
   "homepage": "https://github.com/phadej/jsverify",
@@ -32,18 +32,20 @@ "author": {
   "devDependencies": {
+    "browserify": "~6.0.2",
     "esprima": "~1.2.2",
-    "underscore": "~1.7.0",
-    "lodash": "~2.4.1",
-    "q": "~2.0.2",
-    "when": "~3.4.0",
-    "browserify": "~5.12.1",
+    "istanbul": "~0.3.0",
+    "jscs": "^1.6.2",
+    "jshint": "~2.5.1",
+    "karma": "~0.12.1",
     "karma-chrome-launcher": "~0.1.2",
+    "karma-cli": "0.0.4",
     "karma-firefox-launcher": "~0.1.3",
+    "karma-jasmine": "~0.2.2",
+    "karma-mocha": "~0.1.3",
+    "ljs": "~0.2.3",
+    "lodash": "~2.4.1",
     "mocha": "~1.21.4",
-    "karma-mocha": "~0.1.3",
-    "karma-jasmine": "~0.2.2",
-    "karma": "~0.12.1",
-    "karma-cli": "0.0.4",
-    "jshint": "~2.5.1",
-    "istanbul": "~0.3.0",
-    "ljs": "~0.2.3"
+    "npm-freeze": "^0.1.2",
+    "q": "~2.0.2",
+    "underscore": "~1.7.0",
+    "when": "~3.5.0"
   },
@@ -60,2 +62,3 @@ "keywords": [
   "dependencies": {
+    "david": "^5.0.0",
     "rc4": "~0.1.2",
@@ -62,0 +65,0 @@ "typify-parser": "0.0.1"

README.md

@@ -259,2 +259,3 @@ # JSVerify
 
+- 0.4.0-alpha3 David, npm-freeze and jscs
 - 0.4.0-alpha2 Fix typo in readme
@@ -266,2 +267,3 @@ - 0.4.0-alpha1 typify
        ```
+
    - generator arguments, which are functions are evaluated. One can now write:
@@ -271,2 +273,3 @@ ```js
        ```
+
 - 0.3.6 map generator
@@ -273,0 +276,0 @@ - 0.3.5 Fix forgotten rngState in console output

New alerts

Major refactor

Supply chain risk

Package has recently undergone a major refactor. It may be unstable or indicate significant internal changes. Use caution when updating to versions that include significant changes.

Found 1 instance in 1 package

Improved metrics

Total package byte prevSize

96959

increased by148.88%

Number of package files

20

increased by11.11%

Lines of code

3030

increased by220.97%

Number of lines in readme file

335

increased by0.9%

Worsened metrics

Dependency count

3

increased by50%

Dev dependency count

18

increased by12.5%

Number of medium supply chain risk alerts

1

increased byInfinity%

Dependency changes

• + Addeddavid@^5.0.0

• + Addedasync@0.9.2(transitive)

• + Addeddavid@5.0.0(transitive)

• + Addedminimist@0.0.10(transitive)

• + Addednpm@2.15.12(transitive)

• + Addedoptimist@0.6.1(transitive)

• + Addedsemver@4.3.6(transitive)

• + Addedwordwrap@0.0.3(transitive)