diff options
Diffstat (limited to 'examples/tester')
| -rw-r--r-- | examples/tester/main.c | 9 | ||||
| -rw-r--r-- | examples/tester/main.rs | 2 |
2 files changed, 11 insertions, 0 deletions
diff --git a/examples/tester/main.c b/examples/tester/main.c new file mode 100644 index 0000000..9a9428f --- /dev/null +++ b/examples/tester/main.c @@ -0,0 +1,9 @@ +#include <stdio.h> + +#include "psi.h" + +int main(void) +{ + printf("psi %s\n", psi_version()); + return 0; +} diff --git a/examples/tester/main.rs b/examples/tester/main.rs index 8a9a41c..ecebd34 100644 --- a/examples/tester/main.rs +++ b/examples/tester/main.rs @@ -67,6 +67,7 @@ fn main() { if run_clifford { clifford::run_all(&mut results); } + if run_non_clifford { non_clifford::run_all(&mut results); @@ -91,6 +92,7 @@ fn main() { if run_bench { benchmarks::run_all(&mut results); } + if !results.is_empty() { print_benchmark_table(&results); |
