Compare commits

..

No commits in common. "95089875bfea0fab6a2ff5640dfdfdb72311d93d" and "e8e6f0e371669e800f379a3f3e9aa194f301dbbb" have entirely different histories.

2 changed files with 4 additions and 4 deletions

View File

@ -1,8 +1,8 @@
RELOAD reset_allow_update RELOAD reset_incorrect
MOUT back 0 MOUT back 0
HALT HALT
INCMP _ 0 INCMP _ 0
RELOAD authorize_account RELOAD authorize_account
CATCH incorrect_pin flag_incorrect_pin 1 CATCH incorrect_pin flag_incorrect_pin 1
CATCH _ flag_allow_update 0 CATCH _ flag_account_authorized 0
INCMP new_pin * INCMP new_pin *

View File

@ -3,12 +3,12 @@ LOAD authorize_account 5
LOAD reset_allow_update 4 LOAD reset_allow_update 4
LOAD verify_new_pin 2 LOAD verify_new_pin 2
LOAD save_temporary_pin 1 LOAD save_temporary_pin 1
LOAD reset_incorrect 0 LOAD reset_incorrect 0
MOUT change_pin 1 MOUT change_pin 1
MOUT reset_pin 2 MOUT reset_pin 2
MOUT back 0 MOUT back 0
HALT HALT
INCMP _ 0 INCMP _ 0
INCMP old_pin 1 INCMP old_pin 1
INCMP enter_other_number 2 INCMP enter_other_number 2
INCMP . * INCMP . *