This tool aims to automate the FORTES method that aims to automate to extract the safety properties from C code 	  generated by ESBMC to generate automatically testcases using the assertions, in this case adopting the CUnit Framework Unit Test.