Skip to content

Latest commit

 

History

History
31 lines (20 loc) · 970 Bytes

README.md

File metadata and controls

31 lines (20 loc) · 970 Bytes
Raw

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.