kmi/tests/Makefile, branch masterACTIVE - Kernel with migrating threads as IPChttps://metanimi.dy.fi/cgit/kmi/atom?h=master2024-11-01T08:27:36Zrpc actually marks and unmarks stack regions2024-11-01T08:27:36ZKimplulkimi.h.kuparinen@gmail.com2024-10-30T11:34:18Zurn:sha1:f139fff6ae7063c1965fa3085bb2585d7d838d72
+ Processes won't be able to read previous stack frames etc
small fixes to issues reported by analyzer2024-08-17T21:17:35ZKimplulkimi.h.kuparinen@gmail.com2024-08-17T21:17:35Zurn:sha1:ab011165cd440b5535d39febd8118e3e26b64b57
+ Currently analyzer has to be run manually with something like
make CFLAGS='-fanalyzer -Wno-analyzer-infinite-loop'
I use an infinite loop as an assert, I know it's not great/technically
UB but it's just a fallback.
+ Analyzer is still somewhat limited, I could add in more
attributes about different functions, such as memory allocation sizes
etc.
+ If I ever set up a CI pipeline, remember to use analyzer?
make tests a bit more sensible2024-07-17T19:02:47ZKimplulkimi.h.kuparinen@gmail.com2024-07-17T19:02:47Zurn:sha1:1a0d61b33c2365cf413bf584289058d0d9097377
+ At least by my standards. Some amount of scripting going on, but
should still be fine.
Effectively, source.mk contains information to build the test,
check.mk checks the generated log from running the test. As a results,
check.mk should output OK into reports/$TEST/OK if everything went
well, and anything else otherwise. The user can then look at
reports/$TEST/log to see what went wrong.
I expect to add some more features, such as starting QEMU with gdb and
running a single test a bit easier than right now (same limitation as
in the top level makefile, i.e. you have to specify
make -f scripts/makefile $TEST
from within `tests` and you must have ran `make check` at that point
so that `tests.mk` is fully generated. Not huge issues, but slightly
annoying, somewhat unsure how to work around them properly but we'll
see.
fix make clean2024-07-09T19:25:07ZKimplulkimi.h.kuparinen@gmail.com2024-07-09T19:25:07Zurn:sha1:0c6ba17b2f08d05195cdbaeba4607fdd8d000775start working on tests2024-07-09T19:12:27ZKimplulkimi.h.kuparinen@gmail.com2024-07-09T19:12:27Zurn:sha1:e8a1df103cc28419dd7d4439c0b1d1739d110f78
+ Current setup will likely not last long, just a stopgap until I figure
out how I want to build each testcase etc.
Probably dir based, but I'll probably add some scripts that generate
the build rules for each test case (or binary?). Also, should probably
put ouput files in a build directory and keep the source clean, but
again, good enough for now.
Will have to start implementing more extensive tests, and probably
come up with some way to compare textual output etc.