projects / satcheck.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Commit state of repository at time of OOPSLA 2015 submission.
[satcheck.git] / benchmarks / satcheck-precompiled / msqueueoffset / diff.sh
1 #!/bin/sh
2 NAME=msqueueoffset
3 diff -ub ../../satcheck/$NAME/ms-queue-simple.c.in ms-queue-simple.c
4
SATCheck ModelChecker