Skip to content

S2E user side repository for Formation Flying study

License

Notifications You must be signed in to change notification settings

ut-issl/s2e-ff

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

S2E-FF

An example of S2E user side repository for Formation Flying study.

check format Build GoogleTest

Structure

  • The structure of this repository is shown as follows.
  • The s2e-ff/s2e-core codes are managed by using git submodule
  • The s2e-ff/ExtLibraries is automatically generated by using the cmake files in the s2e-ff/s2e-core/ExtLibraries directory.
  • The main directory s2e-ff/s2e-ff is handled as the normal user side directory.
    s2e-ff (repository origin)
    ├─ExtLibraries
    ├─s2e-core (submodule)
    └─s2e-ff
    

How to start

  • Clone
  • Initialize and update submodule
  • Generate ExtLibraries directory
  • Open s2e-ff/s2e-ff
  • Build and execute

Support Environment

  • GCC 9.4.0
  • Visual Studio 2022

GoogleTest

  • We use GoogleTest to test the codes.
  • How to install the GoogleTest
    • GoogleTest is automatically set up with CMakefile
  • How to execute the test
    • Test codes are stored in the s2e-ff/s2e-ff/test directory.
    • Users need to add the test codes and test target codes in the build target list TEST_FILES in the CMakeList.txt.
    • Turn on the BUILD_64BIT and GOOGLE_TEST option in the CMakeList.txt
      • GoogleTest supports only 64bit build
    • Build the S2E_FF with test
    • Execute S2E_FF_TEST
    • Check the results of the test