onnxruntime
Clarify naming of the API involving the RunOptions terminate flag.
#1768
Merged
Merged