]> andersk Git - splint.git/blame - test/tests2.5/testalt.c
Fixed manual csvoverwrite.
[splint.git] / test / tests2.5 / testalt.c
CommitLineData
cc78dedd 1int /*@alt void@*/ test1 (...);
2int /*@alt void@*/ test2 (...);
This page took 0.068098 seconds and 5 git commands to generate.