Skip to content

Instantly share code, notes, and snippets.

@ddefb
Created Mar 12, 2019
Embed
What would you like to do?
$(HEPTC) -target c -target z3z -s $(SIM_NODE) $(CONTRACT_PROG).ept
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment