Skip to content

ASCII-Mentorships/AutoEval

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

5 Commits
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Auto Evaluation of Programs

Project Goal

The final goal is to create an application to automate the process of evaluation of computer programs. We will initially setup This is achieved by leveraging powerful techniques like symbolic execution and bounded model checking. Here we will be using a symbolic execution engine, KLEE, built on top of the LLVM compiler infrastructure, and a bounded model checker, CBMC, for C/C++ programs. These statically analyze code and generate a set of test cases

Installing the project

clone this repo into your system

git clone https://github.com/ASCII-Mentorships/AutoEval.git

virtual environment

Setup virtual environment

cd Grader/
python3 -m venv venv
source venv/bin/activate
pip install -r requirements.txt

Deactivating virtual environment

deactivate

Prerequisites

Some prior experience in programming languages like Python

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages