Chris Timperley ChrisTimperley

Workflow

Copy original version of the program from versions.alt/versions.orig/vK to source.
Compile original code by executing make build in the source directory.
Execute test suite against original version of the object, saving the results to outputs for future reference.
Clear the contents of the source directory.
Copy the appropriate seeded version of the program from versions.alt/versions.seeded/vK to source.
Inject the desired fault(s) in the program by removing the appropriate comment markers in source/FaultSeeds.h.
Compile the program by calling make build in the source directory.
Execute the test suite against the faulty program and compare the outputs against the oracle outputs saved in outputs.alt.

Be sure to replace /dev/sda with the name of the drive (n.b. not the partition) containing Arch.

# pacman -S grub-bios intel-ucode
# grub-install /dev/sda
# mkinitcpio -p linux

	#!/bin/bash
	sudo apt-get install apt-transport-https ca-certificates -y
	sudo apt-key adv --keyserver hkp://p80.pool.sks-keyservers.net:80 --recv-keys 58118E89F3A912897C070ADBF76221572C52609D
	sudo rm -f /etc/apt/sources.list.d/docker.list
	sudo add-apt-repository \
	"deb [arch=amd64] https://download.docker.com/linux/ubuntu \
	$(lsb_release -u -cs) \
	stable"
	sudo apt-get update
	sudo apt-get purge lxc-docker

	# Assumes Java 8 JDK is already installed

	# cgum
	mkdir ~/bin
	cd ~/bin
	git clone https://github.com/GumTreeDiff/cgum
	cd cgum
	make
	echo "export PATH=\"\$PATH:$PWD\"" >> ~/.profile
	cd ..