ASMETA: a tool set for the ASM / Bugs / #26 LocationVars in Choose e Forall

#26 LocationVars in Choose e Forall

Status: open

Owner: Angelo Gargantini

Labels: interpreter (10)

Priority: 5

Updated: 2007-07-22

Created: 2007-07-22

Private: No

Il simulatore non supporta le location variables in choose e forall.
Vedi esempi cluster.asm e locationvarchoose.asm

acarioni - 2009-05-19

Per ora la questione rimane insoluta.

If you would like to refer to this comment somewhere else in this project, copy and paste the following link: