Testing logic with SPECFILE validation of stackdio