Add nosched model results (for signal readers)

[urcu.git] / formal-model / urcu-nosched-model / result-standard-execution-nest / urcu_progress_writer.spin.input.trail

diff --git a/formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_progress_writer.spin.input.trail b/formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_progress_writer.spin.input.trail
new file mode 100644 (file)
index 0000000..e65d663
--- /dev/null
+++ b/formal-model/urcu-nosched-model/result-standard-execution-nest/urcu_progress_writer.spin.input.trail
@@ -0,0 +1,9 @@
+-2:3:-2
+-4:-4:-4
+1:0:2679
+2:1:2673
+3:1:2674
+4:1:2675
+5:1:2676
+6:0:2685
+7:5:1129