Commit 12949aa5 authored by Markus Klinik's avatar Markus Klinik
Browse files


parent 5d36f3bc
......@@ -68,6 +68,10 @@ file, and you have to use no-bs to log in to Brightspace. This needs to be done
only once. Logging in with no-bs stores a long-term authentication cookie on
your computer.
The basic steps to set up no-bs are described in this README. For more
information about no-bs see
1. Clone repository
......@@ -140,10 +144,6 @@ $ ./personal-prof run <course-name> <folder-id> <target-directory> <ruleset-name
# Contributing
If you want to work on Personal Prof, use eclipse-rcp.
## Developing the rules
To develop rascal code, use eclipse-rcp. Follow the instructions here:
......@@ -154,11 +154,15 @@ There are some test projects and test cases to check that the rules give
correct error messages. To run the tests, use the test script. The test script
looks for all files `*Spec.rsc` and executes them
$ ./
$ ./
To test only specific files, specify them on the command line.
$ ./ Assignment02RulesSpec.rsc Assignment03RulesSpec.rsc
$ ./ Assignment02RulesSpec.rsc Assignment03RulesSpec.rsc
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment