elprop/code/
output.rs

1use super::data::ArbitraryType;
2use serde::{Deserialize, Serialize};
3
4#[derive(Debug, Serialize, Deserialize)]
5pub(crate) enum Status {
6    Fail(String, Vec<Option<ArbitraryType>>),
7    Abort(String),
8    Pass,
9}
10
11#[derive(Debug, Serialize, Deserialize)]
12pub(crate) struct Output {
13    pub(crate) function: String,
14    pub(crate) count: usize,
15    pub(crate) status: Status,
16}