verify: linkedListSpec.c
	tass verify linkedListSpec.c
