X-Git-Url: http://git.liburcu.org/?p=urcu.git;a=blobdiff_plain;f=formal-model%2Fresults%2Furcu-controldataflow-no-ipi%2Ftodo.sh;fp=formal-model%2Fresults%2Furcu-controldataflow-no-ipi%2Ftodo.sh;h=f2bcdf6709db2d526cce5024c3a2ca5ea43f3892;hp=0000000000000000000000000000000000000000;hb=dbf6928575dc30b5d8602b9a50ca385670f26ff1;hpb=6b0de96380f9abdb7a77b79d3b2d0cf5762f266f

diff --git a/formal-model/results/urcu-controldataflow-no-ipi/todo.sh b/formal-model/results/urcu-controldataflow-no-ipi/todo.sh
new file mode 100644
index 0000000..f2bcdf6
--- /dev/null
+++ b/formal-model/results/urcu-controldataflow-no-ipi/todo.sh
@@ -0,0 +1,18 @@
+echo testing no ipi
+make urcu_free | tee urcu_free.log
+echo testing no ipi
+make urcu_free_no_mb | tee urcu_free_no_mb.log
+echo testing no ipi
+make urcu_free_no_rmb | tee urcu_free_no_rmb.log
+echo testing no ipi
+make urcu_free_no_wmb | tee urcu_free_no_wmb.log
+echo testing no ipi
+make urcu_free_single_flip | tee urcu_free_single_flip.log
+echo testing no ipi
+make urcu_progress_writer | tee urcu_progress_writer.log
+echo testing no ipi
+make urcu_progress_reader | tee urcu_progress_reader.log
+echo testing no ipi
+make urcu_progress_writer_error | tee urcu_progress_writer_error.log
+echo testing no ipi
+make asserts | tee asserts.log