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