[Seq-Test] Make Fulminate usage consistent with new API #470
Description
It uses lower-level functions than cn test (doesn't use assume_* functions).
This makes the Fulminate dependency a bit messier.
{{ message }}
It uses lower-level functions than cn test (doesn't use assume_* functions).
This makes the Fulminate dependency a bit messier.