rgrig opened this issue 13 years ago · 0 comments
The command toplc -i dir prop.topl compiles all the properties in the file prop.topl. It would be nice to select properties by their name.
toplc -i dir prop.topl