open Bap.Std
open Core_kernel


val example_project: Project.t option ref

val tests: unit Alcotest.test_case list