jsverify/jsverify issues and pull requests

#303 - Fix JSCheck hyperlink

Pull Request - State: closed - Opened by elijahsullivan almost 4 years ago

#302 - Wrong counterexample is returned.

Issue - State: open - Opened by conartist6 almost 5 years ago

#301 - Reproduce stack safety problem

Pull Request - State: open - Opened by steinybot over 5 years ago

#300 - Fixed typo

Pull Request - State: closed - Opened by brollb over 5 years ago - 1 comment

#299 - JSVerify is looking for a new maintainer.

Issue - State: open - Opened by phadej almost 6 years ago - 15 comments

#298 - Question: how to best represent interdependent record members?

Issue - State: closed - Opened by hexpunk almost 6 years ago - 1 comment

#297 - Document that built-in shrinks may return lazy-seq vals

Issue - State: open - Opened by glebec almost 6 years ago

#296 - Why nat shrink doesn't start with 0, but int does?

Issue - State: open - Opened by glebec almost 6 years ago

#295 - Docs: `forall` prop function type?

Issue - State: open - Opened by glebec almost 6 years ago

#294 - Docs: minor typo in show functions for tuple, sum, array

Issue - State: open - Opened by glebec almost 6 years ago

#293 - How to implement a `subset` combinator?

Issue - State: open - Opened by tsuberim almost 6 years ago

#292 - Add type for jsc.throws

Pull Request - State: open - Opened by ethanresnick almost 6 years ago - 7 comments

#291 - Set lib options to lowercase in tsconfig.json

Pull Request - State: closed - Opened by hexpunk almost 6 years ago - 1 comment

#290 - Add Jest helper and support

Pull Request - State: open - Opened by adrianmcli almost 6 years ago - 5 comments

#289 - Add guidelines and support for usage with Jest

Issue - State: open - Opened by adrianmcli almost 6 years ago - 2 comments

#288 - shrink will cause stack overflow if it encounters Infinity

Issue - State: closed - Opened by hexpunk almost 6 years ago - 1 comment

#287 - [Question] Have fixed jsverifyRngState for snapshot tests

Issue - State: open - Opened by benbayard about 6 years ago - 3 comments

#286 - Unwrap for either/sum

Issue - State: open - Opened by wjmao88 about 6 years ago

#285 - fix readme to un-break build

Pull Request - State: closed - Opened by jjoekoullas about 6 years ago - 1 comment

#284 - Samplers can return U | U[]

Pull Request - State: open - Opened by jjoekoullas about 6 years ago

#283 - Fixed incomplete return type for check and checkForall

Pull Request - State: open - Opened by mlrv about 6 years ago - 6 comments

#282 - Update bless example to include generator bless

Pull Request - State: closed - Opened by jjoekoullas about 6 years ago

#281 - Suggestion for BDD style test helper

Issue - State: closed - Opened by hexpunk about 6 years ago - 9 comments

#280 - Fix typings for recursive

Pull Request - State: closed - Opened by lagunoff about 6 years ago

#279 - Add typing for letrec definition

Pull Request - State: closed - Opened by stefanobaghino-da about 6 years ago - 12 comments

#278 - Missing type definitions for jsc.letrec

Issue - State: closed - Opened by stefanobaghino-da about 6 years ago - 6 comments
Labels: pr welcome

#277 - Update 2018-10-31

Pull Request - State: closed - Opened by phadej about 6 years ago

#276 - how to write a state machine arbitrary

Issue - State: open - Opened by brucou over 6 years ago - 10 comments

#275 - Issue in assert while running tests for async functions

Issue - State: closed - Opened by pragyanatvade over 6 years ago - 1 comment

#274 - s/i.e. i.e./i.e./

Pull Request - State: closed - Opened by gfredericks over 6 years ago - 2 comments

#273 - Add some examples to documentation/readme

Pull Request - State: open - Opened by ExcaliburZero over 6 years ago - 2 comments

#272 - Usage when not using mocha or jasmine? For example tape?

Issue - State: open - Opened by ralphtheninja over 6 years ago - 2 comments
Labels: documentation, pr welcome

#271 - Optional properties in jsverify.record

Issue - State: open - Opened by sgronblo over 6 years ago - 4 comments

#270 - Fixed TypeScript bindings for either.

