add seqlock

[model-checker-benchmarks.git] / seqlock / seqlock

diff --git a/seqlock/seqlock b/seqlock/seqlock
new file mode 100755 (executable)
index 0000000..32a01ab
Binary files /dev/null and b/seqlock/seqlock differ