bloom-lang/bud — Issue #253: Tool support for CALM analysis
Author: neilconway
Created: 2011-10-16 03:34:15+00:00
State: open

We don't actually have a programmatic way to check if a program satisfies the CALM analysis (other than "stare at the budplot output looking for ..."). It would be nice to provide some simple analysis tools to do this automatically.