Skip to content
Snippets Groups Projects
Commit 669d8b97 authored by Regis Blanc's avatar Regis Blanc
Browse files

fix name of test

parent 1d6086cf
No related branches found
No related tags found
No related merge requests found
......@@ -3,7 +3,7 @@
package leon
package utils
class ExprOpsSuite extends LeonTestSuite {
class UtilsPackageSuite extends LeonTestSuite {
test("fixpoint computes correct fixpoint of function that increments up to a max") {
def f(x: Int): Int = if(x < 10) x + 1 else 10
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment