Hi, all
I find the syntax of "check that" in Specman E language reference is as follows:
Syntax
check [[name] that] bool-exp [[then] true-block] [else dut-error-action]
So I can add some actions if the check succeed in the true-block, but result in compile error, could someone give me a hand, and tell me where it's the error. here is my code:
check that <list_name>.is_empty() then {
out("list is empty");
}
else {
out("list is not empty");
};
BRs