Created
September 7, 2018 22:28
-
-
Save TylerADavis/393ee6382b4f645774100ae0c490c5ba to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
hypothesis | |
coverage==5.0a2 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# | |
# 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 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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() |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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