open Bap.Std

val example_project: Project.t option ref

val tests: unit Alcotest.test_case list