Predicate eightToThe
Gets the value of 8 to the power of n. Holds only for n in the range
0..10 (inclusive).
Import path
import codeql.NumberUtilsint eightToThe(int n)Gets the value of 8 to the power of n. Holds only for n in the range
0..10 (inclusive).
import codeql.NumberUtilsint eightToThe(int n)