-
- Downloads
adding new tests
(cherry picked from commit ca865514aa0dcc101082395891cc7c05c6ce02b3)
Showing
- tests/Makefile.am 4 additions, 1 deletiontests/Makefile.am
- tests/second_order/burnside_1.mod 49 additions, 0 deletionstests/second_order/burnside_1.mod
- tests/second_order/ds1.mod 69 additions, 0 deletionstests/second_order/ds1.mod
- tests/second_order/ds2.mod 77 additions, 0 deletionstests/second_order/ds2.mod
Loading
Please register or sign in to comment