Differences

This shows you the differences between two versions of the page.

--- language:debugging [2023/04/09 23:15] – created rajit
+++ language:debugging [2025/05/18 19:49] (current) – [Assertions] rajit
@@ Line 23: / Line 23: @@
 bool b;
-{ a !== b : "a and b are connected connected!" };  // this will pass
+{ a !== b : "a and b are connected!" };  // this will pass
 a = b;
 { a === b : "a and b are not connected!" }; // this will pass
-{ a !== b : "a and b are connected connected!" };  // this will fail
+{ a !== b : "a and b are connected!" };  // this will fail
 </code>
@@ Line 33: / Line 33: @@
 ===== Log Messages =====
+ACT supports debug log messages in verbose mode. A debug log statement can be written as:
+<code act>
+...
+${ "Hello!" };   // log message "Hello"
+...
+</code>
+When this construct is encountered, a log message is displayed. By default these messages are ignored; to see them, use the ''-Vconfig'' ACT command-line option to any ACT tool. (Note that this will also display the names of the configuration files loaded by ACT.)
+A log message can include multiple values,  including parameter expressions. This can be useful to check values of parameters.
+<code act>
+${ "Parameter i has value ", i };  // display the value of i
+</code>