Skip to content
Snippets Groups Projects

add some very basic f_equiv tests

Merged Ralf Jung requested to merge jung/stdpp:f_equiv into master
Files
2
+ 2
0
The command has indeed failed with message:
No such assumption.
Loading