Andrius Štikonas a950c3088b Adapt tests to M2libc changes.		2022-12-31 20:55:50 +00:00
..
do.c	Catch potential segfaulting behavior in generated binaries	2020-11-08 21:13:12 -05:00
hello-knight-native.sh	Adapt tests to M2libc changes.	2022-12-31 20:55:50 +00:00
hello-knight-posix.sh	Adapt tests to M2libc changes.	2022-12-31 20:55:50 +00:00
proof.answer	Major relocation of tests to better structure for future additions	2020-02-28 18:27:12 -05:00
run_test.sh	Adapt tests to M2libc changes.	2022-12-31 20:55:50 +00:00