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 Jan 31, 2025
1 parent e36432f commit 533d689
Show file tree
Hide file tree
Showing 2 changed files with 214 additions and 204 deletions.
Loading

0 comments on commit 533d689

Please sign in to comment.