Skip to content

Add benchmark for term generator

Xuetian Weng requested to merge work/termgeneratorbenchmark into master

The plan is to revive !11 (closed) with a better approach, but I'll split it and just do the less controversial part first.

Edited by Xuetian Weng

Merge request reports