43c43
< if options.timing:
---
> if options.cpu_type == "timing":
45c45
< elif options.detailed:
---
> elif options.cpu_type == "detailed":
50c50
< elif options.inorder:
---
> elif options.cpu_type == "inorder":