Exo 언어: 설치, 개발 및 테스트 가이드
2025-03-14
Exo는 Python 3.9 이상을 지원하는 프로그래밍 언어입니다. pip를 사용하여 간편하게 설치할 수 있습니다. Exo 파일은 Python으로 직접 실행되며, exocc 명령어를 사용하여 C/헤더 파일을 생성할 수 있습니다. 개발에는 가상 환경 설정과 PySMT, CMake 등의 종속성 설치가 필요합니다. 테스트에는 z3-solver(또는 다른 솔버)와 CMake 3.21 이상이 필요합니다. 테스트는 다양한 시나리오를 포함하며 코드 커버리지 테스트를 지원합니다. 자세한 정보와 예제는 프로젝트 저장소에서 확인할 수 있습니다.
개발