+++ /dev/null
-#include "sim_avr.h"
-#include "avr_ioport.h"
-#include "sim_vcd_file.h"
-
-#include "tests.h"
-
-int main(int argc, char **argv) {
- tests_init(argc, argv);
-
-
- avr_t *avr = tests_init_avr("atmega88_vcd.axf");
-
- avr_vcd_t vcd_file;
- avr_vcd_init(avr, "atmega88_vcd.vcd", &vcd_file, 10000);
- avr_vcd_add_signal(&vcd_file, avr_io_getirq(avr, AVR_IOCTL_IOPORT_GETIRQ('B'), IOPORT_IRQ_PIN0), 1, "PB0" );
- avr_vcd_start(&vcd_file);
-
- tests_run_test(avr, 10000);
-
- avr_vcd_stop(&vcd_file);
- tests_success();
- return 0;
-}