run: Add %goals_final_check variable when evaluating tactics.
[goals.git] / tests / file2.c
2019-12-27 Richard W.M. JonesActually run goal code.