Changeset 3027


Ignore:
Timestamp:
Mar 29, 2013, 12:03:45 AM (4 years ago)
Author:
sacerdot
Message:

Another output used by the plug-in.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • driver/acc.ml

    r3026 r3027  
    7474  output_string och "__cost\n";
    7575  output_string och "__cost_incr\n";
     76  close_out och;
     77  let och = open_out (basename ^ ".stack_cerco") in
     78  output_string och "__stack_size\n";
     79  output_string och "__stack_size_max\n";
     80  output_string och "__stack_size_incr\n";
    7681  close_out och
    7782 end
Note: See TracChangeset for help on using the changeset viewer.