Ignore:
Timestamp:
Mar 28, 2013, 11:21:44 PM (7 years ago)
Author:
sacerdot
Message:
  1. two syntax errors in instrumented files fixed
  2. the compiler now is compliant with the -o option
File:
1 edited

Legend:

Unmodified
Added
Removed
  • driver/clightPrinter.ml

    r2792 r3025  
    418418  | Cost_instrumented (_,scm) ->
    419419    let cost = stack_cost_for scm id in
    420     fprintf p "__stack_cost_incr(%d);@ " cost;
     420    fprintf p "__stack_size_incr(%d);@ " cost;
    421421    return_cost := Some cost
    422422  );
     
    660660      fprintf str_formatter "void __stack_size_incr(int incr) {@\n";
    661661      fprintf str_formatter "  __stack_size = __stack_size + incr;@\n";
    662       fprintf str_formatter "  __stack_size_max = __stack_size_max < __stack_size ? __stack_size : __stack_size_max@\n}@\n@\n"
     662      fprintf str_formatter "  __stack_size_max = __stack_size_max < __stack_size ? __stack_size : __stack_size_max;@\n}@\n@\n"
    663663  | _ -> ());
    664664  print_program_2 str_formatter prog;
Note: See TracChangeset for help on using the changeset viewer.