goto-harness command not found

Introduction

When you run more command in linux terminal / console, you get the following error message

goto-harness: command not found

or when using sudo you get the following error message

sudo: goto-harness: command not found

Solutions to goto-harness: command not found

How To Fix goto-harness: command not found in Ubuntu / Debian / Kali Linux / Raspbian

In Ubuntu goto-harness is provided by cbmc package.

cbmc is:

CBMC generates traces that demonstrate how an assertion can be violated, or proves that the assertion cannot be violated within a given number of loop iterations.

To fix this problem, we can install more using the command below.

sudo apt-get -y install cbmc

This command might take some time to finish depending on your machine internet connection.

You can also use apt command to install cbmc.

sudo apt -y install cbmc

Or if you have aptitude installed you can use the following command.

sudo aptitude install cbmc

Summary

In this tutorial we learn how to fix goto-harness command not found error in Ubuntu / Debian / Kali Linux or Raspbian distribution.