team-worthwhile / worthwhile

PSE am KIT 2011/12: Programmverifikation (Team 2)
BSD 3-Clause "New" or "Revised" License
5 stars 3 forks source link

Example programs from online help contain errors #18

Closed tbormer closed 12 years ago

tbormer commented 12 years ago

Some examples in the worthwhile help contain syntax errors, e.g.,

  1. Language reference -> Program structure -> Programs: Unicode symbol for multiplication gives no viable alternative and exponent := exponent - 1 results in Paramters of a function may not be changed.
  2. [...] -> Loops: assignment is written i = i + 1 instead of i := i + 1

Although this is just a minor issue it would be nice to be able to cut&paste programs into the worthwhile editor as is.

(using binary from http://builds.pse.ndreke.de/)