From e51b7cbae7cb644a2df2cbc62137f4529aaecef4 Mon Sep 17 00:00:00 2001
From: Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au>
Date: Wed, 21 Nov 2012 19:57:07 +1100
Subject: Some performance stuff for the solver

---
 impl/performance/generate-long.py | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 impl/performance/generate-long.py

(limited to 'impl/performance/generate-long.py')

diff --git a/impl/performance/generate-long.py b/impl/performance/generate-long.py
new file mode 100644
index 0000000..b6de5b2
--- /dev/null
+++ b/impl/performance/generate-long.py
@@ -0,0 +1,5 @@
+import sys
+
+print 'x0 = 0'
+for i in xrange(int(sys.argv[1])):
+  print 'x' + str(i+1) + " = x" + str(i)
-- 
cgit v1.2.3