Bugzoo

Features

* added `shutdown` method to client.
* added `report_system_resources` and `report_resource_limits` to `util`
module. Both functions describe the available system resources and write
a description to a provided logger.
* updated `bugzood` to report available resources upon launch.


Changes

* Docker image deletion endpoint now uses `force=True` to ensure that images
are destroyed.

Features

* Added ability to compute line coverage reports to client container
manager.
* All containers are now destroyed when the server is closed.
* Added ability to specify custom (albeit limited) oracles for individual
test cases.

Bug Fixes

* Fixed a bug in `Spectra.from_coverage` that incorrectly prevented
`ep` or `ef` for a given line from being greater than one.
* Fixed an incorrect path in `client.dockerm` that prevented the client from
deleting Docker images on the server.

Features

* Extended manifest file format to allow more detailed instructions for
individual test cases (e.g., specific time limits, commands, and
contexts). Also added `expected-outcome` as a new test case property,
allowing the expected behaviour of the test to be specified and checked
by `bugzoo validate`.

Changes

* Removed `testing` module and refactored its contents into a simpler
module, `core.test`.

Features

* Added `--log-level` option to `bugzood`.
* Added ability to suppress `werkzeug` logs produced by `bugzood`.

Changes

* Removed `localization` module that has since been made redundant by
`darjeeling`'s `localization` module.
* Removed `numpy` dependency.
* Reduced size of `Dockerfile`.
* Added `--no-status` and `--override-build-tool-check` flags to catkin
compiler to reduce output verbosity.

Features

* Added `instrument` method to client's container module: allows users to
instrument a given container for the purposes of computing coverage at
some point in the future.

Changes

* Added `threaded=True` option to server to ensure that `bugzood` can handle
multiple clients simultaneously.

Features

* Added Dockerfile for `bugzood`.
* Updated README and various parts of the documentation.
* Added `instrument` parameter to container coverage methods.