diff options
| author | Bartek Iwańczuk <biwanczuk@gmail.com> | 2023-05-08 20:59:38 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-05-08 20:59:38 +0200 |
| commit | 71db518b7625acb106d93643619f648aed8222cc (patch) | |
| tree | 3b4adbc1b36996c284d870ab5c8fcb467589c71a /runtime/examples/hello_runtime_bootstrap.js | |
| parent | 7da8b1d9bbc65a1794df4850954d22e654d49aee (diff) | |
refactor(core): verify there are no ops with duplicate names (#19047)
This commit adds a "debug build" only check that verifies on startup
that there are no duplicate ops (ie. the op names are unique).
Diffstat (limited to 'runtime/examples/hello_runtime_bootstrap.js')
0 files changed, 0 insertions, 0 deletions