|
| 1 | +[[tests]] |
| 2 | +test_name = "racfed_ml_add_eddi" |
| 3 | +source_file = "c/multi_instruction/add.c" |
| 4 | +expected_output = "30" |
| 5 | +aspis_options = "--eddi --racfed" |
| 6 | + |
| 7 | +[[tests]] |
| 8 | +test_name = "racfed_ml_function_call_eddi" |
| 9 | +source_file = "c/multi_instruction/function.c" |
| 10 | +expected_output = "foo() 25" |
| 11 | +aspis_options = "--eddi --racfed" |
| 12 | + |
| 13 | +[[tests]] |
| 14 | +test_name = "racfed_preserve_runtime_sig_eddi" |
| 15 | +source_file = "c/multi_instruction/call_less_two.c" |
| 16 | +expected_output = "0" |
| 17 | +aspis_options = "--eddi --racfed" |
| 18 | + |
| 19 | +[[tests]] |
| 20 | +test_name = "racfed_ml_if_then_else_eddi" |
| 21 | +source_file = "c/multi_instruction/if_then_else.c" |
| 22 | +expected_output = "1001" |
| 23 | +aspis_options = "--eddi --racfed" |
| 24 | + |
| 25 | +[[tests]] |
| 26 | +test_name = "racfed_ml_phi_instruction_eddi" |
| 27 | +source_file = "c/multi_instruction/phi.c" |
| 28 | +expected_output = "1" |
| 29 | +aspis_options = "--eddi --racfed" |
| 30 | + |
| 31 | +[[tests]] |
| 32 | +test_name = "racfed_function_pointer_eddi" |
| 33 | +source_file = "c/control_flow/function_pointer.c" |
| 34 | +expected_output = "42" |
| 35 | +aspis_options = "--eddi --racfed" |
| 36 | + |
| 37 | +[[tests]] |
| 38 | +test_name = "racfed_loop_exit_eddi" |
| 39 | +source_file = "c/control_flow/loop_exit.c" |
| 40 | +expected_output = "2" |
| 41 | +aspis_options = "--eddi --racfed" |
| 42 | + |
| 43 | +[[tests]] |
| 44 | +test_name = "racfed_nested-branch_eddi" |
| 45 | +source_file = "c/control_flow/nested-branch.c" |
| 46 | +expected_output = "6" |
| 47 | +aspis_options = "--eddi --racfed" |
| 48 | + |
| 49 | +[[tests]] |
| 50 | +test_name = "racfed_simple-branch_eddi" |
| 51 | +source_file = "c/control_flow/simple-branch.c" |
| 52 | +expected_output = "OK" |
| 53 | +aspis_options = "--eddi --racfed" |
| 54 | + |
| 55 | +[[tests]] |
| 56 | +test_name = "racfed_switch-case_eddi" |
| 57 | +source_file = "c/control_flow/switch-case.c" |
| 58 | +expected_output = "300" |
| 59 | +aspis_options = "--eddi --racfed" |
| 60 | + |
| 61 | +[[tests]] |
| 62 | +test_name = "racfed_data_dep_branches_eddi" |
| 63 | +source_file = "c/data_duplication_integrity/data_dep_branches.c" |
| 64 | +expected_output = "7" |
| 65 | +aspis_options = "--eddi --racfed" |
| 66 | + |
| 67 | +[[tests]] |
| 68 | +test_name = "racfed_global_var_across_functions_eddi" |
| 69 | +source_file = "c/data_duplication_integrity/global_var_across_functions.c" |
| 70 | +expected_output = "2" |
| 71 | +aspis_options = "--eddi --racfed" |
| 72 | + |
| 73 | +[[tests]] |
| 74 | +test_name = "racfed_misc_data_dup_eddi" |
| 75 | +source_file = "c/data_duplication_integrity/misc_data_dup.c" |
| 76 | +expected_output = "OK" |
| 77 | +aspis_options = "--eddi --racfed" |
| 78 | + |
| 79 | +[[tests]] |
| 80 | +test_name = "racfed_volatile_io_eddi" |
| 81 | +source_file = "c/data_duplication_integrity/volatile_io.c" |
| 82 | +expected_output = "42" |
| 83 | +aspis_options = "--eddi --racfed" |
| 84 | + |
| 85 | +[[tests]] |
| 86 | +test_name = "racfed_arit_pipeline_eddi" |
| 87 | +source_file = "c/misc_math/arit_pipeline.c" |
| 88 | +expected_output = "3" |
| 89 | +aspis_options = "--eddi --racfed" |
| 90 | + |
| 91 | +[[tests]] |
| 92 | +test_name = "racfed_mixed_ops_eddi" |
| 93 | +source_file = "c/misc_math/mixed_ops.c" |
| 94 | +expected_output = "14.5" |
| 95 | +aspis_options = "--eddi --racfed" |
| 96 | + |
| 97 | +[[tests]] |
| 98 | +test_name = "racfed_xor_cypher_eddi" |
| 99 | +source_file = "c/misc_math/xor_cypher.c" |
| 100 | +expected_output = "SUCCESS" |
| 101 | +aspis_options = "--eddi --racfed" |
| 102 | + |
0 commit comments