krr / IDP / issues / #658 - one of the idptests fails — Bitbucket

Issue #658 duplicate

Joachim Jansen created an issue 2014-01-31

idp/tests/progression/invariants/fallingblocks_false.idp

Output: Testing /home/joachim/documents/krr/idp/tests/progression/invariants/fallingblocks_false.idp syntax error on line 1 at item "tff". Error: The automated theorem prover ran out of time, gave up or stopped in an irregular state.

Comments (1)

Bart Bogaerts
- changed status to duplicate
Duplicate of ~~#610~~.
- 2014-01-31T10:22:22+00:00
Log in to comment

Assignee: Broes De Cat

Type: bug

Priority: major

Status: duplicate

Component: –

Version: –

Votes: 0

Watchers: 2

Jira: the preferred issue tracker for Bitbucket. Join the team!