Adjust output to new oneshotness
authorJoachim Breitner <mail@joachim-breitner.de>
Thu, 12 Dec 2013 11:59:33 +0000 (11:59 +0000)
committerJoachim Breitner <mail@joachim-breitner.de>
Thu, 12 Dec 2013 15:04:10 +0000 (15:04 +0000)
commitd39bb030f93cb9fda405875cd17204062b9b6074
tree1ccddacfc9a2297a58dde4c9fdf00bec29e780c3
parent0da1a84dde57549a3e2cd3c756d6b05670ca4f8f
Adjust output to new oneshotness
testsuite/tests/deSugar/should_compile/T2431.stderr
testsuite/tests/numeric/should_compile/T7116.stdout
testsuite/tests/simplCore/should_compile/T3717.stderr
testsuite/tests/simplCore/should_compile/T3772.stdout
testsuite/tests/simplCore/should_compile/T4908.stderr
testsuite/tests/simplCore/should_compile/T4930.stderr
testsuite/tests/simplCore/should_compile/T5366.stdout
testsuite/tests/simplCore/should_compile/T7360.stderr
testsuite/tests/simplCore/should_compile/T7865.stdout
testsuite/tests/simplCore/should_compile/spec-inline.stderr
testsuite/tests/stranal/sigs/UnsatFun.stderr