source: CIVL/examples/compare/queue/Makefile@ aa6457c

1.23 2.0 main test-branch
Last change on this file since aa6457c was c9cfd85, checked in by Manchun Zheng <zmanchun@…>, 11 years ago

added a test for the memory leak of nonblocking queue

git-svn-id: ​svn://vsl.cis.udel.edu/civl/trunk@2501 fb995dde-84ed-4084-dfe6-e5aef3e2452c
  • Property mode set to 100644
File size: 408 bytes
RevLine 
[57732bb5]1CIVL=civl
2VERIFY=${CIVL} verify -userIncludePath=.
[c9cfd85]3REPLAY=${CIVL} replay -showTransitions
[57732bb5]4
5all: twoLock nonblocking
6
7twoLock: driver.cvl queue_two_lock.c
8 ${VERIFY} -collectOutput=false driver.cvl queue_two_lock.c
9
10nonblocking: driver.cvl queue_non_blocking.c
[c9cfd85]11 ${VERIFY} -min -inputN=1 -collectOutput=false driver.cvl queue_non_blocking.c
12 ${REPLAY} driver.cvl queue_non_blocking.c
[57732bb5]13
14clean:
15 rm -rf CIVLREP/*
Note: See TracBrowser for help on using the repository browser.