Skip to content

Commit

Permalink
Corrected outdated detail in user guide
Browse files Browse the repository at this point in the history
  • Loading branch information
jlink committed Apr 24, 2024
1 parent 0eeff73 commit 39809da
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion docs/current/user-guide.md
Original file line number Diff line number Diff line change
Expand Up @@ -3079,7 +3079,7 @@ Currently this API consists of a few static methods on class `net.jqwik.api.sess
- `JqwikSession.isActive()`: Check is a session is currently active.
- `JqwikSession.finish()`: Finish the currently active session, thereby releasing all the implicitly used memory space.
- `JqwikSession.finishTry()`: Announce that you're done with the current `trie` of a property.
This will, for example, reset the uniqueness collector of a generator for collections.
This will, among other things, reset all [stores](#lifecycle-storage) that use `Lifespan.TRY`.
- `JqwikSession.run(Runnable code)`: Wrap the runnable code segment in implicit `start()` and `finish()` calls.

Mind that there's currently no way to use nested sessions, spread the same session across threads
Expand Down

0 comments on commit 39809da

Please sign in to comment.