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