Skip to content

Test/time based logic#192

Merged
Baskarayelu merged 8 commits intoRemitwise-Org:mainfrom
Anuoluwapo25:test/time-based-logic
Feb 27, 2026
Merged

Test/time based logic#192
Baskarayelu merged 8 commits intoRemitwise-Org:mainfrom
Anuoluwapo25:test/time-based-logic

Conversation

@Anuoluwapo25
Copy link
Contributor

@Anuoluwapo25 Anuoluwapo25 commented Feb 24, 2026

##PR Description:

Added property-based tests for time-dependent logic in multiple contracts using proptest. Ensures behaviors like overdue detection and time-based state updates are consistently correct, with constraints to control flakiness.

closes #167

@Anuoluwapo25
Copy link
Contributor Author

##PR Description:

Added property-based tests for time-dependent logic in multiple contracts using proptest. Ensures behaviors like overdue detection and time-based state updates are consistently correct, with constraints to control flakiness.

closes #167

closes #178

@Baskarayelu
Copy link
Contributor

fix the pipeline

@Baskarayelu
Copy link
Contributor

@Anuoluwapo25 fix the pipeline

@Baskarayelu
Copy link
Contributor

@Anuoluwapo25

Anuoluwapo25 and others added 4 commits February 25, 2026 21:05
- Fix unclosed proptest! block in insurance/src/lib.rs
- Update BillPaymentsTrait to use paginated get_unpaid_bills/get_all_bills_for_owner
- Update InsuranceTrait to use paginated get_active_policies
- Add BillPage and PolicyPage structs to reporting contract
- Update mock implementations in reporting/src/tests.rs
- Use mock_all_auths_allowing_non_root_auth in scenario setup for cross-contract auth
- Fix doc comment indentation in data_migration

Co-Authored-By: Claude Sonnet 4.6 <[email protected]>
@Baskarayelu
Copy link
Contributor

Can you please resolve the conflicts?

@Anuoluwapo25
Copy link
Contributor Author

@Baskarayelu done

@Baskarayelu Baskarayelu merged commit 0609c1b into Remitwise-Org:main Feb 27, 2026
2 of 3 checks passed
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.

Property-Based Tests for Time-Based Logic

2 participants