Frama-c 전처리 오류

Question

나는 C 코드를 잘라야하지만 명령을 쓸 때 오류가 발생합니다.

*******[15:18, 26.10.2017] Recep: [kernel] Parsing .opam/system/share/frama-c/libc/__fc_builtin_for_normalization.i (no preprocessing) 

[kernel] user error: source file "helloworld.c" does not exist 

[kernel] user error: stopping on file "helloworld.c" that has errors. Add 

'-kernel-msg-key pp' 

        for preprocessing command. 

[kernel] Frama-C aborted: invalid user input.******* 

Answer 1

오류 메시지가 "소스 파일"helloworld.c 즉, 이러한 파일이 없음을 나타냅니다 "존재하지 않는"그래서이 있는지 확인하고 FRAMA-C 찾을 수 있습니다, 그것은 현재 (현재) 디렉토리에 있습니다.