diff gentests.py @ 1880:e77f7a7c79a5

Cache operator phase increment for a small perf improvement
author Michael Pavone <pavone@retrodev.com>
date Sat, 07 Sep 2019 22:18:09 -0700
parents f6ee0df6bb48
children ab577e2ed66a
line wrap: on
line diff