Commit graph

14 commits

Author SHA1 Message Date
Toby Jaffey
585a945b18 Report "true" code coverage by including mini-rv32ima.h 2025-12-14 18:46:34 +00:00
Toby Jaffey
a693fed59c Show coverage report for all uvm32 2025-12-14 11:15:59 +00:00
Toby Jaffey
5dc9acdf3d When a trap occurs in mini-rv32ima, always pass to the host rather than allowing running code to handle it. This would be important for a real OS, but the aim of uvm32 is embeddable logic - not full emulation.
As all traps are caught by host, begin testing mini-rv32ima internals by checking PC oob and PC alignment.
2025-12-14 11:00:45 +00:00
Toby Jaffey
079cf2c9bd Add CI workflow to create a coverage badge via github pages 2025-12-14 03:08:59 +00:00
Toby Jaffey
a5305d64dc Test that invalid lX opcodes trigger mini-rv32 internal core error 2025-12-14 01:21:42 +00:00
Toby Jaffey
d1eace7b93 Improved warning message 2025-12-13 22:58:42 +00:00
Toby Jaffey
92913ab478 Add test for reading code which is too large 2025-12-13 18:02:43 +00:00
Toby Jaffey
2e1f4d3f93 Generate coverage report 2025-12-13 17:53:55 +00:00
Toby Jaffey
b55c2bc88a Add system for memory mapping a block of memory from the host. 2025-12-11 02:36:46 +00:00
Toby Jaffey
ac1975a820 Test metering, prove that system can resume after a hang error with a range of meter sizes 2025-12-10 22:30:19 +00:00
Toby Jaffey
46b6d1efba Ensure make errors when a test fails 2025-12-10 19:27:39 +00:00
Toby Jaffey
30b7ff4791 custom syscall example 2025-12-10 18:52:01 +00:00
Toby Jaffey
508d41c8c5 Remove stackoverflow error, have one CORE_INTERNAL error for catastrophic crash 2025-12-10 18:42:34 +00:00
Toby Jaffey
da7f70c456 Initial test framework
Clean up makefiles
Everything buildable under docker (or natively)
2025-12-10 16:36:33 +00:00