summaryrefslogtreecommitdiff
path: root/instr-to-kodkod/parser/PropertyLexer.g4
diff options
context:
space:
mode:
authorNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2017-09-05 10:03:12 +0200
committerNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2017-09-05 10:03:12 +0200
commita2baff0fd7b88052403cc661253c229acde5e011 (patch)
tree865b75cfdfa4cdfc17420e5acdab2b0088f64635 /instr-to-kodkod/parser/PropertyLexer.g4
parent58355e0256b075f9ae74e04e52f9ff3b4c191572 (diff)
Enables verbose mode.instance-calculator
Apparently, Kodkod gets stuck on the "translating to booleans" part.
Diffstat (limited to 'instr-to-kodkod/parser/PropertyLexer.g4')
0 files changed, 0 insertions, 0 deletions