Stack overflow during simpilfication. about vtil-core HOT 2 CLOSED

Hey, seems like there's an invalid directive causing a stack overflow, checking it right now, will fix and let you know in 1-2 hours.

from vtil-core.

expression X_00 = { {"X_00"}, 1 }; 
expression X_01 = { {"X_01"}, 1 }; 
expression X_02 = { {"X_02"}, 1 }; 
expression X_03 = { {"X_03"}, 1 };

expression a = ~( ( ( X_03 & X_00 ) ^ ( X_02 & X_01 ) ) & ( X_01 & X_00 ) );
log( "a = %s\n", a.to_string() );

expression b = ( ( X_03 & X_00 ) ^ ( X_02 & X_01 ) );
log( "b = %s\n", b.to_string() );

expression c = ~( a & b );
log( "c = %s\n", c.to_string() );

Snippet above produces the result below now:

a = ~(((X_03&X_00)^(X_02&X_01))&(X_01&X_00))
b = ((X_03&X_00)^(X_02&X_01))
c = (~((X_03&X_00)^(X_02&X_01))|(X_01&X_00))

Thanks for creating the issue and let me know if you experience any other problems :)

from vtil-core.