Int como datatype quebra a simulação em Alloy

[BernardoFBBraga]

Int em Alloy vira "keyword" e quebra a simulação. Só simula casos triviais.

https://drive.google.com/open?id=0B5fdyDU6BxubTmU2cXpQaW55ZmM

esse arquivo tem um caso que isso acontece.

[freddybrasileiro]

@BernardoFBBraga, acho que o mapeamento de tipos primitivos deve estar mapeado em hard code... Provavelmente, se você colocar int (com letra minúscula), resolve...

Mas é claro que a gente precisa pensar no que fazer nesses casos

[johnguerson]

Bug Fix with Issue 59. Available at the future release 1.1.2.
Causa: Em vez de substituir a palavra reservada alloy para 'keyword' (o que obviamente leva a erros de simulação), agora mantemos o nome original do tipo acrescentado de '' (underline). Assim, a simulação nesse caso reconheceria esse tipo Int como "Int".

[BernardoFBBraga]

OK. sugestão de usar a palavra chave Int do Alloy em: #65