Skip to content

Commit 7c571ed

Browse files
update more folders and files that had latte-umbrella before
1 parent db49177 commit 7c571ed

3 files changed

Lines changed: 5 additions & 6 deletions

File tree

Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,4 @@
1-
package latte.latte_umbrella;
2-
1+
package api;
32
import java.io.File;
43
import java.security.InvalidParameterException;
54
import java.util.Arrays;
@@ -30,7 +29,7 @@ public static void main( String[] args ){
3029

3130
if (args.length == 0) {
3231
System.out.println("Please enter the path to the file you want to process");
33-
String allPath = "latte-umbrella/src/main/java/examples/MyStackTest.java";
32+
String allPath = "latte/src/main/java/examples/MyStackTest.java";
3433
launcher(allPath);
3534

3635
} else if (args.length == 1 && args[0].equals("-multi")) {
Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
package latte.latte_umbrella;
1+
package api;
22

33
public class JsonError {
44
private int startLine;

latte/src/test/java/latte/latte_umbrella/AppTest.java renamed to latte/src/test/java/AppTest.java

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
package latte.latte_umbrella;
1+
22

33
import static org.junit.Assert.assertTrue;
44
import static org.junit.jupiter.api.Assertions.assertFalse;
@@ -11,7 +11,7 @@
1111
import context.SymbolicEnvironment;
1212
import context.SymbolicValue;
1313
import typechecking.LatteException;
14-
14+
import api.App;
1515
/**
1616
* Unit test for simple App.
1717
*/

0 commit comments

Comments
 (0)