test cases
a + b using gmtest