PAN-11 wrote the GetAllDefinitions() method

persistence/scripts/mysql/local_development.sql

@@ -34,17 +34,16 @@ referenced_theorems json,
 proven_status boolean default false,
 version int default 1
 );
-CREATE TABLE proofs
+create table proofs
 (
-  id        INT NOT NULL AUTO_INCREMENT,
-  theorem_name      VARCHAR(512) NOT NULL,
-  proof VARCHAR(4096) NOT NULL,
-  branch    VARCHAR(512) NOT NULL,
-  theorem   INT NOT NULL,
-  referenced_definitions JSON,
-  referenced_theorems JSON,
-  date_added DATE,
-  last_updated DATE,
-  version INT DEFAULT 1,
-  PRIMARY KEY (id)
+  id int not null auto_increment primary key unique,
+  theorem_name varchar(512) not null,
+  proof varchar(4096) not null,
+  branch varchar(512) not null,
+  theorem int not null,
+  referenced_definitions json,
+  referenced_theorems json,
+  date_added date,
+  last_updated date,
+  version int default 1
 );

persistence/src/integrationTest/java/edu/msudenver/tsp/persistence/ProofsIntegrationTest.java

@@ -18,8 +18,7 @@ import static org.junit.Assert.*;
 @RunWith(SpringJUnit4ClassRunner.class)
 @ContextConfiguration(classes = PersistenceTestConfig.class)
 public class ProofsIntegrationTest {
-    @Autowired
-    private ProofRepository proofRepository;
+    @Autowired private ProofRepository proofRepository;
 
     @Test
     public void testCRUDFunctionality() {