cproof

Author	SHA1	Message	Date
Jabber Developer	4780fdd4a1	tests: update cmocka include in forced encryption tests All checks were successful CI / Check spelling (pull_request) Successful in 21s Details CI / Check coding style (pull_request) Successful in 36s Details CI / Linux (debian) (pull_request) Successful in 15m53s Details CI / Linux (ubuntu) (pull_request) Successful in 15m58s Details CI / Linux (arch) (pull_request) Successful in 16m35s Details CI / Check spelling (push) Successful in 19s Details CI / Check coding style (push) Successful in 34s Details CI / Linux (ubuntu) (push) Successful in 14m46s Details CI / Linux (debian) (push) Successful in 15m26s Details CI / Linux (arch) (push) Successful in 17m52s Details Includes were updated in `988d366`, but the change did not propagate to forced_encryption.c due to the gap between the upstream Profanity and the CProof.	2025-09-10 15:50:26 +02:00
Jabber Developer	f4405d114a	Add unit tests for forced encryption check function All checks were successful CI / Check coding style (pull_request) Successful in 35s Details CI / Check spelling (pull_request) Successful in 18s Details CI / Linux (debian) (pull_request) Successful in 10m28s Details CI / Linux (ubuntu) (pull_request) Successful in 10m51s Details CI / Linux (arch) (pull_request) Successful in 13m17s Details CI / Check spelling (push) Successful in 17s Details CI / Check coding style (push) Successful in 33s Details CI / Linux (arch) (push) Successful in 12m53s Details CI / Linux (ubuntu) (push) Successful in 12m56s Details CI / Linux (debian) (push) Successful in 13m4s Details	2025-08-27 16:48:27 +02:00

2 Commits