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

[hjg at myxo.css.msu.edu]

Author: hjg
Date: 2008-03-11 10:57:43 -0400 (Tue, 11 Mar 2008)
New Revision: 2450

Modified:
   branches/uml/source/main/cMDEAbsenceProperty.cc
   branches/uml/source/main/cMDEExistenceProperty.cc
   branches/uml/source/main/cMDEPrecedenceProperty.cc
   branches/uml/source/main/cMDEResponseProperty.cc
   branches/uml/source/main/cMDEUniversalProperty.cc
Log:


Modified: branches/uml/source/main/cMDEAbsenceProperty.cc
===================================================================
--- branches/uml/source/main/cMDEAbsenceProperty.cc	2008-03-11 12:58:06 UTC (rev 2449)
+++ branches/uml/source/main/cMDEAbsenceProperty.cc	2008-03-11 14:57:43 UTC (rev 2450)
@@ -13,7 +13,7 @@
 	
 	// Create the file...
 	std::string cmd = "cp " + _promela + " " + _property_file_name;
-	assert(system(cmd.c_str())!=0);
+	if(system(cmd.c_str())!=0) return;
 	
 	// Open the file in append mode...
 	std::ofstream outfile;
@@ -39,7 +39,7 @@
 	
 	// Create the file
 	std::string cmd = "cp " + _promela + " " + _witness_file_name;
-	assert(system(cmd.c_str())!=0);
+	if(system(cmd.c_str())!=0) return;
 	
 	// Open the file in append mode
 	std::ofstream outfile;

Modified: branches/uml/source/main/cMDEExistenceProperty.cc
===================================================================
--- branches/uml/source/main/cMDEExistenceProperty.cc	2008-03-11 12:58:06 UTC (rev 2449)
+++ branches/uml/source/main/cMDEExistenceProperty.cc	2008-03-11 14:57:43 UTC (rev 2450)
@@ -13,7 +13,7 @@
 	
 	// Create the file...
 	std::string cmd = "cp " + _promela + " " + _property_file_name;
-	assert(system(cmd.c_str())!=0);
+	if(system(cmd.c_str())!=0) return;
 	
 	// Open the file in append mode...
 	std::ofstream outfile;
@@ -38,7 +38,7 @@
 	
 	// Create the file
 	std::string cmd = "cp " + _promela + " " + _witness_file_name;
-	assert(system(cmd.c_str())!=0);
+	if(system(cmd.c_str())!=0) return;
 	
 	// Open the file in append mode
 	std::ofstream outfile;

Modified: branches/uml/source/main/cMDEPrecedenceProperty.cc
===================================================================
--- branches/uml/source/main/cMDEPrecedenceProperty.cc	2008-03-11 12:58:06 UTC (rev 2449)
+++ branches/uml/source/main/cMDEPrecedenceProperty.cc	2008-03-11 14:57:43 UTC (rev 2450)
@@ -12,7 +12,7 @@
 void cMDEPrecedenceProperty::print() {
 	// Create the file...
 	std::string cmd = "cp " + _promela + " " + _property_file_name;
-	assert(system(cmd.c_str())!=0);
+	if(system(cmd.c_str())!=0) return;
 	
 	// Open the file in append mode...
 	std::ofstream outfile;
@@ -56,7 +56,7 @@
 	
 	// Create the file
 	std::string cmd = "cp " + _promela + " " + _witness_file_name;
-	assert(system(cmd.c_str())!=0);
+	if(system(cmd.c_str())!=0) return;
 	
 	// Open the file in append mode
 	std::ofstream outfile;

Modified: branches/uml/source/main/cMDEResponseProperty.cc
===================================================================
--- branches/uml/source/main/cMDEResponseProperty.cc	2008-03-11 12:58:06 UTC (rev 2449)
+++ branches/uml/source/main/cMDEResponseProperty.cc	2008-03-11 14:57:43 UTC (rev 2450)
@@ -13,7 +13,7 @@
 	
 	// Create the file...
 	std::string cmd = "cp " + _promela + " " + _property_file_name;
-	assert(system(cmd.c_str())!=0);
+	if(system(cmd.c_str())!=0) return;
 	
 	// Open the file in append mode...
 	std::ofstream outfile;
@@ -42,7 +42,7 @@
 	
 	// Create the file
 	std::string cmd = "cp " + _promela + " " + _witness_file_name;
-	assert(system(cmd.c_str())!=0);
+	if(system(cmd.c_str())!=0) return;
 	
 	// Open the file in append mode
 	std::ofstream outfile;

Modified: branches/uml/source/main/cMDEUniversalProperty.cc
===================================================================
--- branches/uml/source/main/cMDEUniversalProperty.cc	2008-03-11 12:58:06 UTC (rev 2449)
+++ branches/uml/source/main/cMDEUniversalProperty.cc	2008-03-11 14:57:43 UTC (rev 2450)
@@ -13,7 +13,7 @@
 	
 	// Create the file...
 	std::string cmd = "cp " + _promela + " " + _property_file_name;
-	assert(system(cmd.c_str())!=0);
+	if (system(cmd.c_str())!=0) return;
 	
 	// Open the file in append mode...
 	std::ofstream outfile;
@@ -40,7 +40,7 @@
 	
 	// Create the file
 	std::string cmd = "cp " + _promela + " " + _witness_file_name;
-	assert(system(cmd.c_str())!=0);
+	if(system(cmd.c_str())!=0) return;
 	
 	// Open the file in append mode
 	std::ofstream outfile;