This repository contains a fork of the llvm-pass-controllerProgram.
The initial program was built by:
Indian Institute of Technology Kharagpur, India,
Formal Methods Lab,
Project Title: "FMSAFE: A Networked Centre for Formal Methods in Validation and Certification Procedures for Safety Critical ICT Systems"
Funded by IMPRINT, a MHRD supported Pan-IIT + IISc joint initiative for addressing major science and engineering challenges that are relevant in the national context.
Copyright (c) 2018 Formal Methods Lab, Indian Institute of Technology Kharagpur, India.
Developer: Amit Gurung
This branch is an effort by myself (Max von Hippel) to update the code base for portability on modern systems.
The purpose of this project is to build the libTestPass.so library.