source: CIVL/examples/compare/queue/Makefile@ 1ec9df3

1.23 2.0 main test-branch
Last change on this file since 1ec9df3 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
Line 
1CIVL=civl
2VERIFY=${CIVL} verify -userIncludePath=.
3REPLAY=${CIVL} replay -showTransitions
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
11 ${VERIFY} -min -inputN=1 -collectOutput=false driver.cvl queue_non_blocking.c
12 ${REPLAY} driver.cvl queue_non_blocking.c
13
14clean:
15 rm -rf CIVLREP/*
Note: See TracBrowser for help on using the repository browser.