dubzzz / jsverify-commands / 90

Builds Branch Commit Type Ran Committer Via Coverage
90 master Update README.md push web-flow travis-ci pending completion   set done
89 master add units for assertForall push dubzzz travis-ci pending completion   set done
88 master add tests for forall push dubzzz travis-ci pending completion   set done
87 master add tests for metrics::prettyPrint push dubzzz travis-ci pending completion   set done
86 master Update README.md push web-flow travis-ci pending completion   set done
85 master add test on metrics to check it counts well push dubzzz travis-ci pending completion   set done
84 add_metrics fix typo push dubzzz travis-ci pending completion   set done
83 add_metrics print metrics even in case of failure push dubzzz travis-ci pending completion   set done
82 add_metrics add jscCommands.assertForall push dubzzz travis-ci pending completion   set done
81 master fix imports in jscCommands push web-flow travis-ci pending completion   set done
80 add_metrics enhance metrics and better display push dubzzz travis-ci pending completion   set done
78 v0.1.4 0.1.4 push dubzzz travis-ci pending completion   set done
77 master 0.1.4 push dubzzz travis-ci pending completion   set done
76 master const and let all variables push dubzzz travis-ci pending completion   set done
75 master should be able to shrink on commands' parameters fixes #3 push dubzzz travis-ci pending completion   set done