#! /bin/sh # Skyline timing tests. EXE=./skyline for sky in test-skylines/easy-* do echo time $EXE \< $sky time $EXE < $sky done for sky in test-skylines/hard-* do echo time $EXE \< $sky time $EXE < $sky done