[ travis ] install the last version of shelltestrunner

asr / apia

Haskell program for proving first-order theorems written in Agda using automatic theorem provers for first-order logic

MIT License

6 stars 0 forks source link

[ travis ] install the last version of shelltestrunner #95

Closed jonaprieto closed 7 years ago

jonaprieto commented 7 years ago

I suggest considering this version. As you know is not easy to find out where or what fails in a test with this tool. With the last version, we got additional information about the Command that caused the failure.

This is new:

:test/basics/basics.test:20: [Failed]
Command:
myprogram --version
Expected exit code: "\"1\""
Got exit code:      "0"

with cabal install shelltestrunner, we got:

:test/basics/basics.test:20: [Failed]

Expected exit code: "\"1\""
Got exit code:      "0"

asr commented 7 years ago

I got confused by the PR title '...last version...'. I guess you meant '...upstream version...'.

Anyway, I'm aware of the shelltestrunner changes, but I don't want to deal with its upstream version. I suggest to request a new release version using https://github.com/simonmichael/shelltestrunner/issues/5.