Skip to content

Latest commit

 

History

History
47 lines (33 loc) · 1.06 KB

20-contribution.md

File metadata and controls

47 lines (33 loc) · 1.06 KB

Development

This section requires having followed the installation instructions.

As the frontend depends on the backend,
running the frontend development server compiles the backend binary,
before executing it to serve request from http://localhost:3001 by default.

The SafePKT web application will then be available from http://localhost:3000.

make run-frontend

Health check

A simple health check command can be executed for the backend:

curl http://127.0.0.1:3001/steps

which should output

{
  "steps": [
    "program_verification",
    "source_restoration"
  ]
}

There are also logs available from ./backend/logs directory

tail -fn100 ./backend/log/backend.log

Table of contents