update readme to include more files

Author: CatarinaGamboa

README.md

@@ -46,7 +46,7 @@ Make sure to run these tests after making changes in the verification code.
 ## Project structure
 - **docs**: documents used for the design of the language. The folder includes a readme to a full artifact used in the design process, here are some initial documents used to prepare the design of the refinements language at its evaluation
 - **liquidjava-api**: inlcudes the annotations that can be introduced in the Java programs to add the refinements
-- **liquidjava-examples**: includes a main folder with the current example that the verifier is testing; and inlcudes the classes for the tests
+- **liquidjava-examples**: includes a main folder with the current example that the verifier is testing; the test suite that is used in maven test is under the `testSuite` folder
 - **liquidjava-verifier**: has the project for verification of the classes
     - *api*: classes that test the verifier. Includes the `CommandLineLauncher` that runs the verification on a given class or on the main folder of `liquidjava-examples` if no argument is given. This package includes the JUnit tests to verify if the examples in `liquidjava-example/tests` are correctly verified.
     - *ast*: represents the abstract syntax tree of the refinement's language.
@@ -55,3 +55,4 @@ Make sure to run these tests after making changes in the verification code.
     - *rj_language*: handles the processing of the strings with refinements.
     - *smt*: package that handles the translation to the smt solver and the processing of the results the smt solver produces.
     - *utils*: includes useful methods for all the previous packages.
+    - *test/java/liquidjava/api/tests* contains the `TestExamples` class used for running the testSuite