Other question do the ` Operation` functions have to be dete kotlinlang #lincheck

Other question: do the `@Operation` functions have...

CLOVIS

08/22/2023, 8:00 AM

Other question: do the

@Operation

functions have to be deterministic? E.g. is that ok?

Copy code

@Operation fun send() = sut.send(Random.nextInt())

2 Views