(tests
 (names Tests)
 (modes byte exe)
 (modules Tests Test_Deserialize Test_NameMatcher)
 (deps
  (glob_files ./serialized/*.llbc))
 (libraries core charon))
