KID2 Application Prototype

A notebook to chain and persist common verification tasks.

Installation

Currently there is no non-development build of the application.

Development

Data formats

Please see data formats

Install the dependencies

This application requires node and npm to be installed. To install it, please run:

npm i

Run the application

Without the optional development replication server:

npm run dev:next

With a replication server:

npm run dev

Build the application

To build the application as a static site run:

npm run build

To serve the build run:

npm run start

Testing

We use cypress as a test runner, which executes tests in multiple environments, such as browsers and electron.

Running the tests programatically

To run the tests in the command line, you can write:

npm run cypress:run

This will use headless browsers to run the tests and return the results

Running the tests interactively

To play with and run the tests during development, you can use the command:

npm run cypress:open