From f4d6d08b1c85b4ef7c1570445bfa2e359eb08ab6 Mon Sep 17 00:00:00 2001
From: Vasu Vikram <vvikram@andrew.cmu.edu>
Date: Thu, 19 Sep 2024 16:33:28 -0400
Subject: [PATCH] Rename test

---
 .../chocopy/{SemanticAnalysisTest.java => ChocoPyTest.java}    | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)
 rename examples/src/test/java/edu/berkeley/cs/jqf/examples/chocopy/{SemanticAnalysisTest.java => ChocoPyTest.java} (97%)

diff --git a/examples/src/test/java/edu/berkeley/cs/jqf/examples/chocopy/SemanticAnalysisTest.java b/examples/src/test/java/edu/berkeley/cs/jqf/examples/chocopy/ChocoPyTest.java
similarity index 97%
rename from examples/src/test/java/edu/berkeley/cs/jqf/examples/chocopy/SemanticAnalysisTest.java
rename to examples/src/test/java/edu/berkeley/cs/jqf/examples/chocopy/ChocoPyTest.java
index ea9418ae5..d83112e78 100644
--- a/examples/src/test/java/edu/berkeley/cs/jqf/examples/chocopy/SemanticAnalysisTest.java
+++ b/examples/src/test/java/edu/berkeley/cs/jqf/examples/chocopy/ChocoPyTest.java
@@ -1,6 +1,5 @@
 package edu.berkeley.cs.jqf.examples.chocopy;
 
-import chocopy.ChocoPy;
 import chocopy.common.astnodes.Program;
 import chocopy.reference.RefAnalysis;
 import chocopy.reference.RefCodeGen;
@@ -13,7 +12,7 @@
 import static org.junit.Assume.assumeTrue;
 
 @RunWith(JQF.class)
-public class SemanticAnalysisTest {
+public class ChocoPyTest {
 
     /** Entry point for fuzzing reference ChocoPy semantic analysis with ChocoPy code generator */
     @Fuzz