@manasij7479 @regehr
manasij7479 and regehr Pass tests to verify that synthesis is working (#337) 
* Pass tests to verify that synthesis is working

* Add failing instance, synthesize 2 64 bit constants
Latest commit 34bc155 Aug 30, 2018