diff --git a/tests/spec/merge_bts938.c b/tests/spec/merge_bts938.c index efd3962eb5d4cdca50a580cb13595983e6d94555..c32ab1c04e7d4db6995e59b915efdd3f0d29e589 100644 --- a/tests/spec/merge_bts938.c +++ b/tests/spec/merge_bts938.c @@ -1,8 +1,8 @@ /* run.config - STDOPT: +"%{deps:merge_bts938_1.c}" + DEPS: @PTEST_NAME@.h + STDOPT: +"%{dep:@PTEST_NAME@_1.c}" */ #include "merge_bts938.h" - //@ ensures test:\true; int main(void) { }