Build instructions reference wrong directory

loonwerks / formal-methods-workbench

Other

20 stars 7 forks source link

Closed smithdtyler closed 5 years ago

smithdtyler commented 5 years ago

The top level readme says:

$ cd formal-methods-workbench $ mvn clean install

The directory formal-methods-workbench does not have a pom.xml.

kfhoech commented 5 years ago

Updated README.md to reflect the top-level tool build is in the tools directory.