{"id":18258743,"url":"https://github.com/maaarcocr/atfmc","last_synced_at":"2025-06-26T13:36:49.850Z","repository":{"id":128756033,"uuid":"48960786","full_name":"Maaarcocr/ATFMC","owner":"Maaarcocr","description":"An Automatic Tester For Model Checker","archived":false,"fork":false,"pushed_at":"2016-01-06T11:02:15.000Z","size":739,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":2,"default_branch":"master","last_synced_at":"2025-06-07T18:06:57.409Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"Haskell","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/Maaarcocr.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null}},"created_at":"2016-01-03T21:07:43.000Z","updated_at":"2016-01-03T21:24:10.000Z","dependencies_parsed_at":"2023-03-17T05:00:41.065Z","dependency_job_id":null,"html_url":"https://github.com/Maaarcocr/ATFMC","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/Maaarcocr/ATFMC","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Maaarcocr%2FATFMC","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Maaarcocr%2FATFMC/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Maaarcocr%2FATFMC/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Maaarcocr%2FATFMC/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/Maaarcocr","download_url":"https://codeload.github.com/Maaarcocr/ATFMC/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Maaarcocr%2FATFMC/sbom","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":262077156,"owners_count":23255132,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2024-11-05T10:34:15.704Z","updated_at":"2025-06-26T13:36:49.821Z","avatar_url":"https://github.com/Maaarcocr.png","language":"Haskell","funding_links":[],"categories":[],"sub_categories":[],"readme":"# ATFMC: An Automatic Tester For Model Checker\n\nHello, I'm Marco, a CS student at UCL.\n\nOur CW for the Chirstmas holiday 2015 was to create a Model Checker for first order logic formulas. In order to test the correctness of the programm I have created a little script that automatically test the model checker against different formulas.\n\nNow I want to share what I have done to help my coursemates and also to share my first personal and little project. I hope that this little script will help you test your model checker. \n\n##How to use the script:\n\nTo make the script works first download it with the folder resources. Then copy and paste both the script and the resources in the folder where you graph script is. Please make sure that you have compiled your graph.c using: \n\n```\n$ gcc -o graph graph.c\n```\n\nSecondly and finally run these commands in your terminal: \n```sh\n$ chmod u+x ./script.sh\n$ ./script.sh\n```\nNow the script should run and you should read from the terminal if your model checker has generated the \ncorrect answers.\n\nIn case the script gives you some errors or strange results be sure that your main function, in graph.c, prints at the very end either:\n```c\nprintf(\"The formula %s is true\\n\", name); \n```\nor:\n```c\nprintf(\"The formula %s is false\\n\", name);\n```\nN.B. You need to have ghci installed in your machine in order to run the script.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fmaaarcocr%2Fatfmc","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fmaaarcocr%2Fatfmc","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fmaaarcocr%2Fatfmc/lists"}