2241

Ran 15 Oct 2018 02:40AM UTC

Jobs 4

Files 0

Run time –

Badge

Embed ▾

pending completion

Build # 2241

Build Type

push

travis-ci

Committed by

marcogario

Commit Message

Fix StopIteration use in SmtLib parser (#521)

Introduced two different functions for consuming a token in the parser: consume_maybe and consume. The first will consume a new token if available, but stop the iteration if no token is available. The second will require that a token is available and throw an exception if this is not the case.

This makes the intent in the code much more clear. Previously, we were relying on StopIteration bubbling up the call stack to obtain the behavior of consume_maybe. However, this would not allow us to distinguish between a stream that ended abruptly and one that ended normally. 

This also fixes a bug in the management of extra_queue in the parser

Run Details

Jobs

ID	Job ID	Ran
1	2241.1 (PYSMT_SOLVER="all" PYSMT_GMPY="TRUE")	15 Oct 2018 02:40AM UTC	Travis Job 2241.1
2	2241.2 (PYSMT_SOLVER="all" PYSMT_GMPY="FALSE")	15 Oct 2018 02:40AM UTC	Travis Job 2241.2
14	2241.14 (PYSMT_SOLVER="all" PYSMT_GMPY="TRUE")	15 Oct 2018 02:55AM UTC	Travis Job 2241.14
15	2241.15 (PYSMT_SOLVER="all" PYSMT_GMPY="FALSE")	15 Oct 2018 02:57AM UTC	Travis Job 2241.15

Source Files on build 2241

Detailed source file information is not available for this build.

pysmt / pysmt / 2241

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 2241

pysmt / pysmt / 2241

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 2241

README BADGES
x