search

gaperez64 / acacia-bonsai

A minimal implementation of reactive synthesis via universal co-Buchi automata using antichains
GNU General Public License v3.0
4 stars 3 forks source link

Compilation failure: missing 01-08 file #2

Closed gaperez64 closed 3 years ago

gaperez64 commented 3 years ago

meson compile fails with

../src/acacia-bonsai.cc:18:10: fatal error: k-bounded_safety_aut_work_only_inputs_01-08.hh: No such file or directory
   18 | #include "k-bounded_safety_aut_work_only_inputs_01-08.hh"