Adding sypet to repo

[Benchmarks_CSolver.git] / sypet-non-incremental / benchmarks / geometry / 10 / TestSource.java

diff --git a/sypet-non-incremental/benchmarks/geometry/10/TestSource.java b/sypet-non-incremental/benchmarks/geometry/10/TestSource.java
new file mode 100644 (file)
index 0000000..f256aec
--- /dev/null
+++ b/sypet-non-incremental/benchmarks/geometry/10/TestSource.java
@@ -0,0 +1,6 @@
+public static boolean test() throws Throwable {
+       java.awt.geom.Rectangle2D rec = new java.awt.geom.Rectangle2D.Double(10, 20, 10, 2);
+       java.awt.geom.Rectangle2D target = new java.awt.geom.Rectangle2D.Double(20, 60, 20, 6);
+       java.awt.geom.Rectangle2D result = scale(rec, 2, 3);
+       return (target.equals(result));
+}
\ No newline at end of file