Skip to content
This repository was archived by the owner on Aug 3, 2025. It is now read-only.

Add new article: "Property Testing with Complex Inputs"#30

Open
hwayne wants to merge 2 commits into
HypothesisWorks:masterfrom
hwayne:patch-1
Open

Add new article: "Property Testing with Complex Inputs"#30
hwayne wants to merge 2 commits into
HypothesisWorks:masterfrom
hwayne:patch-1

Conversation

@hwayne

@hwayne hwayne commented Jun 6, 2020

Copy link
Copy Markdown

This adds a new article to the site, a guide to making complex inputs, like inputs that satisfy preconditions or use other inputs. Two notes:

  • I put the date of the post two days in the future
  • I have not locally built the site with the changes, as I don't have Ruby on this computer (yet).

hwayne added 2 commits June 6, 2020 15:16
A brief guide on how to create complex inputs for property tests.

Covers: `from_type`, `assume`, `filter`, `builds`, `register_type_strategy`, `composite`, and `data`.
@hwayne

hwayne commented Jun 6, 2020

Copy link
Copy Markdown
Author

Oh wait, it's Jekyll-inspired and doesn't need Ruby

One sec

@DRMacIver

Copy link
Copy Markdown
Member

Oh wait, it's Jekyll-inspired and doesn't need Ruby

It's actual-Jekyll, but we've got a dockerized build which should handle installing everything in a container (assuming it hasn't bitrotted. It's been a while since we've built the site)

@hwayne

hwayne commented Jun 6, 2020

Copy link
Copy Markdown
Author

Build process doesn't work at all on windows, going to reinstall WSL2 and see if that does it

@hwayne

hwayne commented Jun 10, 2020

Copy link
Copy Markdown
Author

It's giving me an error saying there's no docker daemon. Do I need to know how to use Docker to run this, or is the makefile supposed to take care of all of this for me?

@hwayne

hwayne commented Jun 12, 2020

Copy link
Copy Markdown
Author

I've tried using docker and also tried building it natively and keep running into issues. At this point I'm going to admit that I don't think I'll be able to do this without help.

@hwayne

hwayne commented Jun 17, 2020

Copy link
Copy Markdown
Author

What do you think about hosting it on my blog for now and rehost it on the hypothesis site later?

@Zac-HD

Zac-HD commented Jan 4, 2021

Copy link
Copy Markdown
Member

@hwayne - I can now merge things onto the website, and I'm happy to fix any formatting issues live after merge (I do intend to fix the bitrot and get PR preview builds working, but no need to wait for this).

Are you happy for me to publish this as-is, or is there anything you'd like to change?

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants