[Avida-SVN] r1705 - branches/uml/source/main

[hjg at myxo.css.msu.edu]

Author: hjg
Date: 2007-06-20 20:57:10 -0400 (Wed, 20 Jun 2007)
New Revision: 1705

Modified:
   branches/uml/source/main/cTaskLib.cc
Log:


Modified: branches/uml/source/main/cTaskLib.cc
===================================================================
--- branches/uml/source/main/cTaskLib.cc	2007-06-20 18:20:52 UTC (rev 1704)
+++ branches/uml/source/main/cTaskLib.cc	2007-06-21 00:57:10 UTC (rev 1705)
@@ -2995,7 +2995,7 @@
 //	m_world->GetStats().PanAttempt();
 	
 	if(system("/usr/bin/gcc -DMEMLIM=512 pan.c -o pan &> /dev/null")!=0) return 0.0;
-	if(system("./pan -e -n -a -w19  -m100000 -c25 &> ./pan.out")!=0) return 0.0;
+	if(system("./pan -e -n -a -w19  -m100000 -c5 &> ./pan.out")!=0) return 0.0;
 	num_witness = (system("cat pan.out | perl -e 'while(<STDIN>) { if(/errors:\\s(\\d+)/) {exit($1);}}'"));
 //	if(system("cat pan.out | perl -e 'while(<STDIN>) { if(/unreached/) {exit(1);}}'")!=0) return 0.0;
 	
@@ -3023,7 +3023,7 @@
 	
 	// check if the trigger is present
 	organism->absoluteJumpStateDiagram(1);
-	if (organism->getStateDiagram()->findTrans(-1,-1,1,-1,-1)){
+	if (organism->getStateDiagram()->findTrans(-1,-1,-1,-1,1)){
 		temp += 1;
 		
 		// check property