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