Suggestion by Thomas

apalache-mc · Oct 19, 2023 · c857f3d · c857f3d
1 parent 1cdb0c8
commit c857f3d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/...ifiedRules/aux/oracles/TestUCOracle.scala → ...racles/TestUninterpretedConstOracle.scala b/...ifiedRules/aux/oracles/TestUCOracle.scala → ...racles/TestUninterpretedConstOracle.scala
@@ -18,7 +18,7 @@ import org.scalatestplus.junit.JUnitRunner
 import org.scalatestplus.scalacheck.Checkers
 
 @RunWith(classOf[JUnitRunner])
-class TestUCOracle extends AnyFunSuite with BeforeAndAfterEach with Checkers {
+class TestUninterpretedConstOracle extends AnyFunSuite with BeforeAndAfterEach with Checkers {
 
   var rewriter: Rewriter = TestingRewriter(Map.empty)
   var cache: UninterpretedLiteralCache = new UninterpretedLiteralCache