forked from thunkk/swipl-tester
-
Notifications
You must be signed in to change notification settings - Fork 0
agoluberg/swipl-tester
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
This contains the source code associated with the bachelor thesis "Development of an Automated Testing System for Swi-prolog" by Silver Schnur. SWI-Prolog version 7.2.3 and Python 3.5.2 were used to develop the tester. Gitpython is required to use repo_tester.py, which is designed to run tests against all possible commits in a Git repository. The current tester and tests used for that are not included, however the results produced by running the repo_tester.py are available in the CSV files. The PlUnit fork EPlUnit is available in the tests folder and any of the tests there can be executed by running "swipl -g run_tests [test_name]"
About
No description, website, or topics provided.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published
Languages
- Prolog 84.6%
- Python 14.6%
- Dockerfile 0.8%