Intstructions for using the interface. Input Program Choose an example program Select metric Evaluation steps Heap space Ticks Select degree 1 2 3 4 5 6 Module mode Analyze main Evaluate Upper bounds Lower bounds Constant resource RaML Output
