steps property

int steps
final

How many steps the determinism, switching and budget runs take.

Implementation

final int steps;