SemElem.cpp File Reference

Namespaces
namespace	wali
Functions
void	wali::test_semelem_impl (sem_elem_t x)
	Simple test method that can be used when developing a SemElem implementation.