Verifiable Code-Writing Tests for CS Students

This application attempts to apply formal methods (D. Gries style) to specification and verification of code-writting tasks for CS students.

It is still under development, but you can already use it for all the task examples we have and the other ones you come up with (see task files in /tasks for example of a task structure).

Steps You Need to Get it Runnging

1. Install Node.js.

2. Clone repository with

   git clone https://github.com/harrytallbelt/verifiable-tests.git

   or just download and unzip it.

3. Enter the repo directory:

   cd verification-tests

4. Install dependencies:

   npm install

5. Run it with

   node server.js

   and check out localhost:3000 in your browser.

6. If you want to run on a different interface or choose a different port, set VTESTS_HOST and VTESTS_PORT environment variables.