Skip to content

Instantly share code, notes, and snippets.

@regit
Created July 14, 2017 16:58
Show Gist options
  • Save regit/d7329965b8223110cafc29c7553c79d4 to your computer and use it in GitHub Desktop.
Save regit/d7329965b8223110cafc29c7553c79d4 to your computer and use it in GitHub Desktop.
@uint@
uint i;
position p1;
@@
i@p1
@script:python@
p1 << uint.p1;
@@
print "uint used at at %s:%s, please use a explicit length." % (p1[0].file, p1[0].line)
#import sys
#sys.exit(1)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment