Bugzoo

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.

Features

* `bugzood` now allows users to log to a given file.
* Added `**kwargs` to all HTTP methods in low-level API client; allows more
information to be forwarded onto `requests`.
* Added `build` method as an alias of `compile` in both client- and
server-side container managers.
* Added more detailed logging to client file manager.
* Added `__repr__` to `Spectra`.
* Added check to `BugZoo` to ensure that the Docker server is responsive.
* Added slightly better error handling to `mktemp` in server-side container
manager.
* Added better logging and error reporting to `command` in server-side
container manager.
* Added `POST /containers/<uid>/build` endpoint to server.

Bug Fixes

* Fixed a bug in logging that prevented `DEBUG` level calls from being written
to file or passed to the stdout.
* Fixed a bug in URL generation method in client module that prevented certain
URLs from being reached.
* Fixed HTTP method used by `coverage` method in `client.container`.
* Fixed bug in `CompilationOutcome.from_dict` that prevented serialised
compilation outcomes from being parsed.

Features

* Added ability to compute coverage for a given container to the client and
server.
* Added coverage method to container manager: acts as an alias for the
coverage method in the coverage manager.
* Added extra logging statements across the codebase.

Bug Fixes

* Fixed compatibility breaking bug that was caused by attempting to import
NoReturn from the typing module. Added a workaround to attempt to import
NoReturn from mypy_extensions if it isn't found in typing.