6 lines
181 B
Text
6 lines
181 B
Text
|
nonemptyStringVar : string := "content!";
|
||
|
|
Assert: nonemptyStringVar ≠ "";
|
||
|
|
Assert: nonemptyStringVar ≠ <>;
|
||
|
|
Assert: ¬nonemptyStringVar is empty;
|
||
|
|
Assert: |nonemptyStringVar| > 0;
|