Index: tests/concurrent/mutexstmt/locks.cfa
===================================================================
--- tests/concurrent/mutexstmt/locks.cfa	(revision 1b97976c642f3a6d89db6c57bbf763b7b73bd784)
+++ tests/concurrent/mutexstmt/locks.cfa	(revision bbe3719f51f151b5ad865f6a0ca92c072ca4f23e)
@@ -4,5 +4,5 @@
 const unsigned int num_times = 10000;
 
-owner_lock m1, m2, m3, m4, m5;
+single_acquisition_lock m1, m2, m3, m4, m5;
 
 thread T_Mutex {};
@@ -65,5 +65,5 @@
 	printf("Start Test: single lock mutual exclusion\n");
 	{
-		T_Mutex t[1];
+		T_Mutex t[10];
 	}
 	printf("End Test: single lock mutual exclusion\n");