Add testing for expected SMT writes too (#72)
Add testing for expected SMT writes too (#72)


codingllama/trillian,RJPercival/trillian,google/trillian,gdbelvin/trillian,AlCutter/trillian,gtank/trillian,RJPercival/trillian,gdbelvin/trillian,Martin2112/trillian,daviddrysdale/trillian,AlCutter/trillian,gtank/trillian,Martin2112/trillian,codingllama/trillian,daviddrysdale/trillian,daviddrysdale/trillian,google/trillian,Martin2112/trillian,gdbelvin/trillian