TESTS := all_satisfy

include ../common.mak
