diff options
| author | Ján Jančár | 2024-03-27 17:44:43 +0100 |
|---|---|---|
| committer | GitHub | 2024-03-27 17:44:43 +0100 |
| commit | 14bb8dce2ec147970c3ad1d0433d59b0e0c55450 (patch) | |
| tree | d269c72270caa8123620c0a10e3ae99de7c24284 /util/utils.py | |
| parent | 96f21ccff6cc3daa5728e4700459d655238f5b93 (diff) | |
| parent | 88e480904c24d4c93ef6420acb6bf92ae95871af (diff) | |
| download | ECTester-14bb8dce2ec147970c3ad1d0433d59b0e0c55450.tar.gz ECTester-14bb8dce2ec147970c3ad1d0433d59b0e0c55450.tar.zst ECTester-14bb8dce2ec147970c3ad1d0433d59b0e0c55450.zip | |
Merge pull request #21 from crocs-muni/feat/codecov
Add code coverage measurement.
Diffstat (limited to 'util/utils.py')
0 files changed, 0 insertions, 0 deletions