Merge branch 'feature/patrick/server-batch-json-with-final-eol' into 'master'
[Server] adds a final eol to json output See merge request frama-c/frama-c!3096
No related branches found
No related tags found
Showing
- src/plugins/server/server_batch.ml 1 addition, 0 deletionssrc/plugins/server/server_batch.ml
- src/plugins/server/tests/batch/oracle/ast_services.out.json 1 addition, 1 deletionsrc/plugins/server/tests/batch/oracle/ast_services.out.json
- src/plugins/server/tests/batch/oracle/kernel_services.out.json 1 addition, 1 deletion...lugins/server/tests/batch/oracle/kernel_services.out.json
- src/plugins/server/tests/batch/oracle/wrong.out.json 1 addition, 1 deletionsrc/plugins/server/tests/batch/oracle/wrong.out.json
Loading
Please register or sign in to comment