
verify: multierr.c
	tass verify -errorBound=10 multierr.c
