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 4, 2025
1 parent 30fac2e commit 6110422
Show file tree
Hide file tree
Showing 2 changed files with 207 additions and 204 deletions.
Loading

0 comments on commit 6110422

Please sign in to comment.