Use numeric limits instead of (unsigned)-1#332

Merged

kroening merged 3 commits intodiffblue:masterfrom

tautschnig:numeric-limits

Jan 5, 2017

Commits on Dec 15, 2016

Added constant nil_target to identify an invalid location number
tautschnig
committed
Typedef wmm_grapht instead of repeating template instantiation
tautschnig
committed
wmm/musketeer: Use wmm_grapht::node_indext instead of unsigned
tautschnig
committed