Add nosched model results (for signal readers)

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

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