Tags: Seelengrab/Supposition.jl
Tags
[Diff since v0.3.2](v0.3.2...v0.3.3) [Diff since v0.3.2](v0.3.2...v0.3.3) * None * None * The new printing caused issues when the predicate/mapping function given to `filter`/`map` threw an error. In this case, the example is now omitted from the pretty printing.
[Diff since v0.3.1](v0.3.1...v0.3.2) **Merged pull requests:** - Add glossary to explain jargon (#39) (@Seelengrab) **Closed issues:** - [UX]: Better printing of `Possibility` subtypes (#31) - [Doc]: Unexplained jargon (#35) - [UX]: "Given expression is not a function call or definition" for short-form function definition (#36)
[Diff since v0.3.0](v0.3.0...v0.3.1) * None * None * Calling `rand` in a property defined through `@check function foo() .... end` i.e. in long-form previously didn't accurately report the failing input when replaying the counterexample for display purposes.
[Diff since v0.2.1](v0.2.1...v0.3.0) v0.3.0 brings a number of new features with it, as well as a very interesting new doc section considering how to use a [test oracle](https://en.wikipedia.org/wiki/Test_oracle) when porting code to Julia! * Due to an update of the internal format `DirectoryDB` uses for storing counterexamples, previously found failures can lead to an error when trying to replay them. The workaround to this is to modify the property in question to enforce immediate failure (e.g. by inserting `return false`) after logging the generated inputs and manually inserting a unit test specifically for those inputs instead. Afterwards, you can delete the `test/SuppositionDB` directory to have Supposition.jl record newly found failures. * `event!`, allowing recording of interesting objects (and optionally an associated label) in a property that may help with further debugging. * `WeightedNumbers`, for drawing a number from `1:n` with the probability of picking any given number biased by a given `Vector{Float64}` of `n` weights. * `WeightedSample`, for drawing from an `n`-element long collection biased by an `n`-element long `Vector{Float64}` of weights. * Both `@composed` and `@check` now allow anonymous functions to be used, making for easier creation of properties and composed `Possibility` without the need for coming up with a name. See their respective docstrings for more information. * `@check` now always shows the duration taken, even when invoked standalone at the top level and not just when in a `@testset`.
Add link to explanatory guidelines about the EUPL
Add Licensing question to FAQ This sprung out of a discussion surrounding software licenses on discourse: https://discourse.julialang.org/t/how-are-the-intellectual-property-rights-of-julia-package-developers-protected/111611?u=sukera
[Diff since v0.1.0](v0.1.0...v0.2.0) - None! - `err_less` - a function for comparing two thrown objects of the same type (typically `<: Exception`) for improving shrinking performance of exceptions with rich metadata - Previously, errors shrunk badly when more than one distinct error was encountered.
PreviousNext