Bugzoo

Changes

* Added documentation for manifest file format.
* Added documentation for "Adding a plugin".
* Updated documentation for adding bugs and blueprints.
* Updated documentation for Python API.

Features

* Added ability to specify Docker Client API version.

Changes

* Added `from_string` method to `FileLine`.

Features

* Added support for non-UTF-8/ASCII file encodings to FileManager (i.e., files
encoded using codecs other than ASCII and UTF-8 are now supported).

Changes

* Added `build` and `build_with_instrumentation` methods (aliases) to
server-side `ContainerManager`.

Changes

* Updated `bugzood` to write version information for most of its dependencies
to its logs.
* Reduced number of false warnings that are produced when computing coverage
reports.
* Included `.cxx`, `.cc`, `.h`, `.hh`, and `.hpp` in coverage reports for C++.
* Added defensive checks to `report_system_resources` to handle environments
in which `psutil` fails to report certain information.

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.