GitHub - VerifierIntegerAssignment/TestingBench: Contain testing source code and testing benchmark

Testing Bench of Verifier for Integer Assignment Programs (VIAP)

To get started, see the Quick Guide

Name		Name	Last commit message	Last commit date
Latest commit History 569 Commits
ArrayTest		ArrayTest
Experimental_Data		Experimental_Data
Function_Test		Function_Test
Integration_Test		Integration_Test
Latest_Version		Latest_Version
Result		Result
benchmark-c		benchmark-c
benchmark		benchmark
break_continue_testcases		break_continue_testcases
goto_test_cases		goto_test_cases
sourceCode		sourceCode
sv-benchmarks/loop-lit		sv-benchmarks/loop-lit
updated_version		updated_version
.gitattributes		.gitattributes
.gitignore		.gitignore
Coursera_Certificate_v1-266109533.pdf		Coursera_Certificate_v1-266109533.pdf
README.md		README.md
quick_guide.pdf		quick_guide.pdf
viap.py		viap.py