Skip to content

Commit d16dd57

Browse files
committed
Add TC unit tests.
Signed-off-by: Cong Wang <cwang@multikernel.io>
1 parent cd32346 commit d16dd57

File tree

2 files changed

+706
-1
lines changed

2 files changed

+706
-1
lines changed

tests/dune

Lines changed: 14 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -399,6 +399,11 @@
399399
(modules test_detach_api)
400400
(libraries kernelscript alcotest test_utils str))
401401

402+
(executable
403+
(name test_tc)
404+
(modules test_tc)
405+
(libraries kernelscript alcotest unix str))
406+
402407
; Test rules for individual execution
403408
(rule
404409
(alias runtest_lexer)
@@ -636,6 +641,10 @@
636641
(alias runtest_detach_api)
637642
(action (run ./test_detach_api.exe)))
638643

644+
(rule
645+
(alias runtest_tc)
646+
(action (run ./test_tc.exe)))
647+
639648
; Test aliases for organized execution
640649
(rule
641650
(alias map-tests)
@@ -704,6 +713,7 @@
704713
test_config_validation.exe
705714
test_tracepoint.exe
706715
test_probe.exe
716+
test_tc.exe
707717
test_stdlib.exe
708718
test_detach_api.exe
709719
test_struct_field_access.exe
@@ -751,6 +761,7 @@
751761
(run ./test_config_validation.exe)
752762
(run ./test_tracepoint.exe)
753763
(run ./test_probe.exe)
764+
(run ./test_tc.exe)
754765
(run ./test_stdlib.exe)
755766
(run ./test_detach_api.exe)
756767
(run ./test_struct_field_access.exe)
@@ -834,7 +845,8 @@
834845
./test_error_handling.exe
835846
./test_integer_literal_codegen.exe
836847
./test_tracepoint.exe
837-
./test_probe.exe)
848+
./test_probe.exe
849+
./test_tc.exe)
838850
(action
839851
(progn
840852
(run ./test_ast.exe)
@@ -853,4 +865,5 @@
853865
(run ./test_integer_literal_codegen.exe)
854866
(run ./test_tracepoint.exe)
855867
(run ./test_probe.exe)
868+
(run ./test_tc.exe)
856869
(run ./test_detach_api.exe))))

0 commit comments

Comments
 (0)