| summaryrefslogtreecommitdiff |
diff options
| author | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-09-19 16:12:54 +0200 |
|---|---|---|
| committer | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-09-19 16:12:54 +0200 |
| commit | 0b35af5ee0e660c810e22a09738ff1960745db23 (patch) | |
| tree | 46adb210a3a4c0d70f2be5f0e4a6767860fa05e8 /data/property/CNE_01100.pro | |
| parent | 8a15d57b056cf84aa9b2ae0234bf5bc432b414c3 (diff) | |
Fixes anonymous strings, adds CNE_01100 test.
Diffstat (limited to 'data/property/CNE_01100.pro')
| -rw-r--r-- | data/property/CNE_01100.pro | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/data/property/CNE_01100.pro b/data/property/CNE_01100.pro index ddeb4e3..ad94747 100644 --- a/data/property/CNE_01100.pro +++ b/data/property/CNE_01100.pro @@ -5,15 +5,15 @@ (not (or (and - (string_matches [identifier pt] "i_.*") + (string_matches [identifier pt] "^i_.*") (has_mode pt "in") ) (and - (string_matches [identifier pt] "o_.*") + (string_matches [identifier pt] "^o_.*") (has_mode pt "out") ) (and - (string_matches [identifier pt] "b_.*") + (string_matches [identifier pt] "^b_.*") (has_mode pt "inout") ) ) |