Changeset 571 for trunk/softs/test_llsc/scripts/run_simus.py

Timestamp:

Oct 31, 2013, 5:47:51 PM (11 years ago)

Author:

meunier

Message:

Correction of the "double barrier" problem from the user point of view for the generated llsc tests (use of 2 distinct barriers)

File:

• trunk/softs/test_llsc/scripts/run_simus.py (modified) (2 diffs)

trunk/softs/test_llsc/scripts/run_simus.py

@@ -23 +23 @@
 nb_locks = 20
 nb_max_incr = 2000
-nb_procs = 4
+nb_procs = 64
 
 
@@ -105 +105 @@
    # Quit if results obtained by simulation are incorrect
    print "diff", term_filename, os.path.join(data_dir, res_natif)
-   output = subprocess.Popen([ 'diff', term_filename, os.path.join(data_dir, res_natif) ]).communicate()[0]
-   if output != None:
+   output = subprocess.Popen([ 'diff', term_filename, os.path.join(data_dir, res_natif) ], stdout = subprocess.PIPE).communicate()[0]
+   if output != "":
       break;