2 #include "avr_ioport.h"
3 #include "sim_vcd_file.h"
7 int main(int argc, char **argv) {
8 tests_init(argc, argv);
11 avr_t *avr = tests_init_avr("atmega88_vcd.axf");
14 avr_vcd_init(avr, "atmega88_vcd.vcd", &vcd_file, 10000);
15 avr_vcd_add_signal(&vcd_file, avr_io_getirq(avr, AVR_IOCTL_IOPORT_GETIRQ('B'), IOPORT_IRQ_PIN0), 1, "PB0" );
16 avr_vcd_start(&vcd_file);
18 tests_run_test(avr, 10000);
20 avr_vcd_stop(&vcd_file);