search

Barnard-PL-Labs / tsltools

Library and tools for the TSL specification format
Other
7 stars 4 forks source link

mult instead of div #40

Closed ravenrothkopf closed 1 year ago

ravenrothkopf commented 1 year ago 
always assume{

}
always guarantee{
    [x <- x / 2];
}

generates 

if (currentState ==  0 ){
    if (true){
        x = mult(x, 2);
        currentState = 0;
    }
}
leoqiao18 commented 1 year ago

Fixed in PR #42