Andrius Štikonas 3d1fd538a6 Add a test for macro functions.		2021-11-27 22:14:11 +00:00
..
macro_functions.c	Add a test for macro functions.	2021-11-27 22:14:11 +00:00
proof.answer	Add a test for macro functions.	2021-11-27 22:14:11 +00:00
run_test.sh	Add a test for macro functions.	2021-11-27 22:14:11 +00:00