all: compare

compare: 
	civl compare -spec adder_spec.c -impl -input_NPROCS=10 adder_par.c