Skip to content

Instantly share code, notes, and snippets.

@TylerADavis
Created September 7, 2018 22:28
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save TylerADavis/393ee6382b4f645774100ae0c490c5ba to your computer and use it in GitHub Desktop.
Save TylerADavis/393ee6382b4f645774100ae0c490c5ba to your computer and use it in GitHub Desktop.
rm -r venv
virtualenv -p python3 venv
. venv/bin/activate
pip install -r requirements.txt
# Remove this hidden directory to make clean slate
# to reproduce failure
rm -r .hypothesis
python test.py
hypothesis
coverage==5.0a2
#
# This file is autogenerated by pip-compile
# To update, run:
#
# pip-compile --output-file requirements.txt requirements.in
#
attrs==18.2.0 # via hypothesis
coverage==5.0a2
hypothesis==3.70.3
from hypothesis import assume, given
import hypothesis.strategies as st
from functools import wraps
@given(st.integers())
def problem_test(x):
assume(x > 0) # must be wrong at least half the time
wraps(id)
problem_test()
Vagrant.configure("2") do |config|
config.vm.box = "debian/jessie64"
config.vm.provision "shell", inline: <<-SHELL
set -eu
apt-get update && apt-get -y install virtualenv
cd /vagrant && sh build.sh
SHELL
end
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment