jwaldmann / haskell-tpdb

parser and prettyprinter for TPDB syntax (termination problem data base)
2 stars 2 forks source link

add "attributes" data to benchmark #17

Open jwaldmann opened 8 years ago

jwaldmann commented 8 years ago

For analysis in star-exec-presenter, we'd like to use information like

The user can compute this, of course, but it'd be nice to compute some of this already when the benchmark is parsed (and store it).