Code verification through the method of manufactured solutions