v1.1.0

Updated coverage status checks

Added tests & improved existing tests

Refactored graphs and split up into multiple subtypes

• Created a GenericGraph parent class as well as a Graph interface, which are inherited and implemented by EdgeListGraph, AdjListGraph, and AdjMatGraph.

Cleaned up klee experiment scripts, creating KleeExperimentHandler for easier experiment modification and creation in the future.

v1.0.1

Reorganize folders

v1.0.0

Initial stable release of Metrinome.

v0.0.1

First release of the metrinome tool.