some tweaks to make it run on Windows cygwin.

On cygwin use "concolic" instead of "concolic.cygwin".

concolic.cygwin

@@ -1,7 +1,7 @@
 #!/bin/bash
 
 export PATH=$PATH:yices-2.0.0/bin
-CLASSPATH=out/production/tests
+CLASSPATH="out/production/tests"
 iter=$1
 YOURPGM=$2
 

src/janala/instrument/SnoopInstructionTransformer.java

@@ -28,6 +28,7 @@ public byte[] transform(ClassLoader loader,String cname, Class<?> c, ProtectionD
                 && !cname.startsWith("java/util")
                 && !cname.startsWith("java/io")
                 && !cname.startsWith("java/security")
+                && !cname.startsWith("sun/")
                 && !cname.startsWith("javax/security")
                 && !cname.startsWith("sun/security")
                 && !cname.startsWith("sun/reflect")

src/tests/Hello.java

@@ -0,0 +1,16 @@
+/*
+ * Author: Koushik Sen (ksen@cs.berkeley.edu)
+ */
+
+package tests;
+
+/**
+ * Author: Koushik Sen (ksen@cs.berkeley.edu)
+ * Date: 7/5/12
+ * Time: 10:54 AM
+ */
+public class Hello {
+    public static void main(String[] args) {
+        System.out.println("Hello!");
+    }
+}