| summaryrefslogtreecommitdiff |
diff options
| author | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-08-01 10:04:25 +0200 |
|---|---|---|
| committer | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-08-01 10:04:25 +0200 |
| commit | 798dea30c7832f8c6364d1734423c6a6fda1ce57 (patch) | |
| tree | 908b316421d31c87d0c6f4603af8b6d464ab613e /instr-to-kodkod/parser | |
| parent | bc8e275546e2e6fe6bcf19ce42c0fab07eecdf4c (diff) | |
Fixes regex predicate + optimizes CNE_01700.
The combination of those two changes makes the solving much faster, but
since BCE does not have anything that would be matched, it may also
simply be incorrect.
Diffstat (limited to 'instr-to-kodkod/parser')
| -rw-r--r-- | instr-to-kodkod/parser/PropertyParser.g4 | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/instr-to-kodkod/parser/PropertyParser.g4 b/instr-to-kodkod/parser/PropertyParser.g4 index e6cd164..021f02c 100644 --- a/instr-to-kodkod/parser/PropertyParser.g4 +++ b/instr-to-kodkod/parser/PropertyParser.g4 @@ -340,8 +340,8 @@ regex_special_predicate [Variable current_node] ( Main.get_model().get_predicate_as_relation ( - "is_start_node" - ).transpose() + "string_matches" + ) ); } catch (final Exception e) |