https://github.com/johari/klee-vagrant

Vagrantfile for Klee
https://github.com/johari/klee-vagrant

Last synced: 28 days ago
JSON representation

Vagrantfile for Klee

• Host: GitHub
• URL: https://github.com/johari/klee-vagrant
• Owner: johari
• License: mit
• Created: 2015-01-28T02:21:08.000Z (almost 10 years ago)
• Default Branch: master
• Last Pushed: 2015-01-28T02:37:57.000Z (almost 10 years ago)
• Last Synced: 2023-03-24T06:46:47.992Z (almost 2 years ago)
• Language: Shell
• Homepage:
• Size: 120 KB
• Stars: 0
• Watchers: 2
• Forks: 3
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE-MIT

Awesome Lists containing this project

README

        
# WHAT

This is a Vagrantfile for [klee](https://github.com/klee/klee).

Hopefuly, you'd be able to have everything up and running by entering `vagrant up` in your terminal.

If not, please consider submitting a pull request.

The base machine is `ubuntu/precise64`.

:metal:

# EXAMPLE

    vagrant up

    vagrant ssh

    cd /vagrant/example/get_sign

    make

# LICENSE

MIT