Gazelle Test Bed Assertion Manager


This is the Gazelle Test Bed Assertion Manager. 


Access the content of the assertions used in by the tools of the Gazelle Test Bed