generate assertions from soft constraints in Alloy

gsdlab / clafer

Clafer is a lightweight modeling language

http://clafer.org

MIT License

45 stars 13 forks source link

generate assertions from soft constraints in Alloy #54

Closed mantkiew closed 9 years ago

mantkiew commented 10 years ago

Added syntax

assert [ ... ]

which gets translated to Alloy as

assert assertionOnLine<n> {
  ...
}
check assertionOnLine<n> for <the same scopes as in run command>

mantkiew commented 9 years ago

Implemented in these commits:

6bc94e1ed72f2744947587469b71748590430f77 f593008ef0dce0cabd2cc942f5a3adeaf6d36640 fefd99fc8957ace1f37f039bff1ce8ee1f226ee9 45ef7a223a6e2c063866cf3637082f7983a142fc