From 0b35af5ee0e660c810e22a09738ff1960745db23 Mon Sep 17 00:00:00 2001 From: Nathanael Sensfelder Date: Tue, 19 Sep 2017 16:12:54 +0200 Subject: Fixes anonymous strings, adds CNE_01100 test. --- data/property/CNE_01100.pro | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'data/property/CNE_01100.pro') 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") ) ) -- cgit v1.2.3-70-g09d2