#!/usr/bin/expect

set timeout 30

set input_file [lindex $argv 0]
set host [lindex $argv 1]

spawn telnet $host 4444
expect "> " 
send "program $input_file verify\n"
expect "** Programming Finished **"

send "reset halt\n"
expect "> "

send "rp2040.core1 arp_reset assert 0\n"
expect "> "
send "rp2040.core0 arp_reset assert 0\n"
expect "> "
exit