This repository has been archived on 2024-10-22. You can view files and clone it, but cannot push or open issues or pull requests.
sp-03/test/ch/usi/inf/sp/cfg/ControlFlowEdgeTest.java

15 lines
296 B
Java
Raw Permalink Normal View History

2023-10-09 07:08:58 +00:00
package ch.usi.inf.sp.cfg;
import org.junit.jupiter.api.Test;
import static org.junit.jupiter.api.Assertions.*;
class ControlFlowEdgeTest {
@Test
void newControlFlowGraphEdge() {
ControlFlowEdge e = new ControlFlowEdge("e1");
assertEquals("e1", e.getLabel());
}
}