all: 03_incdec_true bug4 queue_ok_longest_true read_write_lock_false sync01_true

03_incdec_true: 03_incdec_true.c
	./lazy-cseq.py -i 03_incdec_true.c --spec ALL.prp
	
bug4: bug4.c
	./lazy-cseq.py -i bug4.c --spec ALL.prp
	
queue_ok_longest_true: queue_ok_longest_true.c
	./lazy-cseq.py -i queue_ok_longest_true.c --spec ALL.prp
	
read_write_lock_false: read_write_lock_false.c
	./lazy-cseq.py -i read_write_lock_false.c --spec ALL.prp
	
sync01_true: sync01_true.c
	./lazy-cseq.py -i sync01_true.c --spec ALL.prp