Merge pull request #10 from manleviet/renault

Update RenaultKBTest.java

Author: manleviet

…st/ase/knowledgebases/RenaultKBTest.java …nowledgebases/renault/RenaultKBTest.javasrc/test/java/at/tugraz/ist/ase/knowledgebases/RenaultKBTest.java renamed to src/test/java/at/tugraz/ist/ase/knowledgebases/renault/RenaultKBTest.java src/test/java/at/tugraz/ist/ase/knowledgebases/RenaultKBTest.java renamed to src/test/java/at/tugraz/ist/ase/knowledgebases/renault/RenaultKBTest.java

@@ -7,14 +7,12 @@
  * Email: manleviet@gmail.com
  */
 
-package at.tugraz.ist.ase.knowledgebases;
+package at.tugraz.ist.ase.knowledgebases.renault;
 
 import at.tugraz.ist.ase.knowledgebases.renault.RenaultKB;
 import org.testng.annotations.BeforeMethod;
 import org.testng.annotations.Test;
 
-import static org.testng.Assert.*;
-
 public class RenaultKBTest {
     RenaultKB renault = new RenaultKB();
 
@@ -40,36 +38,37 @@ public void testRenaultKB() {
 
 //    @Test
 //    public void testDefineVariableValues() {
-//    }
-//
-//    @Test
-//    public void testDefineVariables() {
-//    }
-//
-//    @Test
-//    public void testDefineConstraints() {
-//    }
-//
-//    @Test
-//    public void testGetModelKB() {
-//    }
-//
-//    @Test
-//    public void testSetModelKB() {
 //    }
 
     @Test
-    public void testGetNumberOfVariables() {
+    public void testDefineVariables() {
 //        System.out.println(renault.getModelKB().getNbVars());
         assert renault.getModelKB().getNbVars() == 588472;
     }
 
     @Test
-    public void testSetNumberOfVariables() {
+    public void testDefineConstraints() {
 //        System.out.println(renault.getModelKB().getNbCstrs());
         assert renault.getModelKB().getNbCstrs() == 392603;
     }
 
+//    @Test
+//    public void testGetModelKB() {
+//    }
+//
+//    @Test
+//    public void testSetModelKB() {
+//    }
+//
+//    @Test
+//    public void testGetNumberOfVariables() {
+//    }
+//
+//    @Test
+//    public void testSetNumberOfVariables() {
+//
+//    }
+//
 //    @Test
 //    public void testGetVars() {
 //    }