Ejemplo n.º 1
0
void flow_insensitive_analysis_baset::operator()(
  const goto_programt &goto_program)
{
  initialize(goto_program);
  goto_functionst goto_functions;
  fixedpoint(goto_program, goto_functions);
}
Ejemplo n.º 2
0
void static_analysis_baset::operator()(
  const goto_programt &goto_program)
{
  initialize(goto_program);
  goto_functionst goto_functions;
  fixedpoint(goto_program, goto_functions);
}
Ejemplo n.º 3
0
Archivo: fixedpoint.c Proyecto: 8l/rose
int main() {

const double tol = 5e-10;
double root;
int its, success;
root = fixedpoint(&funct, 1.0, tol, 50, &its, &success);
if (success == 2) {
	printf("The root is %.12f\n",root);
	printf("%u iterations were used to find the root\n",its);
}
else if (success == 0) {
	printf("The maximum number of iterations has been reached\n");
}
}
Ejemplo n.º 4
0
void static_analysis_baset::operator()(
  const goto_functionst &goto_functions)
{
  initialize(goto_functions);
  fixedpoint(goto_functions);
}