lichye opened this issue 2 years ago · 0 comments
Nowtime rewriter cannot rewrite the variable inside "print_cex". I will look into that.