Skip to content

Add convert requirement in check_state#108

Merged
goerz merged 1 commit into
masterfrom
state-interface-convert
Apr 10, 2026
Merged

Add convert requirement in check_state#108
goerz merged 1 commit into
masterfrom
state-interface-convert

Conversation

@goerz
Copy link
Copy Markdown
Member

@goerz goerz commented Apr 10, 2026

This adds a requirement in check_state that convert(typeof(state), mutable_state) for mutable_state = similar(state) must be defined.

This adds a requirement in `check_state` that `convert(typeof(state),
mutable_state)` for `mutable_state = similar(state)` must be defined.
@codecov
Copy link
Copy Markdown

codecov Bot commented Apr 10, 2026

Codecov Report

❌ Patch coverage is 87.50000% with 1 line in your changes missing coverage. Please review.
✅ Project coverage is 90.2%. Comparing base (d6dfe6f) to head (17916cf).
⚠️ Report is 2 commits behind head on master.

Files with missing lines Patch % Lines
src/interfaces/state.jl 87.5% 1 Missing ⚠️
Additional details and impacted files
@@           Coverage Diff            @@
##           master    #108     +/-   ##
========================================
- Coverage    90.2%   90.2%   -0.0%     
========================================
  Files          35      35             
  Lines        2550    2558      +8     
========================================
+ Hits         2300    2307      +7     
- Misses        250     251      +1     

☔ View full report in Codecov by Sentry.
📢 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.

@goerz goerz merged commit f5cfcce into master Apr 10, 2026
7 checks passed
@goerz goerz deleted the state-interface-convert branch April 10, 2026 11:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant