GuessTheSpec #2

1

Hi,

Here is a new challenge for this weekend: http://alloy4fun.inesctec.pt/rDMR6CPz4eDCPHHzW

Just to recall how this works:

  • You should write your candidate specification (one or more properties) inside predicate spec . You can actually change the rest of the model, but that is cheating :slight_smile:
  • If you press the execute button on the right you will either get a “No counter examples found” message, meaning you solved the challenge, or you will get a counter-example instance (already “beautified” with a minimal theme)
  • Notice that the counter-example can either be an instance that holds in your (incorrect) spec but not in the correct one, or the other way around, so think carefully about which one is the case
  • You can move the atoms around and ask for more counter-examples

And a tip that can help: if you write a false formula inside predicate spec, for example some none, you will only see instances that satisfy the correct specification.

Good luck,
Alcino

1 Like
2

Funny :slight_smile:

3

A nice feature would be that as gratification, once you succeed, you get to see the hidden spec, to compare with your own specification style.

4

Eventually I will share all the different correct specs that were submitted.