Accept comments in reference traces.

diff --git a/tracematch.py b/tracematch.py
index 9ffd310880323763b0c7705712cdd8dd1ad0ea71..c1e0948210e8405ba8fdcca6ef3dc1a8680429f2 100755 (executable)
--- a/tracematch.py
+++ b/tracematch.py
@@ -440,6 +440,9 @@ class CallScanner(Scanner):
         # whitespace
         (SKIP, r'[ \t\f\r\n\v]+', False),
 
+        # comments
+        (SKIP, r'//[^\r\n]*', False),
+
         # Alphanumeric IDs
         (ID, r'[a-zA-Z_][a-zA-Z0-9_]*(?:::[a-zA-Z_][a-zA-Z0-9_]*)?', True),