diff --git a/examples/Makefile b/examples/Makefile
index 8c362042973aa79d362bc628f21bc65683640b54..1ac692c9b51fd6d389e108edac7d8be2a90c06ee 100644
--- a/examples/Makefile
+++ b/examples/Makefile
@@ -16,8 +16,8 @@ all: env_check  ${exes}
 .PHONY: env_check 
 
 .o.exe:
-#	${PEASOUP_HOME}/tools/ps_link.sh $< -o $@ 
-	gcc $< -o $@ 
+	${PEASOUP_HOME}/tools/ps_link.sh $< -o $@ 
+#	gcc $< -o $@ 
 	${PEASOUP_HOME}/tools/ps_analyze.sh  $@ $@
 
 .c.o:
diff --git a/tests/simple/Makefile b/tests/simple/Makefile
index 7316b2aff6d4a4f3366c77192741fbf10ead21d6..9c6bfa514e7f67ebb2480c66e82c01f27bcfdbb1 100644
--- a/tests/simple/Makefile
+++ b/tests/simple/Makefile
@@ -1,4 +1,4 @@
-progs=discrete_xform.peasoup integration_simp.peasoup sieve.peasoup knapsack.peasoup dumbledore_cmd_nop.peasoup dumbledore_cmd_O3.peasoup quick_sort.peasoup hanoi.peasoup merge_sort.peasoup k1.peasoup banner_nop.peasoup banner_O3.peasoup cal_nop.peasoup cal_O3.peasoup
+progs=discrete_xform.peasoup integration_simp.peasoup sieve.peasoup knapsack.peasoup dumbledore_cmd_nop.peasoup dumbledore_cmd_O3.peasoup quick_sort.peasoup hanoi.peasoup merge_sort.peasoup k1.peasoup banner_nop.peasoup banner_O3.peasoup cal_nop.peasoup cal_O3.peasoup cal_O3_concolic.peasoup
 
 ps_analyze_flags="--step ilr=off --step integertransform=off --step manual_test=on --step concolic=off --step isr=off"
 
diff --git a/xform/rewriter.cpp b/xform/rewriter.cpp
index bc6cedbefd2e538ca2221a4e9c143c666d713287..cd6fd0517faaf14aea7ce34b27310ca05abb8aa7 100644
--- a/xform/rewriter.cpp
+++ b/xform/rewriter.cpp
@@ -720,6 +720,14 @@ map<wahoo::Function*, double> Rewriter::getFunctionCoverage(char *p_instructionF
 
   set<app_iaddr_t> visitedInstructions;
 
+  infile.seekg(0,ios::end);
+  size_t size = infile.tellg();
+  if( size == 0)
+  {
+      cerr << "File containing instructions visited is empty is empty\n"<<endl;
+      return coverage;
+  }
+
   while (infile.good())
   {
     int address = 0;
@@ -728,8 +736,6 @@ map<wahoo::Function*, double> Rewriter::getFunctionCoverage(char *p_instructionF
     infile>>tmp;
     infile>>hex>>address;
 
-    // cerr<<"address = "<<address<<endl;
-
     visitedInstructions.insert((app_iaddr_t) address);
   }