Testing the mailing list. Nadim Kobeissi Symbolic Software • https://symbolic.software Sent from office -------------- next part -------------- An HTML attachment was scrubbed... URL: <https://lists.symbolic.software/pipermail/verifpal/attachments/20190813/12437e29/attachment.htm>