Add phase 3 : scalability run
[urcu.git] / formal-model / results / urcu-controldataflow-no-ipi / todo.sh
CommitLineData
dbf69285
MD
1echo testing no ipi
2make urcu_free | tee urcu_free.log
3echo testing no ipi
4make urcu_free_no_mb | tee urcu_free_no_mb.log
5echo testing no ipi
6make urcu_free_no_rmb | tee urcu_free_no_rmb.log
7echo testing no ipi
8make urcu_free_no_wmb | tee urcu_free_no_wmb.log
9echo testing no ipi
10make urcu_free_single_flip | tee urcu_free_single_flip.log
11echo testing no ipi
12make urcu_progress_writer | tee urcu_progress_writer.log
13echo testing no ipi
14make urcu_progress_reader | tee urcu_progress_reader.log
15echo testing no ipi
16make urcu_progress_writer_error | tee urcu_progress_writer_error.log
17echo testing no ipi
18make asserts | tee asserts.log
This page took 0.022993 seconds and 4 git commands to generate.