Project developed for the Formal Semantics subject at UFRGS (Universidade Federal do Rio Grande do Sul)
O projeto é composto pelas seguintes pastas:
- Tests
Contém os testes que usamos durante o desenvolvimento do projeto.
Para a execução de todos, deve-se ter instalado em sua máquina a biblioteca de testes pytest, navegar até essa pasta e executar:
pytest -v *.py
- PresentationDemo
Contém os arquivos que executamos durante a apresentação do trabalho prático. Contém algumas expressões que consideramos as mais relevantes. Para a execução de algum dos arquivos, deve-se navegar até essa pasta e executar:
python3 <nome-do-arquivo>
Por exemplo, para executar o arquivo fun_raise.py:
python3 fun_raise.py