Skip to content

WIP: Property based and deterministic simulation testing - #7542

Draft
agoscinski wants to merge 1 commit into
aiidateam:mainfrom
agoscinski:model-checking
Draft

WIP: Property based and deterministic simulation testing#7542
agoscinski wants to merge 1 commit into
aiidateam:mainfrom
agoscinski:model-checking

WIP testing out property based and determinstic simulation testing

a18ff9a
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project succeeded Aug 12, 2026 in 1s

80.68% (-0.00%) compared to 8f45ecd

View this Pull Request on Codecov

80.68% (-0.00%) compared to 8f45ecd

Details

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 80.68%. Comparing base (8f45ecd) to head (a18ff9a).

Additional details and impacted files
@@            Coverage Diff             @@
##             main    #7542      +/-   ##
==========================================
- Coverage   80.68%   80.68%   -0.00%     
==========================================
  Files         581      581              
  Lines       47068    47068              
==========================================
- Hits        37974    37971       -3     
- Misses       9094     9097       +3     

☔ View full report in Codecov by Harness.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.