Function tendermint_testgen::apalache::run_apalache_test [−][src]
pub fn run_apalache_test(
dir: &str,
test: ApalacheTestCase
) -> Result<ApalacheRun>
pub fn run_apalache_test(
dir: &str,
test: ApalacheTestCase
) -> Result<ApalacheRun>