goto-instrument/wmm: Use int for bit vector of Booleans#2546

Merged

tautschnig merged 1 commit intodiffblue:developfrom

tautschnig:vs-wmm-int

Jul 19, 2018

Commits on Jul 8, 2018

goto-instrument/wmm: explicit conversion of bool to 0/1
tautschnig
committed