| 717 | bool bisect = false; |
| 718 | verify_options vo; |
| 719 | void parse(argument_parser& ap) |
| 720 | { |
| 721 | c.parse(ap); |
| 722 | ap(rms_tol, {"--rms-tol"}, ap.help("Tolerance for the RMS error")); |
| 723 | ap(atol, {"--atol"}, ap.help("Tolerance for the elementwise absolute difference")); |
| 724 | ap(rtol, {"--rtol"}, ap.help("Tolerance for the elementwise relative difference")); |
| 725 | ap(per_instruction, |
| 726 | {"-i", "--per-instruction"}, |
| 727 | ap.help("Verify each instruction"), |
| 728 | ap.set_value(true)); |
| 729 | ap(reduce, {"-r", "--reduce"}, ap.help("Reduce program and verify"), ap.set_value(true)); |
| 730 | ap(bisect, {"-b", "--bisect"}, ap.help("Bisect program and verify"), ap.set_value(true)); |
| 731 | ap(vo.ref_use_double, |
| 732 | {"--ref-use-double"}, |
| 733 | ap.help( |
| 734 | "Convert floating point values to double on ref. Also removes Q/DQ pairs on ref."), |
| 735 | ap.set_value(true)); |
| 736 | ap(vo.compiled_model, {"--compiled-model", "-c"}, ap.help("Compiled model to use")); |
| 737 | } |
| 738 | |
| 739 | void run() |
| 740 | { |