Thanks for your interest in palantir/bulldozer, @anishagg17! Before we can accept your pull request, you need to sign our contributor license agreement - just visit https://cla.palantir.com/ and follow the instructions. Once you sign, I'll automatically update this pull request.

Hey @anishagg17, thanks for the PR.

Do you mind also removing the examples as well?

sure, @asvoboda I have removed it from some tests too and even from the Readme

Oh, I think that after changing the test config I need to make changes to the expected output also. Am I correct?

If you run ./godelw verify locally, you can see the same output from the test.

It looks like the head var L158 in merge.go is now unused, and the compiler is complaining.

It looks like the head var L158 in merge.go is now unused, and the compiler is complaining.

Yeah, replaced it with an _.

@asvoboda can we merge this one?