Bug in theoremprover
Theorem prover throws syntax error on attached file
(should run it in branch progression3.0)
Comments (13)
-
reporter -
Minimize the example a bit?
-
reporter - attached minimal.idp
Hier is een kleiner voorbeeldje. (minimal.idp)
Het is wel een andere bug. In dit voorbeeldje gaat het mis door de quotes die voorkomen
-
reporter - attached minimal2.idp
hier is een minimaal voorbeeldje met de originele bug: de ttf
-
reporter - attached minimal3.idp
En een minimaal voorbeeldje met nog een andere syntax error: onverwacht haakje.
Waarschijnlijk gerelateerd aan de vorige aangezien er in allebei aggregaten staan.
-
reporter Added two new invariant tests, testing more of the system.
One of those two still fails. This is a bug in the theorem prover, see
#610→ <<cset 12e74bdc37ee>>
-
reporter Added two new invariant tests, testing more of the system.
One of those two still fails. This is a bug in the theorem prover, see
#610→ <<cset dc1e1b1bc990>>
-
reporter Added two new invariant tests, testing more of the system.
One of those two still fails. This is a bug in the theorem prover, see
#610→ <<cset 4b6843d68e50>>
-
reporter Added two new invariant tests, testing more of the system.
One of those two still fails. This is a bug in the theorem prover, see
#610→ <<cset 970c3877b06d>>
-
- changed status to resolved
-
reporter - changed status to open
One of the two tests added earlier still fails
-
reporter Issue
#658was marked as a duplicate of this issue. -
- changed status to resolved
- Log in to comment
Added two new invariant tests, testing more of the system.
One of those two still fails. This is a bug in the theorem prover, see
#610→ <<cset 9e51ee141705>>