GitHub repository: seahorn/seamock
Primary language: CMake
Created: 2023-05-19T18:29:47Z
Description: SeaMock is a mocking framework for verification