ZoKrates/zokrates_core_test/tests/integration.rs

include!(concat!(env!("OUT_DIR"), "/tests.rs"));