fix CI after it broke due to moving output to directory

rizinorg · Sep 10, 2024 · a42d032 · a42d032
1 parent 5f347f2
commit a42d032
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/end2end-smoke-test.yml b/.github/workflows/end2end-smoke-test.yml
@@ -41,7 +41,7 @@ jobs:
             - name: Running the generator
               run: |
                 cd generator && source ~/.bash_profile                
-                mv riscv_diasm old_output
+                mv riscv_disasm old_output
 
                 dune exec --profile release -- riscv_disasm_from_sail -f sail.filepaths.txt
 

diff --git a/lib/gen_decoder.ml b/lib/gen_decoder.ml
@@ -40,7 +40,7 @@ type decoder_gen_iteration_state = {
   type_ctx : sail_types_context;
   mapping_ctx : sail_mappings_context;
   (* The length of the bitstream input to the decoder
-     option because it initializes to None, then is inferred from the type of the decode mapping *)
+     Of type option because it initializes to None, then is inferred from the type of the decode mapping *)
   mutable instr_length : int option;
   (* The final output of the decoder generation process, gradually built up mutably during iteration of the ast*)
   mutable decode_rules : decoder;