GitHub - ab4972/ImageProcessorCBMC

This is a copy from repo: https://github.com/TibiGG/TrueConcurrency Using this code repo to learn how to use CBMC.

Name		Name	Last commit message	Last commit date
Latest commit History 8 Commits
.vs		.vs
ImageProcessorCBMC		ImageProcessorCBMC
images		images
sod_118		sod_118
test_blur_in		test_blur_in
test_blur_out		test_blur_out
test_files		test_files
test_images		test_images
.gitignore		.gitignore
BlurExprmt.c		BlurExprmt.c
ConcMain.c		ConcMain.c
Makefile		Makefile
PicProcess.c		PicProcess.c
PicProcess.h		PicProcess.h
PicStore.c		PicStore.c
PicStore.h		PicStore.h
Picture.c		Picture.c
Picture.h		Picture.h
README.md		README.md
README.txt		README.txt
SeqMain.c		SeqMain.c
ThreadList.c		ThreadList.c
ThreadList.h		ThreadList.h
Utils.c		Utils.c
Utils.h		Utils.h
blur_10_times.txt		blur_10_times.txt
example_input.txt		example_input.txt
issues.txt		issues.txt
out.jpg		out.jpg
pic_proc_tests.rb		pic_proc_tests.rb
picture_compare		picture_compare
simple_sod.c		simple_sod.c
simple_sod.h		simple_sod.h
test_results_info.json		test_results_info.json

Provide feedback