add ticketlock test for wait-free (failed, as expected)

[urcu.git] / ticketlock-testwait / asserts.log

diff --git a/ticketlock-testwait/asserts.log b/ticketlock-testwait/asserts.log
new file mode 100644 (file)
index 0000000..1143d32
--- /dev/null
+++ b/ticketlock-testwait/asserts.log
@@ -0,0 +1,16 @@
+make[1]: Entering directory `/home/compudj/doc/userspace-rcu/ticketlock-testwait'
+rm -f pan* trail.out .input.spin* *.spin.trail .input.define
+cat DEFINES > .input.spin
+cat mem.spin >> .input.spin
+rm -f .input.spin.trail
+spin -a -X .input.spin
+spin: line  72 ".input.spin", Error: undeclared variable: do_pause     saw ''(' = '40''
+spin: line  72 ".input.spin", Error: syntax error      saw ''(' = '40''
+spin: line  86 ".input.spin", Error: bad call to proc_is_safe
+spin: line  86 ".input.spin", Error: bad call to proc_is_safe
+spin: line  86 ".input.spin", Error: bad call to proc_is_safe
+spin: line  86 ".input.spin", Error: bad call to proc_is_safe
+spin: line  86 ".input.spin", Error: bad call to proc_is_safe
+spin: line  80 ".input.spin", Error: proctype proc_X not found
+spin: 1 error(s) - aborting
+make[1]: Leaving directory `/home/compudj/doc/userspace-rcu/ticketlock-testwait'