We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Tested on two different machines with Ocaml 5.1.1, gcc 14.1 and gcc 13.1
diff --git a/_build/default/unittest.expected b/_build/default/unittest.output index d7ac84a..8ff5010 100644 --- a/_build/default/unittest.expected +++ b/_build/default/unittest.output @@ -28,11 +28,11 @@ Arm32dba.decode ~thumb:false ~addr:0x4000l 0xe2543210l (0x00004000,2) %%2<1> := (%%0<32> = 0x00000000); goto 3 (0x00004000,3) %%3<1> := (r4<32> >=u 0x00000001); goto 4 (0x00004000,4) %%4<1> := (%%1<1> xor (r4<32> <s 0x00000001)); goto 5 -(0x00004000,5) n<1> := %%1<1>; goto 6 -(0x00004000,6) z<1> := %%2<1>; goto 7 -(0x00004000,7) c<1> := %%3<1>; goto 8 -(0x00004000,8) v<1> := %%4<1>; goto 9 -(0x00004000,9) r3<32> := %%0<32>; goto 10 +(0x00004000,5) r3<32> := %%0<32>; goto 6 +(0x00004000,6) n<1> := %%1<1>; goto 7 +(0x00004000,7) z<1> := %%2<1>; goto 8 +(0x00004000,8) c<1> := %%3<1>; goto 9 +(0x00004000,9) v<1> := %%4<1>; goto 10 (0x00004000,10) goto (0x00004004,0) Arm32dba.decode ~thumb:true ~addr:0x4000l 0x000af04fl
The text was updated successfully, but these errors were encountered:
No branches or pull requests
Tested on two different machines with Ocaml 5.1.1, gcc 14.1 and gcc 13.1
The text was updated successfully, but these errors were encountered: