Adding sypet to repo

[Benchmarks_CSolver.git] / sypet / benchmarks / geometry / 15 / TestSource.java

diff --git a/sypet/benchmarks/geometry/15/TestSource.java b/sypet/benchmarks/geometry/15/TestSource.java
new file mode 100644 (file)
index 0000000..89bf479
--- /dev/null
+++ b/sypet/benchmarks/geometry/15/TestSource.java
@@ -0,0 +1,7 @@
+public static boolean test() throws Throwable {
+       java.awt.geom.Rectangle2D rec = new java.awt.geom.Rectangle2D.Double(10, 20, 10, 2);
+       java.awt.geom.Ellipse2D circ = new java.awt.geom.Ellipse2D.Double(9, 19, 2, 2);
+       java.awt.geom.Rectangle2D target = new java.awt.geom.Rectangle2D.Double(10, 20, 1, 1);
+       java.awt.geom.Rectangle2D result = getIntersection(rec, circ);
+       return (target.equals(result));
+}
\ No newline at end of file