judge: refine Recorder
Closed this issue · 1 comments
peter1591 commented
rename to JsonRecorder
And make it as a template parameter, to support different recorders in the future
Closed this issue · 1 comments
rename to JsonRecorder
And make it as a template parameter, to support different recorders in the future