User regions in Python (#57)

* User regions in Python

* User-region testing + common submodule

- Updated examples/python/source.py to use user-regions
- Python-level user submodule
- Python-level common submodule
- clean-up of profiler python code
- extended source.py testing to include the user-regions
This commit is contained in:
Jonathan R. Madsen
2022-07-25 20:24:34 -05:00
committed by GitHub
parent 74fe68101b
commit 4dd144a32c
9 changed files with 371 additions and 167 deletions
+2 -2
View File
@@ -25,9 +25,9 @@ def validate_json(data, labels, counts, depths):
if _prefix != eitr[0]:
raise RuntimeError(f"Mismatched prefix: {_prefix} vs. {eitr[0]}")
if _count != eitr[1]:
raise RuntimeError(f"Mismatched count: {_count} vs. {eitr[1]}")
raise RuntimeError(f"Mismatched count for {_prefix}: {_count} vs. {eitr[1]}")
if _depth != eitr[2]:
raise RuntimeError(f"Mismatched depth: {_depth} vs. {eitr[2]}")
raise RuntimeError(f"Mismatched depth for {_prefix}: {_depth} vs. {eitr[2]}")
if __name__ == "__main__":