marabou wrote:

> 
> hello,
> how do i handle strings, if i want to create the following:
> 
> #macro mymacro(this)
>         #if (this = "myvalue")
>                 ...
>         #end
> #end
> 
> mymacro(myvalue)
> 
or is there anything like strcmp(A,B) in v3.1?

Post a reply to this message