Instructions
1 Select one of the predefined examples or write your own vml program to analyze.
2 Click Analyze to produce the behavioral type of the program and its corresponding cost equations.
3 Click Calculate Costs to solve the cost equations using CoFloCo.
Input program
//TODO: Select an example or write your own code
Behavioral type
//TODO: Click analyze to infer program behavioral type
Cost Equations
//TODO: Click analyze to calculate cost equations
Upper bounds
//TODO: Click 'Calculate Cost' to solve the cost equations