public class JsCoerceIntShift extends Object
Constructor and Description |
---|
JsCoerceIntShift() |
Modifier and Type | Method and Description |
---|---|
static boolean |
exec(JsProgram program,
TreeLogger logger,
PropertyOracle[] propertyOracles)
If this permutation may be executed on WebKit, rewrite a >> b as ~~a >> b.
|
public static boolean exec(JsProgram program, TreeLogger logger, PropertyOracle[] propertyOracles)
program
- logger
- propertyOracles
- Copyright © 2018. All rights reserved.