Sikraken is a new test data generator project for C code started in June 2024 by Dr Christophe Meudec, echancrure@gmail.com. It aims to achieve maximal 'branch' coverage.
It is a side project developed in an agile way by a team of one, part time; so don't expect miracles.
It reuses bits and pieces from other projects:
- a parser for C using lex/yacc (Flex/Bison flavour);
- a symbolic executor written in Prolog (ECLiPSe flavour);
- a solver PTC-Solver which uses Constraint Logic Programming (ECLiPSe flavour).
The initial goal is to move towards tackling Test-Comp benchmarks in an agile way.
Another commitment is to keep the Sikraken Development Guide Google Docs useful, uptodate and tidy.