Skip to content

Commit

Permalink
Rework time dilution in F3 tests and refine assertions
Browse files Browse the repository at this point in the history 
Progress the clock during tests independently of condition check. Rework
the assertions to use built-in eventual assertion. Use consistent names
for the asserting functions.

Fixes #818
Fixes #847
  • Loading branch information
@masih
masih committed Feb 5, 2025
1 parent e232882 commit f1ce9fa
Show file tree
Hide file tree
Showing 2 changed files with 207 additions and 204 deletions.
Loading

0 comments on commit f1ce9fa

Please sign in to comment.