search

eurecom-s3 / symcc

SymCC: efficient compiler-based symbolic execution
http://www.s3.eurecom.fr/tools/symbolic_execution/symcc.html
GNU General Public License v3.0
771 stars 137 forks source link

Failed to build the Vagrantfile #126

Open kandersonko opened 1 year ago

kandersonko commented 1 year ago

The Vagrantfile uses the box ubuntu/groovy64, but it is current not available on Vagrant Cloud. When running vagrant up, the build fails with the following error:

Bringing machine 'default' up with 'virtualbox' provider...
==> default: Box 'ubuntu/groovy64' could not be found. Attempting to find and install...
    default: Box Provider: virtualbox
    default: Box Version: >= 0
The box 'ubuntu/groovy64' could not be found or
could not be accessed in the remote catalog. If this is a private
box on HashiCorp's Vagrant Cloud, please verify you're logged in via
`vagrant login`. Also, please double-check the name. The expanded
URL and error message are shown below:

URL: ["https://vagrantcloud.com/ubuntu/groovy64"]
Error: The requested URL returned error: 404