Pull Request - State: closed - Opened by SydneyUni-Jim over 6 years ago - 1 comment

#269 - double number generator throws error

Issue - State: open - Opened by thatsmesasha over 6 years ago

#268 - mocha cannot set rngState

Issue - State: open - Opened by thatsmesasha over 6 years ago - 5 comments
Labels: pr welcome

#267 - Travis node ver

Pull Request - State: closed - Opened by phadej over 6 years ago

#266 - ts typings: sampler, optional sampleSize

Pull Request - State: open - Opened by wngr over 6 years ago - 1 comment

#265 - specify timeout value in options

Issue - State: open - Opened by thatsmesasha over 6 years ago

#264 - Added overloads to typescript definitions of oneof.

Pull Request - State: closed - Opened by cameron-martin almost 7 years ago - 3 comments

#263 - Fixed CI.

Pull Request - State: closed - Opened by cameron-martin almost 7 years ago - 1 comment

#262 - Add .js extension

Pull Request - State: closed - Opened by lastmjs almost 7 years ago

#261 - Add explicit .js extension to arbitraryBless require

Issue - State: closed - Opened by lastmjs almost 7 years ago - 2 comments
Labels: pr welcome

#260 - Include assert as direct dependency in package.json

Issue - State: open - Opened by lastmjs almost 7 years ago - 11 comments

#259 - Non-repeating arbitrary number

Issue - State: open - Opened by lastmjs almost 7 years ago - 1 comment

#258 - Add and fix typescript types for `recursive`

Pull Request - State: closed - Opened by ollef almost 7 years ago - 2 comments

#257 - Added overloads to typescript definitions for jsc.tuple.

Pull Request - State: closed - Opened by cameron-martin almost 7 years ago - 1 comment

#256 - API inconsistencies

Issue - State: open - Opened by Risto-Stevcev about 7 years ago - 9 comments

#255 - Include `dist/` when `npm install`ing

Pull Request - State: closed - Opened by nucleartide about 7 years ago - 1 comment

#254 - Compose an arbitrary out of guaranteed and random values

Issue - State: closed - Opened by masaeedu about 7 years ago - 6 comments

#253 - Fixed TypeScript bindings for nonshrink

Pull Request - State: closed - Opened by ProofOfKeags about 7 years ago - 4 comments

#252 - How do I get the counterexample generated by `smap` in a failure message?

Issue - State: open - Opened by jergason about 7 years ago - 2 comments
Labels: question

#251 - grammar fix in `arbitrary.smap` documentation

Pull Request - State: closed - Opened by jergason about 7 years ago - 2 comments

#250 - small grammar tweak to README

Pull Request - State: closed - Opened by jergason about 7 years ago

#249 - Recursive arbitrary

Issue - State: open - Opened by lastmjs about 7 years ago - 16 comments
Labels: question, documentation, pr welcome

#248 - Fix little bug in function logsize

Pull Request - State: open - Opened by lagunoff about 7 years ago

#247 - Remove outdated Jasmine reference in readme

Pull Request - State: closed - Opened by xtianjohns about 7 years ago - 4 comments

#246 - `throws` additionaly accepts a regular expression as it's message argument.

Pull Request - State: open - Opened by critocrito over 7 years ago

#245 - Jasmine promise helper

Pull Request - State: closed - Opened by phadej over 7 years ago

#244 - Suchthat docs

Pull Request - State: closed - Opened by phadej over 7 years ago

#243 - Exclude certain values from a generator

Issue - State: closed - Opened by nicenemo over 7 years ago - 7 comments

#242 - jsverify.d.ts: type of jsc.either incorrect

Issue - State: closed - Opened by danr over 7 years ago - 3 comments
Labels: bug, pr welcome

#241 - Package on npmjs outdated

Issue - State: closed - Opened by danr over 7 years ago - 3 comments

#240 - ES Modules

Issue - State: open - Opened by lastmjs over 7 years ago - 6 comments
Labels: blocked

#239 - Fix typo in README.md

Pull Request - State: closed - Opened by xamfoo over 7 years ago - 3 comments

#238 - Resolve an arbitrary outside of `jsc.forall`

Issue - State: closed - Opened by lastmjs over 7 years ago - 3 comments

#237 - Make type of bless more precise in jsverify.d.ts

Pull Request - State: closed - Opened by danr over 7 years ago

