verify: skewFactorSpec.c
	tass verify -inputN_BOUND=4 skewFactorSpec.c

compare: skewFactorSpec.c skewFactorImpl.c
	tass compare -inputN_BOUND=4 skewFactorSpec.c skewFactorImpl.c
