VERSIONS="0.1 0.2 0.3 git" PREFIX="presburger" for i in $VERSIONS ; do (cd $PREFIX-$i/src ; irulan --iterative-deepening --maximumRuntime=120 --no-maximumExpressionSize --no-maximumExpressionDepth --full-testsuite=Data.Integer.Presburger.tst --enable-show-results --enable-case-statements --no-cache --integers="[-1,0,1,2,101]" source Data.Integer.Presburger.hs ;) done # GIT SHA1 ID: f0133c3a36f42be820c9e02cef0b784ed9f18a5b # For the test suite comparison (see html output) irulan tsa presburger-0.3/src/Data.Integer.Presburger.tst presburger-git/src/Data.Integer.Presburger.tst # Output from the iterative deepening runs above (error causing expressions found) 0.1 Data.Integer.Presburger Data.Integer.Presburger: Results: 0.2 Data.Integer.Presburger Data.Integer.Presburger: Results: 0.3 Data.Integer.Presburger Data.Integer.Presburger: Results: git Data.Integer.Presburger Data.Integer.Presburger: Results: check (Exists (:| 0)) ==> ! divide by zero check (Not (Exists (:| 0))) ==> ! divide by zero check (Exists (:| 0)) ==> ! divide by zero check (:/\: TRUE (Exists (:| 0))) ==> ! divide by zero check (:/\: (Not FALSE) (Exists (:| 0))) ==> ! divide by zero check (:/\: (Exists (:| 0)) ?) ==> ! divide by zero check (:/\: (:\/: TRUE ?) (Exists (:| 0))) ==> ! divide by zero check (:/\: (:=>: ? TRUE) (Exists (:| 0))) ==> ! divide by zero check (:\/: FALSE (Exists (:| 0))) ==> ! divide by zero check (:\/: (Not TRUE) (Exists (:| 0))) ==> ! divide by zero check (:\/: (Exists (:| 0)) ?) ==> ! divide by zero check (:\/: (:/\: FALSE ?) (Exists (:| 0))) ==> ! divide by zero check (:=>: (Exists (:| 0)) FALSE) ==> ! divide by zero check (:=>: (Exists (:| 0)) (Not TRUE)) ==> ! divide by zero check (:=>: ? (Exists (:| 0))) ==> ! divide by zero check (:=>: (Exists (:| 0)) (:/\: FALSE ?)) ==> ! divide by zero check (:<=>: TRUE (Exists (:| 0))) ==> ! divide by zero check (:<=>: FALSE (Exists (:| 0))) ==> ! divide by zero check (:<=>: (Not TRUE) (Exists (:| 0))) ==> ! divide by zero check (:<=>: (Not FALSE) (Exists (:| 0))) ==> ! divide by zero check (:<=>: (Exists (:| 0)) ?) ==> ! divide by zero check (:<=>: (:/\: FALSE ?) (Exists (:| 0))) ==> ! divide by zero check (:<=>: (:\/: TRUE ?) (Exists (:| 0))) ==> ! divide by zero check (:<=>: (:=>: ? TRUE) (Exists (:| 0))) ==> ! divide by zero check (Not (Not (Exists (:| 0)))) ==> ! divide by zero check (Not (Exists (:| 0))) ==> ! divide by zero check (Not (:/\: TRUE (Exists (:| 0)))) ==> ! divide by zero check (Not (:/\: (Not FALSE) (Exists (:| 0)))) ==> ! divide by zero check (Not (:/\: (Exists (:| 0)) ?)) ==> ! divide by zero check (Not (:/\: (:\/: TRUE ?) (Exists (:| 0)))) ==> ! divide by zero check (Not (:/\: (:=>: ? TRUE) (Exists (:| 0)))) ==> ! divide by zero check (Not (:\/: FALSE (Exists (:| 0)))) ==> ! divide by zero check (Not (:\/: (Not TRUE) (Exists (:| 0)))) ==> ! divide by zero check (Not (:\/: (Exists (:| 0)) ?)) ==> ! divide by zero check (Not (:\/: (:/\: FALSE ?) (Exists (:| 0)))) ==> ! divide by zero check (Not (:=>: (Exists (:| 0)) FALSE)) ==> ! divide by zero check (Not (:=>: (Exists (:| 0)) (Not TRUE))) ==> ! divide by zero check (Not (:=>: ? (Exists (:| 0)))) ==> ! divide by zero check (Not (:=>: (Exists (:| 0)) (:/\: FALSE ?))) ==> ! divide by zero check (Not (:<=>: TRUE (Exists (:| 0)))) ==> ! divide by zero check (Not (:<=>: FALSE (Exists (:| 0)))) ==> ! divide by zero check (Not (:<=>: (Not TRUE) (Exists (:| 0)))) ==> ! divide by zero check (Not (:<=>: (Not FALSE) (Exists (:| 0)))) ==> ! divide by zero check (Not (:<=>: (Exists (:| 0)) ?)) ==> ! divide by zero check (Not (:<=>: (:/\: FALSE ?) (Exists (:| 0)))) ==> ! divide by zero check (Not (:<=>: (:\/: TRUE ?) (Exists (:| 0)))) ==> ! divide by zero check (Not (:<=>: (:=>: ? TRUE) (Exists (:| 0)))) ==> ! divide by zero