fmelosilva/check-framework-sample

Simple testing example in C

This is a simple sample written in C using Check Framework. This sample focus on testing some basic properties of an array structure.

Running

Before running, you must install the following dependencies:

• GCC
• Make
• Check Framework

Build the test binary

make

After build the test binary, run the test cases

./test

Running with docker

Build test image

docker image build -t test .

Run tests

docker container run -it test