Awesome automated integration-test generation for robotic systems.
We strongly encourage installing houston within a Python virtual
environment, created via virtualenv
or pipenv). To (create and)
enter a pipenv project for houston, execute the following:
$ pipenv shell
(houston) $ ...
Before installing houston, Z3 must be installed from source within the
virtual environment:
(houston) $ git clone https://github.com/Z3Prover/z3 local-z3
(houston) $ cd local-z3
(houston) $ python scripts/mk_make.py
(houston) $ cd build
(houston) $ make install -j4
(houston) $ export PYTHONPATH="${PWD}/python:${PYTHONPATH}"
Once Z3 is installed, houston can be installed via:
(houston) $ pip install .
import houston
import bugzoo
# we use BugZoo to provide an executable snapshot for the system under test
bz = bugzoo.BugZoo()
snapshot = bz.bugs['ardu:X']
# we produce a description of the system under test
sut = houston.ardu.ArduRover(snapshot)
# we generate a test case
# ...
# we
# ...