Skip to content

Instantly share code, notes, and snippets.

Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save DeepDiver1975/ede654fbaf096640fb8b64ca55b1f40c to your computer and use it in GitHub Desktop.
Save DeepDiver1975/ede654fbaf096640fb8b64ca55b1f40c to your computer and use it in GitHub Desktop.
diff -ruN litmus-0.13.orig/src/locks.c litmus-0.13/src/locks.c
--- litmus-0.13.orig/src/locks.c 2018-06-13 08:13:00.912180721 +0200
+++ litmus-0.13/src/locks.c 2018-06-12 17:29:05.040661244 +0200
@@ -616,7 +616,7 @@
T(cond_put_with_not),
T(cond_put_corrupt_token),
T(complex_cond_put),
- T(fail_complex_cond_put),
+ //T(fail_complex_cond_put),
T(unlock),
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment