formal-model/results/urcu-controldataflow-no-ipi/todo.sh

   1 echo testing no ipi
   2 make urcu_free | tee urcu_free.log
   3 echo testing no ipi
   4 make urcu_free_no_mb | tee urcu_free_no_mb.log
   5 echo testing no ipi
   6 make urcu_free_no_rmb | tee urcu_free_no_rmb.log
   7 echo testing no ipi
   8 make urcu_free_no_wmb | tee urcu_free_no_wmb.log
   9 echo testing no ipi
  10 make urcu_free_single_flip | tee urcu_free_single_flip.log
  11 echo testing no ipi
  12 make urcu_progress_writer | tee urcu_progress_writer.log
  13 echo testing no ipi
  14 make urcu_progress_reader | tee urcu_progress_reader.log
  15 echo testing no ipi
  16 make urcu_progress_writer_error | tee urcu_progress_writer_error.log
  17 echo testing no ipi
  18 make asserts | tee asserts.log