Auswertung von Ausdrücken von links nach rechts funktioniert nicht

team-worthwhile / worthwhile

PSE am KIT 2011/12: Programmverifikation (Team 2)

BSD 3-Clause "New" or "Revised" License

5 stars 3 forks source link

Closed jspam closed 12 years ago

jspam commented 12 years ago

Es gibt einen Syntaxfehler bei folgendem Ausdruck:

Boolean x := true && true && true

Priorität: hoch :)

jspam commented 12 years ago

Behoben in 8b38c8565620a9fa0761d8ad0b0cb28c2b404666