An example of S2E user side repository.
This repository provides the following samples.
- A sample code to make S2E user side repository using
git submodule
. - Sample codes for tutorials in s2e-documents.
- This repository includes s2e-core with the
git submodule
. Please use the following commands to construct the directory.Or use the following command to clone the repository.$ git clone [email protected]:ut-issl/s2e-user-example.git $ cd s2e-user-example/ $ git submodule init $ git submodule update
$ git clone --recursive [email protected]:ut-issl/s2e-user-example.git
main
branch- This is the simplest
s2e-user
repository. - This branch is a sample code for How To Make New Simulation Scenario in the
s2e-documents
. - Users can refer this branch to make their
s2e-user
.
- This is the simplest
sample/*
branches- Sample codes for tutorials in s2e-documents.
- The branch name is same with the tutorial titles.
feature/*
# Developing codeshotfix/*
# Bug Fix codes
- This branch is a sample code for How To Make New Simulation Scenario in the
s2e-documents
. - Please follow the tutorial to learn how to use the sample code.