From 4ff159aed786ffe40d9a2d4655e71faf34d4f061 Mon Sep 17 00:00:00 2001
From: John Regehr <regehr@cs.utah.edu>
Date: Sun, 3 Jul 2011 22:19:03 -0600
Subject: [PATCH] Disable unions until they are more debugged.

---
 utah/scripts/john_driver/random_test.pl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/utah/scripts/john_driver/random_test.pl b/utah/scripts/john_driver/random_test.pl
index 99eff89d6..705a0dff7 100755
--- a/utah/scripts/john_driver/random_test.pl
+++ b/utah/scripts/john_driver/random_test.pl
@@ -18,7 +18,7 @@
 my $PROVIDE_SEED = 1;
 
 my $XTRA = "";
-$XTRA .= " --force-globals-static ";
+$XTRA .= " --force-globals-static --no-unions --force-non-uniform-arrays";
 #$XTRA .= "--no-argc";
 #$XTRA .= "--concise ";
 #$XTRA .= "--no-paranoid ";