#236 - Corrected typo in TS type definition

Pull Request - State: closed - Opened by piq9117 over 7 years ago - 6 comments

#235 - Support async tests in the Jasmine helper

Pull Request - State: closed - Opened by puffnfresh over 7 years ago - 1 comment

#234 - Better error reporting / logging with properties that failed

Issue - State: open - Opened by puneetar over 7 years ago - 7 comments
Labels: question, documentation, pr welcome

#233 - Typescript typings incorrect casing

Issue - State: open - Opened by jchapuis over 7 years ago - 1 comment
Labels: bug, easy

#232 - Missing type definitions for jsc.record

Issue - State: closed - Opened by jchapuis over 7 years ago - 4 comments

#231 - change every text or comment instance of shrinked to shrunk or shrunken, as appropriate

Pull Request - State: closed - Opened by StoneCypher over 7 years ago - 2 comments

#230 - Fix misleading warning about 'oneof'

Pull Request - State: closed - Opened by knuton over 7 years ago

#229 - Arbitrary that combines fixed string with arbitrary string

Issue - State: closed - Opened by lastmjs over 7 years ago - 4 comments

#228 - Arbitrary array of arbitrary arbitraries

Issue - State: closed - Opened by lastmjs over 7 years ago - 3 comments

#227 - Random arbitraries

Issue - State: open - Opened by rickmed over 7 years ago - 1 comment

#226 - Stack safety problem

Issue - State: open - Opened by alexandru over 7 years ago - 5 comments

#225 - updated package.json devDependency

Pull Request - State: closed - Opened by EsrefDurna over 7 years ago

#224 - TypeError: Cannot read property 'fold' of null

Issue - State: open - Opened by alexandru over 7 years ago

#223 - Disscusion: intergration with library for runtime type checking

Issue - State: open - Opened by typeetfunc over 7 years ago - 1 comment

#222 - suchthat fix typo

Pull Request - State: closed - Opened by erlangxk over 7 years ago - 1 comment

#221 - Allow to specify custom array growth function

Pull Request - State: open - Opened by jvanbruegge over 7 years ago - 5 comments

#219 - Fail suchthat generator when failing to create good value

Pull Request - State: closed - Opened by akiellor over 7 years ago

#218 - Shrinking of recursive arbitraries

Issue - State: closed - Opened by akiellor over 7 years ago

#217 - oneOf help

Issue - State: closed - Opened by edoloughlin almost 8 years ago - 4 comments

#214 - Fixed typescript type definitions for either and sum

Pull Request - State: closed - Opened by cameron-martin almost 8 years ago - 8 comments

#207 - Add test case that would fail before #204

Pull Request - State: closed - Opened by jvanbruegge almost 8 years ago - 2 comments

#205 - longer arrays

Issue - State: open - Opened by zkessin almost 8 years ago - 6 comments

#198 - help with complex generator

Issue - State: open - Opened by asafigan almost 8 years ago - 3 comments
Labels: question

#191 - Implication with jsverify

Issue - State: closed - Opened by swsnr over 8 years ago - 3 comments
Labels: enhancement, pr welcome, easy

#173 - add generator for `any` primitive value

Issue - State: open - Opened by safareli over 8 years ago - 3 comments

#169 - How to generate an array of a specific size?

Issue - State: open - Opened by nickknw over 8 years ago - 9 comments
Labels: question

#167 - Large arbitrary arrays/strings

Issue - State: open - Opened by samritchie almost 9 years ago - 2 comments

#166 - nearray will not shrink value of last element

Issue - State: open - Opened by acthp almost 9 years ago - 1 comment

#150 - doens't flow check?

Issue - State: open - Opened by raould about 9 years ago - 6 comments

#149 - better starter example docs

Issue - State: open - Opened by raould about 9 years ago - 3 comments
Labels: documentation, pr welcome

#97 - Bower support

Issue - State: open - Opened by peterjoel over 9 years ago - 3 comments
Labels: pr welcome

#60 - Type-Fortified build

Issue - State: open - Opened by phadej about 10 years ago - 5 comments
Labels: enhancement

#19 - Regexp based string generator

Issue - State: open - Opened by phadej over 10 years ago - 15 comments
Labels: enhancement, pr welcome

GitHub / jsverify/jsverify issues and pull requests