diff --git a/N-Queens/queens_20_tla.json b/N-Queens/queens_20_tla.json index b254fab9efe5c457778355956c88328d7dc676a5..9804da75363581d62c1361deb5b75e2c3bac6990 100644 --- a/N-Queens/queens_20_tla.json +++ b/N-Queens/queens_20_tla.json @@ -11,8 +11,11 @@ "events": [ { "for":{"from":1,"to":"20"}, - "id":"gTiles%0", - "event":"Solve" + "for":{"from":1,"to":"20"}, + "id":"tile%0x%1", + "event":"Solve", + "predicates": [ "queens(%0)=%1"], + "hovers": [{ "attr":"opacity", "enter":"0.5", "leave":"1.0"}] } ] }