The requested URL was not found on the server. If you entered the URL manually please check your spelling and try again.

[lucasccordeiro]

I've followed all steps in the README file.

I've this:

lucas@rafael-sapienti:~$ cd esbmc-web/
lucas@rafael-sapienti:~/esbmc-web$ git pull --rebase
Already up to date.
lucas@rafael-sapienti:~/esbmc-web$ python -m venv venv
lucas@rafael-sapienti:~/esbmc-web$ source venv/bin/activate
(venv) lucas@rafael-sapienti:~/esbmc-web$ pip install -r backend/requirements.txt
Requirement already satisfied: ast2json in ./venv/lib/python3.10/site-packages (from -r backend/requirements.txt (line 1)) (0.4)
Requirement already satisfied: flask in ./venv/lib/python3.10/site-packages (from -r backend/requirements.txt (line 2)) (3.1.2)
Requirement already satisfied: flask-cors in ./venv/lib/python3.10/site-packages (from -r backend/requirements.txt (line 3)) (6.0.1)
Requirement already satisfied: GitPython in ./venv/lib/python3.10/site-packages (from -r backend/requirements.txt (line 4)) (3.1.45)
Requirement already satisfied: click>=8.1.3 in ./venv/lib/python3.10/site-packages (from flask->-r backend/requirements.txt (line 2)) (8.3.0)
Requirement already satisfied: itsdangerous>=2.2.0 in ./venv/lib/python3.10/site-packages (from flask->-r backend/requirements.txt (line 2)) (2.2.0)
Requirement already satisfied: jinja2>=3.1.2 in ./venv/lib/python3.10/site-packages (from flask->-r backend/requirements.txt (line 2)) (3.1.6)
Requirement already satisfied: werkzeug>=3.1.0 in ./venv/lib/python3.10/site-packages (from flask->-r backend/requirements.txt (line 2)) (3.1.3)
Requirement already satisfied: blinker>=1.9.0 in ./venv/lib/python3.10/site-packages (from flask->-r backend/requirements.txt (line 2)) (1.9.0)
Requirement already satisfied: markupsafe>=2.1.1 in ./venv/lib/python3.10/site-packages (from flask->-r backend/requirements.txt (line 2)) (3.0.3)
Requirement already satisfied: gitdb<5,>=4.0.1 in ./venv/lib/python3.10/site-packages (from GitPython->-r backend/requirements.txt (line 4)) (4.0.12)
Requirement already satisfied: smmap<6,>=3.0.1 in ./venv/lib/python3.10/site-packages (from gitdb<5,>=4.0.1->GitPython->-r backend/requirements.txt (line 4)) (5.0.2)
(venv) lucas@rafael-sapienti:~/esbmc-web$ python backend/app.py
 * Serving Flask app 'app'
 * Debug mode: on
WARNING: This is a development server. Do not use it in a production deployment. Use a production WSGI server instead.
 * Running on http://127.0.0.1:5000
Press CTRL+C to quit
 * Restarting with stat
 * Debugger is active!
 * Debugger PIN: 701-450-886
127.0.0.1 - - [01/Dec/2025 11:05:07] "GET / HTTP/1.1" 404 -

When I try to access the link, I get this:

[silvanojunior-web]

This confirms that the server is working. You will need to access the frontend folder and open the index.html file according to your browser.