From d1d20deadbc295e4fe49dffced84855aef5df8c5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick@luehne.de>
Date: Fri, 1 Nov 2019 06:40:55 +0100
Subject: [PATCH] Add benchmark

---
 benches/test.rs | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100644 benches/test.rs

diff --git a/benches/test.rs b/benches/test.rs
new file mode 100644
index 0000000..d271b77
--- /dev/null
+++ b/benches/test.rs
@@ -0,0 +1,20 @@
+#![feature(test)]
+
+extern crate test;
+
+#[cfg(test)]
+mod tests
+{
+	#[bench]
+	fn anthem_example_2(b: &mut test::Bencher)
+	{
+		let formulas = "forall XV1 (p(XV1) <-> (exists XU1 (exists X1, X2 (X1 = XU1 and exists N1, N2, N3 (N1 = 0 and N2 = n and N1 <= N3 and N3 <= N2 and X2 = N3) and X1 = X2) and exists X3, X4 (exists N4, N5 (X3 = (N4 * N5) and N4 = XU1 and N5 = XU1) and X4 = n and X3 <= X4) and XV1 = XU1)))
+forall XV2 (q(XV2) <-> (exists XU2 (exists X5 (X5 = XU2 and p(X5)) and exists X6 (exists N6, N7 (X6 = (N6 + N7) and N6 = XU2 and N7 = 1) and not p(X6)) and XV2 = XU2)))";
+
+		b.iter(||
+		{
+			let (i, _) = fol_parser::formulas(formulas).unwrap();
+			assert_eq!(i, "");
+		});
+	}
+}