Skip to content

add some very basic f_equiv tests

Ralf Jung requested to merge f_equiv into master

We currently seem to have no tests whatsoever (?!?). So let's add at least some very basic smoke tests. We can always grow the test set over time.

Merge request reports