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 30, 2025
1 parent e36432f commit 3606fdd
Show file tree
Hide file tree
Showing 2 changed files with 197 additions and 177 deletions.
Loading

0 comments on commit 3606fdd

Please sign in to comment.