Debugging my_first_fpga on BeMicro FPGA Eval Board

Here is the pinout I found in the bemicro_board_project_setup.tcl inside the BeMicro tutorial lab project:

set_location_assignment PIN_E2 -to clk

set_location_assignment PIN_B4 -to led[0]

set_location_assignment PIN_C2 -to led[1]

set_location_assignment PIN_C3 -to led[2]

set_location_assignment PIN_D6 -to led[3]

set_location_assignment PIN_E6 -to led[4]

set_location_assignment PIN_B3 -to led[5]

set_location_assignment PIN_A7 -to led[6]

set_location_assignment PIN_B1 -to led[7]

I've tried out the clk and led[0], and those seem to work.